Многозначная логика: что означают дополнительные значения истинности

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

Зачем вводить дополнительные значения

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

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

Как работает пример с третьим значением

Рассмотрим учебную модель сильной трёхзначной логики Клини. Обозначим «истинно» через 1, «ложно» через 0, дополнительное значение через U. В этой конкретной системе отрицание меняет 1 на 0 и 0 на 1, но оставляет U как U. При конъюнкции («и») ложное высказывание делает всё соединение ложным, даже если другая часть имеет значение U.

Пусть p получает U, а q — 0. Тогда p и q получает 0: в этой системе для ложности конъюнкции достаточно ложности одной части. Если обе части имеют значения 1 и U, результат будет U. Это не универсальное правило для всякой многозначной логики, а конкретный пример правил Клини.

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

Исторический контекст и границы термина

В развитии многозначной логики заметную роль сыграли Ян Лукасевич и Эмиль Пост, предложившие формальные системы в начале XX века. Их подходы не сводились к одной психологической идее о сомнении. Многозначность стала предметом математического исследования, в том числе для логики высказываний и анализа следования.

Многозначная логика не равна нечёткой логике: у нечётких систем свои способы задания степеней истинности, и соотношение двух семейств требует уточнений. Она также не равна теории вероятностей. Число 0,5 как логическое значение не обязано означать, что событие случится с вероятностью пятьдесят процентов. Наконец, признание дополнительных значений само по себе не означает, что «любые противоречия допустимы».

Проверьте понимание

В описанной выше системе Клини чему равно высказывание «p и q», если p истинно, а q имеет значение U? Ответ: U. Истинная часть не устраняет неопределённость второй; при этом другой набор таблиц мог бы потребовать иного расчёта.

Главное: многозначная логика — это строго заданное семейство формальных систем, а не утверждение, будто истина субъективна или что всякая нерешённость имеет одно и то же значение.

Проверенный источник

Stanford Encyclopedia of Philosophy: Many-Valued Logic — основания многозначности, исторические системы, семантика и примеры трёхзначных таблиц.