Трёхзначная логика

Трёхзначная логика — это раздел многозначной логики, в котором, в отличие от классической двузначной логики (бинарной), допускается существование трёх истинностных значений. Обычно эти значения интерпретируются как «истина» (1), «ложь» (0) и «неопределённость» (1/2, или «возможно», «неизвестно», «парадокс»). Трёхзначная логика является простейшим расширением классической логики и применяется для моделирования ситуаций, где суждение не может быть однозначно оценено как истинное или ложное (например, в логике высказываний с неполной информацией, в основаниях математики и в теории электронных схем).

История

Первые идеи, выходящие за рамки двузначной логики, восходят к античности. Аристотель в трактате «Об истолковании» обсуждал проблему будущих случайных событий (например, «Завтра будет морское сражение»), которые в момент высказывания не являются ни истинными, ни ложными. Однако формальное построение трёхзначной логики началось лишь в XX веке.

В 1917 году польский логик Ян Лукасевич (Jan Łukasiewicz) опубликовал работу «О логике трёх значений», в которой впервые предложил таблицы истинности для трёхзначного исчисления высказываний. Лукасевич ввёл третье значение, обозначаемое как «возможно» (или «нейтрально»), и разработал систему, впоследствии названную логикой Лукасевича (L₃). Его мотивацией было желание разрешить парадоксы, связанные с модальными высказываниями и законом исключённого третьего.

Почти одновременно, в 1920 году, американский логик Эмиль Пост (Emil Post) независимо предложил систему трёхзначной логики, основанную на циклических операциях. Позднее, в 1938 году, Стивен Клини (Stephen Kleene) разработал так называемую «сильную» и «слабую» трёхзначные логики (K₃ и B₃) для анализа частично определённых рекурсивных функций. В 1960-х годах Дмитрий Бочвар (Dmitry Bochvar) ввёл трёхзначную логику для анализа парадоксов теории множеств (например, парадокса Рассела), где третье значение трактовалось как «бессмысленно».

В Советском Союзе трёхзначная логика активно разрабатывалась в рамках кибернетики и математической лингвистики. В 1950-х годах А. А. Зиновьев (Александр Александрович Зиновьев) предложил свою версию трёхзначной логики, ориентированную на анализ естественного языка и научных теорий.

Основные системы трёхзначной логики

Существует несколько классических систем трёхзначной логики, различающихся интерпретацией третьего значения и таблицами истинности для логических операций (отрицание, конъюнкция, дизъюнкция, импликация).

Логика Лукасевича (L₃)

В системе Лукасевича третье значение (обозначаемое как 1/2) интерпретируется как «возможно». Операции определяются следующим образом:

• Отрицание (¬): ¬0 = 1, ¬1/2 = 1/2, ¬1 = 0.
• Конъюнкция (∧): результат равен минимуму из значений операндов (1/2 > 0, 1 > 1/2).
• Дизъюнкция (∨): результат равен максимуму из значений операндов.
• Импликация (→): определяется как (¬A ∨ B), но с учётом трёх значений: A→B = min(1, 1 - A + B) (где значения 0, 1/2, 1 переводятся в числа 0, 0.5, 1).

Особенность логики Лукасевича: закон исключённого третьего (A ∨ ¬A) не является тавтологией — при A = 1/2 получаем 1/2 ∨ 1/2 = 1/2 (не истина). Закон непротиворечия (¬(A ∧ ¬A)) также не всегда истинен.

Сильная логика Клини (K₃)

Сильная трёхзначная логика Клини (часто обозначаемая как K₃) интерпретирует третье значение как «неизвестно» или «неопределённо». Таблицы истинности:

• Отрицание: ¬0 = 1, ¬1/2 = 1/2, ¬1 = 0.
• Конъюнкция: 0 ∧ любое = 0; 1 ∧ 1 = 1; во всех остальных случаях — 1/2.
• Дизъюнкция: 1 ∨ любое = 1; 0 ∨ 0 = 0; во всех остальных случаях — 1/2.
• Импликация: A→B = (¬A ∨ B) по тем же правилам.

