Логика

Теория - это система связанных между собой понятий и... Задачи: установление закономерностей функционирования в рнекоторой предметной области. Внимание: первое определение и последнее отличаются. Из последнего определения теории: это - система. Есть ли у этой системы особенности? Приёмы? Методы? Ест.ь. Особенно были разработаны в последнее время. Возникновением научных проблем и дискуссий мы обязаны игнорированию достижений логики. Пример: проблема несоизмеримости теорий. Своим возникновением проблема обязана тому, что... Современная биология и физика отличаются от античных. Поэтому теории, которые их образуют тоже отличаются от теорий, которые были приняты в прошлом. Это означает, что в ходе развития науки происходила смена теорий. Какие закономерности этой смены? Первая проблема: как сравнить античную физику и ОТО? Как зафиксировать процесс смены этих теорий. Зачем? Чтобы предсказать смены в будущем, ибо одна из задач теории - прогностическая. Проблема обсуждалась в 70-х гг. Сегодня понятие несоизмеримости теорий является для вас (аудитории) не является более понятным, чем для философов науки 60-70-х гг. прошлого века. Из истории науки известно об устойчивом сопротивлении... отдельным исследователям и целым теориям. Считая сопротивление следствием несоизмеримости теорий, Феррари пише: посколько несоизмеримость внутренняя... вряд ли можно дать определение. На феномен несоизмеримости следует указать, а затем с помощью многочисленных примеров... Аддитивность... архаического универсума означает возможность постоянного пополнения списка объектов познания. Помнению фейерабенда в античное время не существовало сколько-нибудь единой концепции познания. Поэтому... Например... Слово София (теперь переводим, как мудрость) в пантичности оозначало лишь знание (навык) в конкретной области ремесла (искусства). ...при достаточной проницательности можно вывести существование субстванции. ...будем называть космологией А (архаическая): содержит вещи, события и их части... в ней нет никаких явлений. Слово Универсум понятно? Это то же, что дискурс. [?] Маленький универсум можно назвать дискурсом. Универсум можно назвать предметной составляющей...

Космология А, о которой говорит фейерабенд.

При таком универсуме полное познание объекта сводится к полному перечислению его частей. Между 7 и 5 вв до нашей эры. Эта космология проводит различие между многознанием и мудростью. Многознзание мудрости не получает. Зная многое обо всём, мудрости вы не получите.

Как перейти? От А к Б? По идее, просто добавить то, что не хватает. Теории языка... Невозможно заполнить пробелы в языке (мировосприятии), не затронив оснований. Проблемы: Космоздание не содержит ни одного элемента из космоса А. Пример: Ахиллес говорит, что честь может отсутствовать даже при условии наличия всех её проявлений. Ахиллесу не хватает языка. Чтобы поставить проблему, он задаёт вопросы, на которые невозможно ответить. Он специально иррационально искажает слова и понятия.

Если же поступать рационально... Фейерабенд говорит, что "произведённый материал не станет достаточно богат, чтобы... раскрыть и сделать ясными новые принципы. Безумие превращается в норму, если..." Можно ли содержание безумия А соравнить с безумием Б. Новый космос становится несоизмерим со старым. Симонид: Почему ему не удалось обнаружить фисалийцев? Потому что они были слишком глупы. Три тезиса? 1) Существуют несоизмеримые структуры мышления... 2) Индивидуальное развитие... 3) Концепции учёных (в частности их воззрения пофундамендатльным проблема) часто расходятся настолько же сильно, как ... разных культур. Существууют научные теории, которые взаимно несоизмеримы, хотя внешне они имеют дело с одним предметом. Несоизмеримость - часто следствие иллюзии о тождественности предметов.

Сколько дьяволов может уместиться на острие иглы? Какова природа флогистона?.. По определению Поппера: несоизмеримость исчезает вместе с решением проблем. Возражения: 1) Подгонка наблюдений к теории. 2) Новые абстрактные языки не могут быть введены прямым путём. 3) Должны существовать решающие эксперименты, опровергающие одну из несоизмеримых теорий...

