Гуманитарные технологии Информационно-аналитический портал • ISSN 2310-1792
Гуманитарно-технологическая парадигма

Логики неклассические

Наименование: Неклассические логики
Определение: Неклассические логики — это широкая область логических исследований, выходящая за пределы или, наоборот, сужающая область исследований классической логики высказываний и логики предикатов.
Редакция: Информация на этой странице периодически обновляется. Последняя редакция: 30.10.2016.

Неклассические логики — это широкая область логических исследований, выходящая за пределы или, наоборот, сужающая область исследований классической логики высказываний (см. Логика высказываний) и логики предикатов (см. Логика предикатов). Неклассические логики представляют собой логические системы, в основе которых лежит иное, чем в классической логике (см. Логика), истолкование традиционных логических операций отрицания, конъюнкции, дизъюнкции, импликации и кванторов. В некоторых неклассических логиках к числу исходных традиционных логических связок добавляются такие, как «необходимо», «возможно», «разрешено», «будет» и другие.

Неклассические логики начали развиваться в начале XX века. Предпосылки для них были высказаны ещё до того, как стали проводиться систематические исследования по логике высказываний (Э. Пост, 1921). В 1908 году выходит статья Л. Брауэра с вызывающим названием: «О недостоверности логических принципов», где даётся критика классических законов исключённого третьего A ∨ ¬ A и снятия двойного отрицания ¬ ¬ A ⊃ A. Это был ответ Брауэра на обнаружение парадоксов в теории множеств. В 1910 году одновременно и независимо друг от друга русский логик Н. А. Васильев и польский логик Я. Лукасевич подвергли критике закон непротиворечия ¬ (A ∧ ¬ A), став в этом смысле предшественниками паранепротиворечивой логики. В 1929–1930 годах идеи Брауэра были реализованы В. Гливенко и А. Гейтингом, которые аксиоматизировали интуиционистскую логику, а ещё ранее А. Н. Колмогоров (1925) в продолжение начатой Брауэром критики классической логики обратил внимание на аксиому A ⊃ (¬ A ⊃ B) как не имеющую интуитивного основания. В результате появилась аксиоматизация импликативно-негативного фрагмента минимальной логики. В 1920 году в законченном виде появляется трёхзначная логика Лукасевича, которая возникла в результате опровержения философской концепции логического фатализма посредством отбрасывания принципа двузначности (бивалентности). В этой логике не имеют места ни закон исключённого третьего, ни закон непротиворечия, ни закон сокращения (A ⊃ (A ⊃ B)) ⊃ (A ⊃ B).

В 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, неограниченны.

Таким образом, сложились два основных подхода к конструированию неклассических логик:

  1. ограничение (сужение) C2 посредством отбрасывают каких-либо законов классической логики;
  2. расширение 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.

Вот некоторые достаточно известные неклассические логики: интуиционистская и конструктивная, суперинтуиционистские (промежуточные), подсистемы классической логики (ВСК, ВСІ и так далее), многозначная, модальная, временная, модально-временные логики, релевантная и следования, контрфактуалы и кондиционалы, паранепротиворечивая логика, логика комбинаторная и лямбда исчисления, квантовая, эпистемическая, деонтическая, императивная, немотонная логика, свободные логики, логика вопросов (эротетическая логика), интенсиональная, индуктивная логика, вероятностная логика, нечёткие (нечёткозначные логики), логика подтверждений и порождения гипотез, логика решений, динамическая логика, логика программ, онтология Лесневского, силлогистика и другие. На современном этапе развития логики многие из указанных направлений представляют разделы символической логики (см. Символическая логика) и давно потеряли какие-либо следы своего философского происхождения.

Большое внимание при изучении неклассических логик уделяется установлению связей между различными логиками. Кроме обычного отношения включения (все верные формулы одной логики являются тавтологиями в другой), большой интерес представляет переводимость одной логики в другую. Например, по любой формуле интуиционистской логики можно построить формулу модальной логики, тавтологичность которой в модальной логике эквивалентна справедливости исходной формулы в интуиционистской логике. Это позволяет свести многие проблемы интуиционистской логики к проблемам модальной логики. Модальные логики являются в некотором смысле универсальными, так как для многих логик возможен их перевод в подходящие модальные логики.

Бесконечное разнообразие неклассических логик (существуют континуумы логик определённого класса, например континуум суперинтуиционистских логик), а также критика и возможная элиминация любого закона логики и результаты, связанные с переводом одних логик в другие, — всё это поставило сложнейшую проблему выработки, по возможности, единого подхода к такому явлению, как «мир логики». Среди основных подходов в этом русле, чётко обозначенных в последнее время, выделяются следующие:

  1. алгебраический подход — логика есть часть универсальной алгебры (W. J. Block, D. Pigozzi, 1989);
  2. семантический подход (R. L. Epstein, 1990);
  3. теоретико-доказательный подход (D. M. Gabbay, 1996);
  4. классификация логик посредством конечных булевых решёток, элементами которых являются различные логические исчисления (А. С. Карпенко, 1997).

