Паранепротиворечивая логика

Паранепротиворечивая логика — это семейство неклассических логических систем, в которых отвергается принцип взрыва (ex contradictione sequitur quodlibet, «из противоречия следует что угодно»). В классической логике из противоречия (одновременной истинности высказывания и его отрицания) можно вывести любое утверждение, что делает такую теорию тривиальной (все утверждения в ней истинны). Паранепротиворечивые логики позволяют работать с противоречивыми теориями, не делая их тривиальными, и тем самым моделировать рассуждения в ситуациях, где информация неполна, противоречива или постоянно изменяется.

История

Истоки и предпосылки

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

В XIX веке развитие формальной логики (Г. Фреге, Б. Рассел, А. Н. Уайтхед) привело к созданию классической логики высказываний и предикатов, где принцип взрыва является теоремой. Однако уже в начале XX века были предприняты попытки построить логики, в которых противоречия не приводят к тривиальности. Первые формальные системы, которые можно назвать паранепротиворечивыми, были предложены польским логиком Яном Лукасевичем (1910) и русским логиком Н. А. Васильевым (1910-е годы), который разработал «воображаемую логику», допускающую истинность противоречий.

Становление паранепротиворечивости как области

Термин «паранепротиворечивая логика» (от греч. para — «вне», «против» и contradictio — «противоречие») был введён в 1976 году аргентинским логиком Ф. Г. Асеньо. Однако систематическое развитие этой области началось в 1950-х годах с работ бразильского логика Ньютона да Косты. Он создал семейство паранепротиворечивых логик, известных как C-системы (C1, C2, ...), которые стали основой для многих последующих исследований.

В 1960-1970-е годы паранепротиворечивая логика привлекла внимание философов, математиков и специалистов по информатике. Она оказалась полезной для анализа парадоксов, неклассических теорий (например, в квантовой механике) и для разработки систем искусственного интеллекта, способных работать с неполной и противоречивой информацией.

Основные понятия и принципы

Принцип взрыва и его отрицание

В классической логике принцип взрыва формулируется как: из (A ∧ ¬A) следует B, где A — любое высказывание, а B — любое другое высказывание. Доказательство этого принципа основано на правиле modus ponens (если A и A→B, то B) и правиле введения дизъюнкции (из A следует A ∨ B). Паранепротиворечивая логика отвергает одно из этих правил или модифицирует их так, чтобы из противоречия не следовало произвольное утверждение.

Противоречивость и тривиальность

В паранепротиворечивой логике различают два понятия:

• Противоречивость теории: теория содержит два утверждения, одно из которых является отрицанием другого.
• Тривиальность теории: теория содержит все возможные утверждения (то есть из неё выводимо любое высказывание).

В классической логике противоречивость влечёт тривиальность. В паранепротиворечивой логике это не так: теория может быть противоречивой, но не тривиальной.

Логическое следование и истинность

Паранепротиворечивые логики переопределяют понятие логического следования. В них могут быть введены дополнительные истинностные значения (например, «истинно», «ложно», «противоречиво»), или модифицированы правила вывода. Важно, что в таких системах сохраняется свойство непротиворечивости: если теория непротиворечива, то она не является тривиальной.

Классификация паранепротиворечивых логик

Существует несколько основных подходов к построению паранепротиворечивых логик:

Логики с дополнительными истинностными значениями

Наиболее известный пример — трёхзначная логика Яна Лукасевича (L3). В ней есть три истинностных значения: «истина» (1), «ложь» (0) и «неопределённость» (1/2). В этой логике из (A ∧ ¬A) не следует B, так как при A=1/2 значение (A ∧ ¬A) равно 1/2, а не 0, и правило вывода не даёт произвольного B.

Другой пример — логика Клини (K3), где также есть три значения: «истина», «ложь» и «неопределённость». В этой логике из противоречия не следует произвольное утверждение, так как противоречие может быть «неопределённым».

Логики с модифицированными правилами вывода