Возражения на возражения: 1) Противоречия между теориями и наблюдениями часто свидетльствуют об ошибочном манипулировании терминами теории, не вникая в... Проблема несоизмеримости является следствием невникания. СЕлодвательно надо приспособить терминологию. 2) Опровергается указанием на способ, которым учатся говорить дети. И антропологи - при изучении языка неизвестного племени. Термины теория получает не обязательно косвенным путём. 3) Возражение правомерно. Оно требует существования терминологии, которая позволяет говорить о подтверждении или опровержении одним экспериментом для обеих теорий одновременно.

Логические аспекты несоизмеримости. В конкретных науках несоизмеримость связана со значением. Термин - знак с чётко фиксированным понятием. Высказывать такие утверждения (в том числе о несоизмеримости) можно только после создания новой теории несоизмеримости. (Это уже к логикам вопрос.) Что таколе логика? 1) Изучение (или его результат) структур, свойственных определённому типу рассуждений. 2) Отдельную логическую систему или множество систем. Изучение первого вида - это не задача логики. По мнению Ф. Это задача антропологии. Любая теория - со0здание людей. Поэтмоу надо читать документы... продукты человеческой деятельности. Логика - отождествляется с одной из логических систем и... Часто прояснение смыслов сводится к замене имеющихся понятий понятиями той или иной системы. Основное требование: чтобы процесс замены удовлетворял признанным законам. Логика порой носит чисто эмоциональный характер. Послучает ли учёный логика, проповедующего... Негативное отношение к логике как к науке. Ещё одна догма: утверждение о том, что все люди и объекты автоматически подчиняются логическим законам (и должжны им подчиняться). Смирнов: "познающий субхект соотносится с объектами, обязатльено соотносяс с другими субъектами. Видимт мир сквоьз призму, выработанную в системе мышления. Обсуждение проблемы... их отношения друг к другу... несоизмеримости теорий... Постановка этой проблемы базируется на неверной посылке, объединяющей гноссеологическую с социологической. Второе значение термина логика (у Ф) принимает ещё олее унылый характер. Немногие философы готовы допустить, что базисные структуры могут радикалльно отличаться от базисных структур самых известных систем формальной логики. Примеры: классическая логика, логика Гегеля... представителей формализма. Феномен пролиферации. Достижения нелассической логики. модальное, временное, динамическое, релевантное, квантовая, вероятностная... Почему большинству филосфов-логиков должны притись не по вкусу? Смирнов пишет, что анализ теорий приводит к необходимости разработки... Феномен размножения истем неклассической логики... Так что логики только приветствуют. Беспомощность логики в случае противоречивых утверждений. В каждой теории есть факты, несовместимые друг с другом и с практикой. Только догматическая вера не позволяет нам этого заметить. Из противоречивых утверждений выводится всё, что угодно. Таковы последствия получения противоречий в теории. Противоречивые утвреждения, влекущие за собой абсурд - для неклассической логики нефатальны. В некоторых логиках... Из абсурда следует не всё, что угодно. Это обосновывается. Опасность заключается в том, что из противоречия можно вывести любую глупость. Если Правда, что я глуп, и истинно, что я умён, то в классической логике из этого можно вывести, что луна сделана из зелёного сыра. Дискурсивная (дискуссивная) логика. Построена в 48 г. Система не взрывается (противоречиями). В них допускается противоречия, но запрещено выводить из них истину. Эта ситуация (противоречие) часто возникает в дискуссиях. Из противоречий не всегда возникает ерунда. Иногда возникают ценные вещи. Наличие огромного количества систем неклассической логики позволяет... Догма... Имеется ещё одна догма: все люди/объекты подчиняются и должны подчиняться всем логикам. Подчинение... какой-то логике позволяет говорить о контекстно логических системах. Выяснить соотношение различных логических систем и построенных на их основании теорий. Неучёт логических результатов... Я зачитл, что такое теория... Что представляет собой научная теория с точки зрения логики. Первое: понятие теории трактуется философами чересчур широко. Некоторые используют в метафорическом смысле... Ттеория отождествляется понятием языка и формальных схем. Метафорическое хорошо, когда вы хорошо знаете о предмет, о котором идёт речь. Пример: термины теории получают интерпретацию косвенным путём благодаря свуязи с другой концептуальной системы. Нужно учиться рассуждать с использованием необъяснимх терминов... Без фиксированного значения. Создательно ового мировоззрения должен обладать способностью высказывать бессмыслицу. Пока количество бессмысли не станет достаточно большим... С точки зрени ялогики... научная логика - достаточно сложное образование... Теория является всегда теорией чего-то. В отдельном случае в роли этого чего-то выступает вся действительность. С помощью теории делается предсказание. Какова особенность теории, которая позвоялет все эти функции выполнять? Из одних принятх утвреждений получать другие. Система утвреждений, свуязанных отношением выводимости. (логического следования) То есть множество предложений, замкнутых относительно выводимости - это ключевой момент. Всякое утвреждение всегда делается на каком-то конкретном языке. На естветственном? Целесообразно ли? 1 Естественный язык. Отсутствуют чёткие синтаксические критерии правильного построения предложений. 2 Грамматическая структура высказываний не всегда соответствует логической форме этих высказываний. Как быть с терминами (многозначностью). Дя успешного решения... Надо переформулировать все эти утвреждения в точных прикладных языках, чтобы точно знать смысл и записывать без двусмысленностей. Такое определение подходит для изучения математических теорий. Но для естественнонаучных... Тем более - для гуманитарных... Общие эмпирические проблемы ещё не разработаны. Методологии эмпирических наук, которые были бы подобны метлодологиям дедуктивных наук. Поэтому использование предлагаемого в логике абстрактного понятия должно быть проверено... Будет развивать то, что возможно. Вернёмся к замкнутости множества предложений относительно выводимости. 1 Уверенность, что всё, что я утверждаю, не выводит меня за её рамки. 2 Позволяет отбрасывать нерелевантные (неуместные) в рамках данной теории утвреждения. Квант свет определённой частоты упал на сетчатку моего глаза - и у меня появилось чувство голода. Это высказывание в рамках физики не рассматривается. Любые утвреждения теории дожны быть детерминированы её структурой. Должны быть получены с помощью рассуждений строго определённого вида. За счёт различия механизма вывода можно из одних утверждений получать различные теории. Свойства этого процесса очевидны. Исходные утвреждения всегда принимаются в ссостав теории. Процесс должен быть завершён. Если можно получать новые резулььтаты, то это не ттеория, а полуфабрикат. Люди конечны по своей природе... Каждое утвреждение теории должно быть получаемо из конечного числа утвреждений. Теори я- такая совокупность утвреждений, из которого ничего нового получить уже не удаётся. Настолько полна и самодостаточна, что... Надо отметить, что такое понятие теории сильно идеализировано. Утверждения при таком понимании - не что иное, как теоремы. Поэтому теория может отождествлена с множеством теорем. Но теория - большеее.. Это множестве "теорем в себе". Основанность на математике - это достоинство... И недостаток. проявляется слабость - на гумантиарных науках. На таком обстарктном подходе лучше говорить об абстрактных системах, а не ... Можно избежать недоразумений. И понимания степени абстрактнсти этих рассуждений. Это понятие теории было ведено Альфредом Тарским в 30-х гг. 20-го века. Дедуктивные науки при построении своих теорий использовали дедуктивный метод. Серди ряда технических преимуществ... Чисто синтаксических характер поредления выводимости отнюдь не является... Синтаксическую выводимость можно заменить логическим следованием. Можно заменить всеми содержательными понятиями. Утверждения не выодились бы, а проверялись бы на практике. Система была бы замкнута. Но это совсем другая замкнутость. Существуют логические теории первого порядка - в них эти понятия совпадают.. Как они, вообще, соотносятся? Если из синтаксической выводимости следует семантическая выводимость. то теория в семантическом смысле будет теорией в синтаксическом смысле. Из содержательной проверки вытекают синтаксические... Но наоборот - нет. Семантическое понятие теории (сножество утверждений, замкнутое относительно семантической выводимости). Замкнутость теории берётся из действительности. Семантическое определение теории достаточно информативно и широкого, чтобы учесть специфику предметной области... Модельная структура всегда включает в себя модель предметной обалсти. Всегда можно проиграть на какой-то модели... Истинными будет такие утверждения, которые можно смоделировать на любой структуре некоторого опредлённого класса. Понятие теории шире понятия аксиоматической теории. Строгая аксиоматическая теория необходима для разработки методологий эмпирических наук. Создатели теорий не всегда задумываются, но они это делают. Аксиоматизация считается законченной, если сформулирована система аксиом. Несовпадение идеалов аксиоматизации. 1) Первая аксиома: существует предельная скорость (скорость света). 2) Система пространство-время - четырёхмерное многообразие Миньковского. Возражение: вы недостаточно определили (что такое скорость света, многоообразие Минковского). Это не абстрактная теория. Идеалу аксиоматизации не удовлетворяет.э Формы аксиоматизации. Строгая: если существует рекурсивное множество аксиом, такое что всякое утверждение из него выводится. Каково должно быть количество аксиом? Чем меньше, тем проще работать. По теориями, как правило понимают конечно аксиоматизированные теории. Но существуют теории, которые не аксиоматизированы. Так что понятие теории шире понятия аксиоматическо теории. В определении теории не было ограничений на основные положения. Просто требуетм, чтобы множество основных положений было рекурсивным. Наконец, непротиворечивость и полнота... Теория непротиворечива титт, к в ней не найдётся такого предложения, чтобы и оно само и его отрицание принадлежали бы этой теории. Противоречивы тривиальные теории - в которых можно выписывать всё. Они же и противоречивы. Полна титт,к для любого предложения или оно само, или его отрицание принадлежит этой теории. Это всё выжато из определения теории (замкнутая относительн овыводимости система...). Надо учитывать, что такое язык научных теорий... Для научных теорий естественный язык не очень годится. Какие требования можно предъявлять к языку этих теорий? Некоторые теории не различали язык, теорию и категориальную структуру этой теории. У фейерабенда теории == язык + кс. Язык научной теории... Понятие (выше пример) довольствуется прикладным языком первого порядка. Но обычно при построении теории редко задумываемся на используемыми логическими приёмами. Как происходит построение языка? Обычно язык строится из нелогических, технических знаков... Изучение языка в школе начинается с алфваита. Алфавит научной теории... разделяется на 3 части: 1) нелогические символы называются языком этой теории. Их истинность или ложность не подвергается сомнению. Это "словарь". В данном случае предлагают начинать со словаря... Речь идёт о грамматике... Что такое "часть речи"? Сущ., прил., Имена... Имена чего? Есть глаголы... указывают, что в мире есть процессы. Теория предметов, свойств, процессов... Местоимения... Теория одушевлёённых предметов в этом списке. Для логических теорий... зачем им такой базис? Физика не говорит о человеке. Значит, язык должен быть обеднён. И, вообще, другая грамматика. С каждым элементом словаря связывается синтаксическая категория. Как выглядит эта онтологическая сетка, набрасываемая на мир. Своства и отношения... Мир функций... Этого достаточно для построения большинства логических систем (не вссех). Логические знаки... Кванторы. (Каждый, некоторый, всякий). и логически е знаки. Логические знаки осединяют... Некоторые конструкции можно так объединить безотносительно к тому, зачем они... В первом классе... Откуда вы знаете, что кот - ОК, а окт - не слово, и "кт о" - не слова. Кажется тривиальным, но... Естественным языком нельзя пользоваться. Вопрос о построении слов проходится - вы уже начинаете со словаря. Как отличить предложение от не-предложения? В конце предложения надо ставить точку. Никаких содержаний с этой точкой не накладывается. Каждое предложение состоит из слов. И между словами должны быть пробелы. Подразумевается, что есть накая операция - сочленения слов. В ественном языке подразумевается, что новые слова приписываются справа. Существует клей, который склеивает слова. Предполагается, что два предложения можно склеить с помощью И, ИЛИ, импликации... Так выглядит синтаксис научной етории. Как проверить правильность слова, написанных на вашем языке. "Топор упал в воду и тонул." - как доказать правильность этого высказывания. Толковым словарём омжно... Но не в научной среде. Потому что много национальностей. Как проверить правильность смысла?.. Языков 256. Сейчас уже больше, наверное. Простейший способ осознания смысла.... Задаётся некоторая интерпретация данного языка на какую-то предметную область. (Как проверить содержательность? путём содержательной интерпретации. В действительности проигрываются все отношения, которые есть в реальном мире. "Наука - настолько наука, насколько она матемаика. Что вы понимаете под утверждением? Как построить функцию, которая сопоставит в этом простом.... Если дасти истину - моя фраза м