Все эти подходы имеют те или иные ограничения, поэтому сейчас обсуждается вопрос о построении универсальной логики (J.-Y. Beziau и другие). Итог развития неклассических логик тот же самый, что для символической логики и философской логики, а именно — постановка к концу XX века вопроса о том, что такое логика.

Библиография:
  1. Аншаков О. М., Рычков С. В. Об одном способе формализации и классификации многозначных логик. — В книге: Семиотика и информатика, вып. 23.
  2. Васильев Н. А. Воображаемая логика. Избранные труды. — М., 1989.
  3. Гливенко В. О некоторых аспектах логики Брауэра. — В книге: Труды научно-исследовательского семинара Логического центра Института философии Российской Академии наук. — М., 1998.
  4. Слинин Я. А. Теория модальностей в современной логике. — В книге: Логическая семантика и модальная логика. — М., 1967.
  5. Зиновьев А. А. Очерк многозначной логики. — В книге: Проблемы логики и теории познания. — М., 1968.
  6. Неклассическая логика. — М., 1970.
  7. Исследования по неклассическим логикам. — М., 1989.
  8. Карпенко А. С. Классификация пропозициональных логик. — В книге: Логические исследования, вып. 4. — М., 1997.
  9. Карпенко А. С. Библиотечно-библиографическая классификация литературы по логике. — В книге: Труды научно-исследовательского семинара логического центра ИФ РАН. — М., 1997.
  10. Колмогоров А. Н. О принципе tertium non datur. — В книге: Он же. Избранные труды. Математика и механика. М, 1985.
  11. Blok W. J., Pigozzi D. Algebraizable logics. — Memoirs of the American Mathematical Society. — NY, 1989, v. 396.
  12. Brouwer L. E. J. The unreliability of the logical principles. — Brouwer L. E. J. The collecled works. — Dordrecht, 1975.
  13. da Costa N. С. Α., Krause D. Schrodinger logics. — «Studia logica», 1994, v. 53.
  14. Epstein R. L. The semantic foundations of logic, v. I: Prepositional Logic. — Dordrecht, 1990.
  15. Gabbay D. M. Labelled deductive systems, v. 1. — Oxford, 1996.
  16. Haack S. Deviant logic: Some philosophical issues. — L., 1974 (здесь предпринята первая попытка определения статуса неклассической логики).
  17. Haack S. Deviant logic, fuzzy logic: Beyond the formalism. — Chicago, 1996.
  18. Handbook of philosophical logic, v. 11.
  19. Extensions of classical logic. — Dordrecht, 1981.
  20. Handbook of philosophical logic, v. III: Alternatives in classical logic. — Dordrecht, 1986.
  21. Lewis C. I. Implication and the algebra of logic? — «Mind», 1912, v. 21.
  22. Lukasiewicz J. On the principle of contradiction in Aristotle. — «Review of Metaphysics», 1971, v. 24.
  23. Lukasiewicz J. О logice trojwartosciowey. — «Ruch Filozoliczny», 1920, t. 5 (Англ. пер.: On three-valued logic. — Lukasiewicz J. Selected works. Warsz., 1970.
  24. Non-cassical logics and their applications to fuzzy subsets: A handbook of the mathematical foundation of fuzzy set theory. — Dordrecht, 1995.
  25. Rasiowa H. An algebraic approach to non-classical logics. — Warsz., 1974.
  26. Thistlewwaite P. B. McRobbie Μ. Α., Meyer R. K. Automated theorem proving for non-classical logics. — Research Notes in Theoretical Computer Science. — NY, 1987.
  27. Wojcicki R. Theory of logical calculi: Basic theory of consequence operations. — Dordrecht, 1988.
  28. Ω-Bibliography of mathematical logic, v. II: Non-classical logics. В., 1987.
Источник: Логики неклассические. Гуманитарная энциклопедия [Электронный ресурс] // Центр гуманитарных технологий, 2010–2016 (последняя редакция: 30.10.2016). URL: http://gtmarket.ru/concepts/6903
Текст статьи: © A. С. Карпенко. Подготовка электронной публикации и общая редакция: Центр гуманитарных технологий.
Ограничения: Настоящая публикация охраняется в соответствии с законодательством Российской Федерации об авторском праве и предназначена только для некоммерческого использования в информационных, образовательных и научных целях. Копирование, воспроизведение и распространение текстовых, графических и иных материалов, представленных на данной странице, не разрешено.
Реклама:
Содержание раздела
Новые концепты
Базисные концепты