Ньютон да Коста разработал семейство C-систем, в которых принцип взрыва отвергается путём введения дополнительных условий. Например, в системе C1 правило вывода «из (A ∧ ¬A) следует B» не действует, если A не является «противоречивым» в некотором специальном смысле. В C1 вводится оператор «возможности» (◇), который позволяет различать «простые» и «сложные» противоречия.

Логики с неклассической семантикой

К этому классу относятся логики с семантикой возможных миров (модальные логики), где противоречия могут быть истинными в некоторых мирах, но не во всех. Например, в логике релевантности (relevance logic) требуется, чтобы посылки и заключение были связаны по содержанию, что исключает вывод произвольного B из противоречия.

Логики с паранепротиворечивостью как свойством

Некоторые логики, такие как логика Фитча (Fitch’s logic) или логика Приста (Priest’s logic), являются паранепротиворечивыми по определению. В них вводится понятие «противоречивого мира» (inconsistent world), где одновременно истинны A и ¬A, но из этого не следует тривиальность.

Применение

В математике

Паранепротиворечивая логика используется для анализа парадоксов, таких как парадокс Рассела (в теории множеств) или парадокс лжеца (в теории истины). Она позволяет строить непротиворечивые теории, которые содержат противоречия, но не становятся тривиальными. Например, в паранепротиворечивой теории множеств (paraconsistent set theory) можно допустить существование множества всех множеств, не приводя к противоречию, которое разрушает классическую теорию.

В информатике и искусственном интеллекте

Паранепротиворечивая логика применяется в системах, работающих с неполной или противоречивой информацией:

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

В философии

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

В квантовой механике

В квантовой механике существуют ситуации, когда частица может находиться в суперпозиции состояний, что интерпретируется как одновременная истинность двух взаимоисключающих утверждений. Паранепротиворечивая логика предлагает формальный аппарат для описания таких ситуаций.

Критика

Паранепротиворечивая логика подвергается критике по нескольким направлениям:

• Интуитивная неприемлемость: многие логики и философы считают, что допущение противоречий в логике подрывает саму идею рационального рассуждения. Классическая логика, по их мнению, является единственно правильной, а любые отклонения от неё ведут к хаосу.
• Сложность и неоднозначность: существует множество различных паранепротиворечивых логик, и выбор между ними часто неочевиден. Это затрудняет их практическое применение.
• Проблема интерпретации: как понимать «истинность» противоречия? Если A и ¬A оба истинны, то что это значит? Некоторые философы утверждают, что это лишает понятие истины смысла.
• Ограниченная применимость: в большинстве реальных ситуаций противоречия являются ошибками, которые нужно исправлять, а не допускать. Паранепротиворечивая логика может быть полезна только в узких областях, где противоречия неизбежны.

Известные паранепротиворечивые логики

• C-системы (Ньютон да Коста, 1960-е) — семейство логик, основанных на модификации правил вывода.
• Логика Приста (LP, Graham Priest, 1979) — трёхзначная логика, в которой истинностными значениями являются «истина», «ложь» и «противоречие».
• Логика релевантности (Anderson, Belnap, 1975) — логика, в которой вывод возможен только при наличии содержательной связи между посылками и заключением.
• Логика Фитча (Fitch, 1963) — логика, в которой вводится оператор «возможности» для работы с противоречиями.
• Логика с неклассической семантикой (например, модальная логика S5, где противоречия могут быть истинны в некоторых мирах).

Источники

• Да Коста, Н. (1963). «Системы формальной логики, не допускающие принципа взрыва». Журнал символической логики.
• Прист, Г. (1979). «Логика парадокса». Журнал философской логики.
• Андерсон, А. Р., Белнап, Н. Д. (1975). Релевантная логика: основания и применение. Princeton University Press.
• Васильев, Н. А. (1912). «Воображаемая логика». Труды Казанского университета.
• Лукасевич, Я. (1910). «О принципе противоречия у Аристотеля». Bulletin de l’Académie des Sciences de Cracovie.
• Асеньо, Ф. Г. (1976). «Паранепротиворечивая логика: обзор». Notre Dame Journal of Formal Logic.