Это не пустая угроза... Как разообразие языков сказывается на разообразии теорий? Теории различных предметных областей могут быть сформулированы на одном предметном областей. Один язык для различнхы предметных областей. И наоборот: одна теория на разных языках. Третий вопрос: может поплучиться так, что... Как будет меняться теория, если её сформулировать на другом языке? Вопрос о возможностях языков... На разных категориальных сетках... Они пох-разному будут членить окружающий мир... Будет то, что в философии называется онтологические допущения... В английском языке есть артикли. В русском (пока) нет. В научной теории: отсутствие артиклей будет достоинством или недостатком? Позволяет что-то заметить или что-то упустить? Принимая эти предпосылки... В языках логических теорий нетместоимений, нет наречий, нет глаголов (в явном виде). В научной теории процессы видеть не надо. Говоря, что в мире есть только предметы и их свойства... Значит, на языке научной теории этого сделать не получится. Надо учитывать разницу... Вы надеваете очки с разными призмами. Как они искажают реальный мир? Что нового они позволяют увидеть - ти вопросы надо решать, применяя такая аппараты. Из концепции Редукевича о различных перспективах мира... Почему философы обсуждали вопрос об онтологическах допущениях языка.... Вопрос, как язык членит этот мир, возник только в эпоху великих географических открытыий. Тогда и языки новые открыли... Как общаться с носителями этих языков? С какой точки зрения понимать? С точки зрения европейских языков? Тогда, значит, и восприятие мира европейское. До 20-х гг. 20-го в. американские лингвисты в языке племени хопи не смогли найти средства выражения временного интервала. Вопрос, можно ли выразить нужное понятие другими средствами языка? Получалось так, что в в языке индейцев племени хопи отсутствует понятие времени. Поэтому 1) гипотеза: он в принципе времени не видят; 2) мы недостаточно настойчивы - поэтому время не можем выразить. Так возникло понятие лингвистической относительности. Если вы не можете фиксировать временные отрезки... Как вы будете проводить научные эксперименты? Один из аспектов этой лингвистической теории - почему в русском языке используем заимствования из других языков? Например, я сегодня гворил об универсалихя. Один из ответов: хопи не надо было никогда временные интервалы считать. Это не означает, что их язык нельзя пополнить. Почему в русском язые нет слова "логика"?

