Паралоги¶

Паралоги — это в математической логике и теории доказательств формальные системы, в которых допускается существование противоречий, но при этом не происходит «взрыва» (ex falso quodlibet) — то есть из противоречия не следует произвольное утверждение. Паралоги представляют собой класс неклассических логик, предназначенных для работы с непротиворечивыми (в классическом смысле) теориями, содержащими логически несовместимые высказывания, без потери дедуктивной силы. Термин происходит от греческих слов παρά (para — «вне», «мимо») и λόγος (logos — «слово», «смысл»), что буквально означает «вне логики» или «отклоняющаяся логика».

¶История

Идея создания логик, устойчивых к противоречиям, возникла в середине XX века как реакция на ограничения классической логики, в которой из противоречия (A и не-A) следует любое утверждение (принцип взрыва). Первые систематические исследования в этой области начались в 1950-х годах. В 1958 году польский логик Станислав Яськовский предложил систему «дискуссионной логики» (logika dyskusyjna), которая позволяла моделировать рассуждения в условиях противоречивых мнений. Независимо от него, в 1963 году бразильский логик Ньютон да Коста (Newton da Costa) разработал семейство паранепротиворечивых логик (C-системы), которые стали основой для современного направления.

В 1970-х годах австралийский философ Грэм Прист (Graham Priest) развил идею «диалектической логики» и предложил систему LP (Logic of Paradox), в которой противоречия признаются возможными в реальности, а не только в рассуждениях. Прист также ввел термин «паранепротиворечивость» (paraconsistency) для обозначения свойства логических систем, не подчиняющихся принципу взрыва. В 1980-х годах исследования в этой области расширились, появились работы по параконсистентным теориям множеств, семантике возможных миров и алгебраическим моделям.

¶Основные принципы

¶Принцип взрыва

В классической логике принцип взрыва (ex falso quodlibet) утверждает, что из противоречия (A ∧ ¬A) можно вывести любое утверждение B. Формально это записывается как: (A ∧ ¬A) → B. Паралоги отказываются от этого принципа, сохраняя при этом возможность вывода из непротиворечивых посылок. В паранепротиворечивых системах противоречие не обязательно ведет к тривиальности теории (когда все утверждения становятся доказуемыми).

¶Отказ от закона непротиворечия

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

¶Логическая тривиальность

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

¶Классификация

Паралоги делятся на несколько типов в зависимости от способа реализации отказа от принципа взрыва.

¶Семантические паралоги

В этих системах истинностные значения расширяются за пределы классической бинарной схемы (истина/ложь). Например, в логике LP (Logic of Paradox) Грэма Приста используется трехзначная семантика: истина (T), ложь (F) и парадокс (P — одновременно истина и ложь). В этой системе высказывание может быть истинным и ложным одновременно, но из этого не следует произвольное утверждение, так как импликация определяется особым образом.

¶Синтаксические паралоги

В этих системах модифицируются правила вывода, чтобы исключить возможность вывода произвольного утверждения из противоречия. Например, в C-системах Ньютона да Косты вводится ограничение на правило modus ponens или на использование отрицания. В таких системах отрицание может быть неклассическим (например, интуиционистским или минимальным).

¶Алгебраические паралоги

Паранепротиворечивые логики могут быть представлены в виде алгебраических структур, таких как решетки или бирешетки. Например, в бирешетках Белнапа (Belnap’s four-valued logic) истинностные значения включают «истина», «ложь», «неизвестно» и «противоречие». Такие модели позволяют формализовать рассуждения с неполной или противоречивой информацией.

¶Применение

¶Искусственный интеллект и базы знаний

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

¶Философия и диалектика

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

¶Теория множеств

В паранепротиворечивой теории множеств (например, в системе NF (New Foundations) Уилларда Куайна или в работах Росса Брэди) допускаются множества, которые в классической теории приводят к парадоксам (например, множество всех множеств). Паралоги позволяют избежать тривиальности, сохраняя при этом выразительную силу.

¶Юриспруденция и право

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

¶Критика

Паралоги подвергаются критике со стороны сторонников классической логики. Основные возражения включают:

• Нарушение интуиции. Критики утверждают, что отказ от принципа взрыва противоречит здравому смыслу, так как в реальных рассуждениях противоречие обычно считается ошибкой.
• Сложность семантики. Паранепротиворечивые системы часто требуют нетривиальных семантических моделей (например, трехзначных или четырехзначных логик), что усложняет их практическое применение.
• Ограниченная выразительность. В некоторых паралогах невозможно выразить классические логические законы (например, закон исключенного третьего), что может быть недостатком для определенных задач.
• Проблема интерпретации. Трудно определить, когда противоречие является «допустимым», а когда — ошибкой. Это приводит к неоднозначности в применении.

¶Интересные факты

• Термин «паранепротиворечивость» (paraconsistency) был введен в 1976 году философом Мирко Банья (Mirko Bagna) и популяризирован Грэмом Пристом.
• В 1990-х годах появились паранепротиворечивые версии теории категорий и гомотопической теории типов.
• В России исследования в области паралогов ведутся в рамках школы математической логики (например, работы В. А. Смирнова, А. С. Карпенко).
• Паралоги используются в некоторых системах автоматического доказательства теорем, таких как Paradox и Prover9, для обработки противоречивых данных.

¶Источники

• Priest, G. (2002). Paraconsistent Logic. In: Handbook of Philosophical Logic, vol. 6.
• da Costa, N. C. A. (1974). On the Theory of Inconsistent Formal Systems. Notre Dame Journal of Formal Logic, 15(4), 497–510.
• Яськовский, С. (1969). A Propositional Calculus for Inconsistent Deductive Systems. Studia Logica, 24, 7–33.
• Карпенко, А. С. (2000). Логика и парадоксы. М.: Наука.
• Белнап, Н. (1977). A Useful Four-Valued Logic. In: Modern Uses of Multiple-Valued Logic, pp. 5–37.