В K₃ закон исключённого третьего не выполняется, но закон непротиворечия (¬(A ∧ ¬A)) является тавтологией (всегда истина).

Слабая логика Клини (B₃)

Слабая трёхзначная логика Клини (B₃) отличается от сильной тем, что любая операция с участием 1/2 даёт 1/2, независимо от второго операнда. Это соответствует ситуации, когда «неизвестность» полностью блокирует вычисление.

Логика Бочвара (B)

Дмитрий Бочвар ввёл третье значение «бессмысленно» (или «парадоксально»). В его системе (обозначаемой как B) любая операция, в которой хотя бы один операнд имеет третье значение, также даёт третье значение. Это похоже на слабую логику Клини, но с иной мотивацией — устранение парадоксов в теории множеств.

Логика Приста (LP)

Логика парадокса (Logic of Paradox, LP), предложенная Грэмом Пристом (Graham Priest) в 1979 году, интерпретирует третье значение как «истинно и ложно одновременно» (парадокс). В LP конъюнкция и дизъюнкция определяются как в сильной логике Клини, но импликация трактуется иначе. LP является паранепротиворечивой логикой (не требует, чтобы из противоречия следовало всё что угодно).

Таблицы истинности (сводные)

Ниже приведены обобщённые таблицы для основных операций в системах L₃, K₃ и B₃ (значения: 0 — ложь, 1/2 — третье, 1 — истина).

Отрицание (¬)

Конъюнкция (∧)

Дизъюнкция (∨)

Свойства и критика

Трёхзначная логика сохраняет многие свойства классической логики, но отказывается от некоторых фундаментальных законов:

• Закон исключённого третьего (A ∨ ¬A) не является тавтологией ни в одной из основных систем (кроме LP, где он выполняется, но с парадоксальными значениями).
• Закон непротиворечия (¬(A ∧ ¬A)) выполняется в K₃ и B₃, но не в L₃.
• Модус поненс (A ∧ (A→B) → B) может нарушаться при определённых значениях.

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

Применение

Трёхзначная логика нашла применение в нескольких областях:

• Математическая логика и основания математики: анализ парадоксов (Рассела, лжеца), построение непротиворечивых теорий множеств.
• Теория баз данных: SQL использует трёхзначную логику для работы с NULL-значениями (неизвестно). В SQL сравнение с NULL даёт результат UNKNOWN, который обрабатывается по правилам, близким к сильной логике Клини.
• Электроника и цифровые схемы: трёхзначная логика применяется в проектировании схем с высокоимпедансным состоянием (Z-состояние) и в системах с тремя уровнями напряжения (0, 1, высокое сопротивление).
• Философия и лингвистика: моделирование нечётких и неопределённых высказываний в естественном языке, анализ модальных суждений.
• Искусственный интеллект: в системах логического вывода с неполной информацией, в экспертных системах и в семантике фреймов.

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

• В 1920-х годах Ян Лукасевич пытался построить трёхзначную логику как альтернативу классической, полагая, что она лучше отражает реальное мышление, где многие суждения не являются ни истинными, ни ложными.
• В Советском Союзе трёхзначная логика активно применялась в кибернетике для анализа релейно-контактных схем, где третье состояние (разрыв цепи) трактовалось как «неопределённость».
• В современной компьютерной науке трёхзначная логика является частным случаем многозначных логик (например, нечёткой логики Лотфи Заде, где количество значений может быть бесконечным).

Источники

1. Łukasiewicz, J. (1920). O logice trójwartościowej. Ruch Filozoficzny, 5: 170–171.
2. Kleene, S. C. (1952). Introduction to Metamathematics. Van Nostrand.
3. Bochvar, D. A. (1943). On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus. Matematicheskii Sbornik, 12(54): 353–369.
4. Priest, G. (1979). The Logic of Paradox. Journal of Philosophical Logic, 8: 219–241.
5. Зиновьев, А. А. (1959). Логика высказываний и теория умозаключений. Издательство АН СССР.
6. Rescher, N. (1969). Many-valued Logic. McGraw-Hill.