Если слова нет... То можно 1) заимствовать 2) вместо слова каждый раз проговаривать его определение.

Недостатки языка - подножка при построении научной теории. А как проверить, что нужные мне мысли на выбранном языке выразимы? Вопрос для проверки этой "подножки" - вы сталкиваетесь с проблемой существования обхектов научной теории. Если вам не надо сейчас... Ну и ладно. А если надо? подножка.... Нужны критерии, которые будут позволять проверить, существуют ли изучаемые обхекты. Следуя логике Тарского... Если спросить учёного, какую логику он использует при построении своей теории? Когда я говорю о классической логике, я имею в виду логику высказываний и логику предикатов. Одно неявное допущение в моём изложении... Я говорил, что дедуктивным способом выводится... А каким дедуктивным? 15 разновидностей одной теории можно получить. Когда Тарский вводил это понятие, речь 8шла только о классической логики. Следуя Тарскому, считаем, что система сзамкнута относительно классической логики.

Надо отвечать на вопрос, как существуют изучаемые объекты.... Критерий Куайна: "Существовать - значит быть значением квантифицированной переменной". Логика предикатов характеризуется наличем кванторов. в обыденном языке: некоторый, всякий, любой.

Каковы онтологически допущения принимаемого языка? Если в языке существуют временные интервалы - для вас они существуют. Я точки зрения зыка хопи они не существуют. Значит, их нельзя включать в научную теорию. Журден узнал поразительный факт: что он всю жизнь говорил прозой. Каковы следствия использования классической логики? Можно ли иначе? Потом ответим. Что даёт? 1) В классической логике (по критерию Квайна) получается, существует система таких объектов... Ваши модели должны быть обязательно построены так, чтобы все эти объекты обрабатывать. Классическая логика корректна только для непоустых модлелей. Все эти рассуждения невозможны о ничём, о пустоте. Бытие есть, бытия - нет. Эта логика отбрасывает пустые области. Бывают нерарзрешимые предикаты логики. Утверждения, относительно которых невозможно сказать, истинны они или ложны. Эта неразрешимость может временной, или непостоянной или принципиальной. Первый человек, побывавший на Марсе (на Солнце) - фактически пусты. А как быть с квадратным кругом? На чём основывается уверенность в его несуществовании? Надо приспосбаливать логику к общению с теми областями, относительно которых... Мы не знаем, судествуют тахионы или нет. Можно ли использовать это понятие при построении научной теории? Если и можно, то только при условии, что по законам языка. Следующий вопрос: пусть этот критерий существования подходит для классической логики... А если кто-то берёт только силлогистику? В силлогистике критерий Квайна не работает. В силлогистической логике кванторы совершенно другие. Мы не можем сформулировать и доказать онтологические допущения. Означает ли это, что языки могут навязывать нам онтологические допущения? Чтобы ответить на вопрос, так это или не так... Надо проанализировать отношение между онтологией и грамматикой в искусственных языках. По мысли создателей искусственных языков, это соотношение проще, чем в естественных. Ия строятся так специально, чтобы было соответствие между логической формой и грамматической. Однозначное соответствие... Критерий Чёрча. Принимаемый язык и используемая процедура небезразличны субъекту. 1) Какого рода объектов заставляет нас принять язык; 2) Какие онтологические допущения навязывает нам язык. Не может ли быть так, что выбранный язык не согласуется с теорией окружающей действительности.

