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

Что происходит с рассуждением, если в его исходных данных одновременно есть утверждение и его отрицание? В классической логике из пары A и не-A по принятым правилам следования можно вывести произвольное B. Такое свойство называют принципом взрыва (или «из противоречия следует что угодно»). Именно с этой проблемой работает паранепротиворечивая логика — класс логических систем, в которых наличие противоречия само по себе не делает допустимым любой вывод.

Термин за минуту

Паранепротиворечивая (параконсистентная) логика — это тип неклассической логики с невзрывным отношением логического следования. Строгая характеристика: не для любых A и B верно, что из A и ¬A следует B.

Проблема: противоречие разрушает всё или только часть знания?

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

Разумеется, обычный человек и в рамках классической логики не обязан практически выводить из противоречия что попало: он может искать ошибку во входных данных, уточнять контекст или отбрасывать сомнительную посылку. Различие здесь строго формальное: какие выводы считаются следствиями из заданного множества посылок внутри самой логической системы.

В классическом отношении следования при одновременном наличии A и ¬A нет ограничения на произвольное заключение B. Паранепротиворечивые системы устроены иначе. Они позволяют рассматривать некоторую несовместимую информацию, не делая весь набор утверждений логически тривиальным — то есть не превращая любое предложение в теорему.

Как выглядит принцип взрыва в символах

Классическая схема записывается так: A, ¬A ⊨ B. Здесь знак ⊨ означает отношение логического следования: если принять посылки, заключение должно следовать по выбранной семантике. Обозначения A и B — произвольные высказывания, а ¬A — отрицание A.

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

Формальная проверка, которая не подменяет определение метафорой: если система паранепротиворечива, существуют такие A и B, для которых из множества {A, ¬A} не следует B. Именно отсутствие всеобщего взрыва, а не простой «терпимый взгляд» на ошибки, задаёт класс таких логик.

Пример с карточкой архива: пошаговое чтение

1. Посылка A: в одной карточке отмечено, что письмо получено 12 мая.
2. Посылка ¬A: в другой записи отрицается, что письмо получено 12 мая.
3. Произвольный тезис B: «В том же архиве хранится золотая монета».

Первые два сообщения несовместимы при одинаковом смысле даты, письма и слова «получено». В классическом исчислении отношение следования допускает переход от A и ¬A к B. В паранепротиворечивой системе, специально построенной как невзрывная, одного противоречия недостаточно для такого перехода. Монета не становится логически доказанной на основании конфликта в карточках.

Это иллюстрация формы следования, а не утверждение, что архивная запись с отрицанием истинна. Анализ достоверности документов требует отдельной работы: логика не подменяет исследование фактов. И если появятся независимые свидетельства о монете, некоторые системы могут разрешить вывод B на их основании — просто не из одного противоречия.

Две позиции, которые важно не смешивать

Позиция 1: противоречия как проблема данных. Исследователь может считать, что реальность не содержит истинных противоречий, но наши базы данных, протоколы или теории временно содержат несовместимые записи. Паранепротиворечивая логика полезна, чтобы анализ не рушился из-за неполной или конфликтующей информации. Эта установка не требует признавать, что A и не-A действительно оба истинны.

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

С этим связано ещё одно различие. Паранепротиворечивая логика не является синонимом нечёткости, вероятностного расчёта или логики, в которой «каждый по-своему прав». Нечёткие степени истинности и вероятности решают иные задачи; логическая невзрывность определяется тем, какие именно следствия допустимы из противоречивых посылок.

Возражение: не слишком ли много разрешено противоречий?

Скептик может заметить: если система позволяет сохранять A и ¬A, не станут ли ошибки безнаказанными? Это серьёзный вопрос. При разработке конкретной паранепротиворечивой логики приходится устанавливать правила вывода, семантику и ограничения. Невзрывность сама по себе ещё не сообщает, какие дополнительные выводы будут допустимы или насколько система пригодна для выбранной задачи.

Ответ сторонника звучит точнее, чем лозунг «противоречия полезны»: способность работать с несовместимыми посылками не означает отказа от проверки и исправления ошибок. Она лишь не позволяет одному конфликту логически санкционировать всё что угодно. При этом некоторые привычные правила классического исчисления приходится ослаблять или переосмыслять, а потому нельзя свободно переносить туда все классические доказательства.

Где проходит итоговая граница

Такую логику рассматривают в философии логики, основаниях математики и при моделировании противоречивых массивов сведений. Но у неё нет одной-единственной общепринятой системы аксиом: под названием объединены разные формальные подходы, удовлетворяющие общему требованию невзрывности. Поэтому при техническом употреблении нужно называть конкретное исчисление, иначе неясно, какие правила в нём действуют.

Итог одной строкой: паранепротиворечивая логика не утверждает, что противоречия всегда верны; она запрещает превращать само их наличие в универсальное разрешение доказывать всё подряд.

Источники: Новая философская энциклопедия ИФ РАН: «Паранепротиворечивая логика»; Stanford Encyclopedia of Philosophy: Paraconsistent Logic; Большая российская энциклопедия: «Паранепротиворечивая логика».