Наименование: | Неклассические логики. |
Определение: | Неклассические логики — это широкая область логических исследований, выходящая за пределы или, наоборот, сужающая область исследований классической логики высказываний и логики предикатов. |
Раздел: |
Концепты философского дискурса Концепты научного дискурса |
Дискурс: |
Философия Наука |
Субдискурс: | Логика Логика формальная Логика символическая |
Связанные концепты: |
Логика высказываний Логика отношений |
Текст статьи: © A. С. Карпенко. Подготовка электронной публикации и общая редакция: Центр гуманитарных технологий. Ответственный редактор: А. В. Агеев. Информация на этой странице периодически обновляется. Последняя редакция: 27.02.2024. | |
Неклассические логики — это широкая область логических исследований, выходящая за пределы или, наоборот, сужающая область исследований классической логики высказываний (см. Логика высказываний) и логики предикатов (см. Логика предикатов). Неклассические логики представляют собой логические системы, в основе которых лежит иное, чем в классической логике (см. Логика), истолкование традиционных логических операций отрицания, конъюнкции, дизъюнкции, импликации и кванторов. В некоторых неклассических логиках к числу исходных традиционных логических связок добавляются такие, как «необходимо», «возможно», «разрешено», «будет» и другие. Неклассические логики начали развиваться в начале XX века. Предпосылки для них были высказаны ещё до того, как стали проводиться систематические исследования по логике высказываний (Э. Пост, 1921). В 1908 году выходит статья Л. Брауэра с вызывающим названием: «О недостоверности логических принципов», где даётся критика классических законов исключённого третьего A ∨ ¬ A и снятия двойного отрицания ¬ ¬ A ⊃ A. Это был ответ Брауэра на обнаружение парадоксов в теории множеств. В 1910 году одновременно и независимо друг от друга русский логик Н. А. Васильев и польский логик Я. Лукасевич подвергли критике закон непротиворечия ¬ (A ∧ ¬ A), став в этом смысле предшественниками паранепротиворечивой логики. В В 1912 году американский логик К. И. Льюис строит новую теорию логического следования взамен теории материальной (классической) импликации. Исходным мотивом Льюиса было избавиться от так называемых парадоксов материальной импликации: A ⊃ (B ⊃ A) A ⊃ (¬ A ⊃ B) и другие. В результате вводится новая импликация «→», названная им «строгой». Поскольку Льюис считал, что логическое следование тесно связано с понятиями необходимости и возможности, то вводятся также модальные операторы с аналогичным названием. Уже в 1918 году Льюисом была сформулирована первая модальная система, названная им впоследствии S 3. Однако оказалось, что строгая импликация Льюиса не менее «парадоксальна», чем материальная, поскольку имеют место следующие законы: A → (B → B), (A ∧ ¬ A), то есть истина следует из чего угодно и из лжи следует всё, что угодно. Следствием отказа от этих законов явилась логика следования Ε (Ackermann, 1956), а ещё ранее в результате обнаружения ослабленной формы теоремы дедукции появилась релевантная импликация (Church, 1951). Формулировка критерия релевантности (Belnap, 1960; Донченко, 1963) определила бесконечный класс законов классической логики, неприемлемых для релевантных логик. Наконец, с появлением и развитием квантовой физики подвергся критике закон тождества A ⊃ A, поскольку, согласно Э. Шрёдингеру, этот закон в общем случае не имеет места для микрообъектов. Такие логики получили название «логики Шрёдингера». Таким образом, указанные выше неклассические логики появились в результате критики тех или иных законов классической (аристотелевской) логики, и в итоге напрашивался вывод, что логика не основывается ни на каких принципах или законах. Совершенно иной подход к построению неклассических логик продемонстрировал А. Н. Прайор, который в результате логического анализа и реконструкции «главенствующего аргумента» (kyrieyon) Диодора Крона впервые ввёл в логику временные операторы и построил первые системы временной логики, причём в качестве основы берётся вся классическая пропозициональная логика C2 и уже к ней добавляются аксиомы, определяющие вновь введённые операторы. Подобным образом строятся деонтические логики, эпистемические, императивные и многие другие, поскольку возможности изобретения всё новых операторов, добавляемых к C2, неограниченны. Таким образом, сложились два основных подхода к конструированию неклассических логик:
В редакционной статье первого номера журнала «The Journal of Non-Classical Logic» (1982) именно эти два подхода и выделены. Точно такое же разделение на два основных класса принято и в «Handbook of Philosophical Logic», где во второй том вошли неклассические логики, расширяющие C2, а в третий том — неклассические логики, сужающие C2 (здесь они названы «альтернативными» к C2). Но такое деление не является исчерпывающим, поскольку существуют неклассические логики, не принадлежащие ни к одному из этих двух классов, например комбинаторная логика, инфинитарные логики, системы Лесневского и так далее. Однако возникают более существенные трудности при допущении дихотомии, указанной пунктами 1 и 2. Оказалось, что модальные логические системы строгой импликации Льюиса и Лэнгфорда (1932) можно строить как расширение C2, добавив к последней аксиомы, определяющие модальные операторы (Гёдель, 1933). То же самое можно сделать с абсолютным большинством многозначных логик. Например, конечнозначные логики Лукасевича, Бочвара, Поста и так далее есть расширение C2 (Аншаков и Рычков, 1984). Более того, существует погружающая операция, которая переводит (вкладывает) C2 в интуиционистскую логику Н (Гливенко, 1929). Это означает, что последняя богаче C2, хотя на первый взгляд является подсистемой C2. Но Гёдель показал (1933), что Н есть расширение C2, если в качестве логических связок последней взять конъюнкцию и отрицание. Более того, существуют подсистемы C2, слабее Н, но в которые переводится C2. На самом деле, перевод одной логики в другую довольно распространённое явление и в последние десятилетия стала разрабатываться теория такого феномена (Wbjcicki, 1988; Epstein, 1990). В свою очередь следует отметить, что целый ряд неклассических логик содержит фрагмент (или фрагменты), изоморфный C. Таково, например, большинство конечнозначных логик. Тогда можно предположить, что C2 переводится в некоторую логику L, если L содержит фрагмент, изоморфный C2. Отсюда следует возможность аксиоматизации L как расширения C2. Вот некоторые достаточно известные неклассические логики: интуиционистская и конструктивная, суперинтуиционистские (промежуточные), подсистемы классической логики (ВСК, ВСІ и так далее), многозначная, модальная, временная, модально-временные логики, релевантная и следования, контрфактуалы и кондиционалы, паранепротиворечивая логика, логика комбинаторная и лямбда исчисления, квантовая, эпистемическая, деонтическая, императивная, немотонная логика, свободные логики, логика вопросов (эротетическая логика), интенсиональная, индуктивная логика, вероятностная логика, нечёткие (нечёткозначные логики), логика подтверждений и порождения гипотез, логика решений, динамическая логика, логика программ, онтология Лесневского, силлогистика и другие. На современном этапе развития логики многие из указанных направлений представляют разделы символической логики (см. Символическая логика) и давно потеряли какие-либо следы своего философского происхождения. Большое внимание при изучении неклассических логик уделяется установлению связей между различными логиками. Кроме обычного отношения включения (все верные формулы одной логики являются тавтологиями в другой), большой интерес представляет переводимость одной логики в другую. Например, по любой формуле интуиционистской логики можно построить формулу модальной логики, тавтологичность которой в модальной логике эквивалентна справедливости исходной формулы в интуиционистской логике. Это позволяет свести многие проблемы интуиционистской логики к проблемам модальной логики. Модальные логики являются в некотором смысле универсальными, так как для многих логик возможен их перевод в подходящие модальные логики. Бесконечное разнообразие неклассических логик (существуют континуумы логик определённого класса, например континуум суперинтуиционистских логик), а также критика и возможная элиминация любого закона логики и результаты, связанные с переводом одних логик в другие, — всё это поставило сложнейшую проблему выработки, по возможности, единого подхода к такому явлению, как «мир логики». Среди основных подходов в этом русле, чётко обозначенных в последнее время, выделяются следующие:
Все эти подходы имеют те или иные ограничения, поэтому сейчас обсуждается вопрос о построении универсальной логики (J.-Y. Beziau и другие). Итог развития неклассических логик тот же самый, что для символической логики и философской логики, а именно — постановка к концу XX века вопроса о том, что такое логика. |
|
Библиография |
|
---|---|
Издания на русском языке: |
|
|
|
Издания на других языках: |
|
|
|