...проявляется в интуиционистской логике. Математики, которые её создали, исходили из анализа специфики математических рассуждений. Математик в своей деятельности работает интуитивно. Какова интуитивная основа? Конструктивная. Математик предполагает, что построенные объекты должны быть проверяемы. Закон исключчённого третьего в ИЛ. А или не-а. Конструктивизм-интуиционист требует конструкцию. Тоже не работает критерий Квайна. Квантифицировать можно только те обекты, которые существуют. В ИМ этот дополнительный критерия ряд изящных научных теорий может опровергнуть. "Докажите мне, что элементарные частицы существуют". Возникающий результат зависит от выбора лолгики. Вопрос: Существует много теорий, который об одной по с разными языками... Нам же нужен какой-то классификация этого зоопарка. Можно ли дакть классификацию этих теорий? Из самых общих формальных сообщений: множество языков, множество теорий, которые можно построить с пмощью этих языков... 1) Надо чётко, недвусмысленно очертить поле исследования.; Как соотносятся теории с различными языками - надо определить. Проблема несоизмеримости теорий возникла из чего?.. Надо знать, какие теории возможны, какие нет. О чём невозможно говорить - о том следует молчать (Витгенштейн). Нам надо исследовать комбинации еторий, которые можно построить в рамках одного языка. Можно привеести пример из истории науки, когда такие комбинации строились на практике. Можно рассмотреть пресечение теорий...

