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

1 минута чтения

Если контент не отображается, включите VPN.

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

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

Одно высказывание про четырехзначную логику Белнапа

Как пример — четырехзначная логика:

Т — “говорит только Истину”;

F — “говорит только Ложь”;

None — “Не говорит ни Истины, ни Лжи”;

Both -“говорит и Истину, и Ложь”’. 

Приглашаю к общению в комментариях!

0 комментариев
Межтекстовые Отзывы
Посмотреть все комментарии
Предыдущая статья

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

Следующая статья

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