Возникает трудность: простое объединение теорий не будет теорией. Пример: теорию сложения и теорию умножения чисел. Если их просто склеить их... Надо добавлять постулаты, которые характеризуют взаимодействие теорий между собой. Например, дистрибутивный закон. Если хотим ввести операцию объединения теорий... Это не теоретико-множественное сложение.... На примере космологий А и Б Фейерабенда. Аддитивность архаического универсума - пример объединения теорий. Полное познание = полное перечисление всех его частей и особенностей. То есть при пополнениее словара происходит разрастание числа объектов. Многочисленные типы информации, необходимые для описания человека в этот мир... Теперь надо включать человека в пополненный мир (дополнительная информация). Если взять два независимых пополнения архаической космологии... Это старые космологии... Они всегда присутствуют в любом расширении космологии. С точки зрения комбинаци теорий. Два рода предметов, которые добавлены... Получится, что старая космологи я- не что иное, как пересечение пополнения старой коспологии новой теорией... Старая космология - некоторое пересечение этих теорий. Результат объекдинения теорий может привести к противоречивой теории. А - в одной, не-А - в другой. Возникает внутреннее противоречие. Противоречивая, то есть тривиальная теория. Операция пересечения теорий подсказывает случай, когда теория получается в результате вывода из пустого множества утверждений. Замыкаем теории... Предельный случай, который возникает... Что если множество пнимаемых положений - пусто? Что принять в качестве следствия? Случаи вывод из пустых положений - вывод по схемам логических аксиом. Мы принимаем теоретические пложения (фактуальные). Делаем из фактов, которые взяли из действительности. Логические положения существуют в силу формы, безотносительно к действительности. Если рассуждать о логике... Мы пропустили: когда говорим, что взяли пустое множество положений, из которых делаем выводы, мы неявного говорим, что выводим из логических.... Логическая теория - теория, полученная из пустых положений теории. Нулевая компонента пристуствует в любой теории. Это её логическая часть. Скрытая в ней логика, которую мы теперь явно обнажаем. Принимая ту или иную логику... Существует ещё "пустая" теория. В каждой научной теории она описывает именно ту логику, которую испольует эта теория. Получили... В одном языке можно построить разные теории... Комбинируя... Можно гибриы.... Объединения, пересечения, лежащую в освновании структуру. Значит, множество теорий, опредлённых в одномя зыке можно рассмотреть, как структуру. Какая будет структура? Тарский доказал, что эта структура - браурева алгебра. Одна из паранепротиворечивых логик. Металогика теорий сформулированных в одном языке основывается на паранепротиворечивой логике. Закон сведения к абсурду не действует. Можно сказать, какая математиеская (чисто) логическая... Полная решётка. Такой интересный результат... Сколько концепций и понятий мы ввели. На пальцах пересчитать можно. А получили такое разнообразие следствий. Аппарат Тарского - более широкий, чем понятие аксиоматической теории. Есть конечно акс, беск акс, есть неаксиоматизируемые.... Булева алгебра получается для конечно аксиоматизируемых - язык классической логики. Речь шла о том, чтобы получить универсум теорий, построенных в одном языке. Все отношения между ними можно описать (результат Тарского). Что надо дальше изучать? Рассмотреть вооще взаимоотношения теорий между собой. Рассмотрели взаимооотношения теорий, построенных в одном языке. Взаимоотношение теорий с разными словарями. Ещё в одном языке и с разными грамматиками. Ещё - с разными языками. Результаты? Соотношение космологий А и Б. Новые принципы не просто добавляются, некоторые старые принципы надо отменять. Это понятно. Пример. Астрономия: гелиоцентрическая картина мира (Коперник) привёл к отмене астрономии Птолемея. Отмена старых принципов приводит к унчитоженияю, теории становятся несоизмеримы. Всегда ли новые понятия связаны со старыми. Бывает ли так, что старые понятия переопределяются через новые? Например, факт из астрономии Птолеменя вошли в астронмию Коперника. Произошло их переопределение. Если этот мезханизм действиуе .... Требует внимания. Если выделить "осадок", что происходит с точки зрения наших форм?... Это тот случай, когда используем теорию опредления... Надо использовать теорию определений (см. логику). позволяет определить соотношение различхы теорий. Что мы рассматриваем в качестве определения? 1) Определение - процедура, вводящая новый термин. Банкетка... Табуретка с крылышками. Констатация того, что вновь вводимый термин означает то же самое, что и некоторая комбинация старых. 2) Определение - процедура установления значения имеющегося термина через другие. См. Витгенштейн. Определние - правило переода с одного языка ну другой. По идее, это один и тот же подход. [Какой-то пример со стулями. Круглыми. Я запутался.] Эти определения определения - не взаимоисключающие. Что мы делаем, когда применяем эти определения? Переформулируем нашу теорию. Описываем связи... Показывая банкетку - заставляю вас принять новую реуальность, в которой появились банкетки. Когда второй пример... Третий пример, с падением стены... Теория определений позволяет описать взаимоотношение между собой старых и новых теорий. Симониду не удалось одурачить фисалийцев. А намеренное искажение Ахиллесом языка. "Есть все атрибуты чести, а честинету". Все атрибуты старые слишком сильно с социальными ситуациями конкретными связаны. Симонид - космология Б, фисалийцы - коспология А. Для него утверждения космологии А - существуют (понятны). Но не анаоборот. Приводит к признанию того факта, что язык старой космологии может быть лишь частью языка новой космологии. Фисалийцы владели только частью греческого языка. Новая теория - является расширением старой. А старая - частью новой. Подобное расширение считается некреативной. Нова ятеория должна быть богаче. Используя теорию определений, можно склассифицировать теории подобного рода... Описать взаимоотношения между теориями... если и разных языков, но с одной грамматикой. А что едалть, если и языки разные, и словари, и грамматики. Например, между биологией и политикой. Автономных научных дисциплин взаимоотношения? В этом случае прибегаем к понятию перевода, которые представляет собой некую рекурсвиную функцию перевода из одной теории в другую. Будет предполагать возможность существования обратного перевода. Надо судить о степени и особенности деформации этих утвреждений. Если наш перевод работает и в обратную сторону, то из принадлежности результата одной теори... Мы можем не найти соответствия в обратную строну вооще в некоторых случаях. Если обратный перевод всегда есть, и всегда работает... Можн осказать, что имеем дело с погружающей операцией. Вопрос: Как судить, что перевод действительно существует? Что теории погружаемы одна в другую? Доказана теорема: если есть устойчивый перевод из одной в другую... 1) Можно говорить об эквивалентности. Если пееревод туда-обратно работает. Можно говорить об эквивалентности. Если они погружаемы друг в друга. Ибо перевод представляет собой функцию. Один объект не может отображаться в несколько. Значит, рассматривая теории в разных языках, с разными логиками и грамматиками, можем описать отношения между ними, и провести классификация. 20

Помните результа Тарского? Взаимоотношение теорий, описанных в одном языке. Полные решётки.

А для теорий в разных языках можно аналогичную структуру? И на этот вопрос можно дать утвредлительный ответ. Если использоваьь все основакния, ко... Существует общее описание общего универсума... универсума всех научных теорий. Разновидность особого рода категорий (топоса).

Вывод Сколь мало новых понятий сегодня в лекии я ввёл. Последтвия глобальные. 1) логический подход к понятию научной теории. Приводит к тому, что логические основания науки описуемы (содержательно). 2) Что получается, если игнорировать эти факт (считать, что не зависит от языка и логики научная теория). - Проблемы: возникают псевдодискуссии (которые заканчиваются ничем). - Не следует считать, что асбтрактное изучение научных торий бесполезно - оно позволяет получить отношения запрета, и взаимоотношения описать... Проблема соизмеримости возникла при рассмотрении эволюции науки. Литература: На русском языке В.А. Смирнов. Логические методы научного знания. В серии Философы России 20-го века будет выпущена моя статья "О научных теориях и отношениях между ними".

Аудио
mp3