Бинарная логика может давать сбой

16 мая, 2020
1 минута чтения

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

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

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

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

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

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

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

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

Денис Сергеевич Басковский

Философ, изобретатель и поэт.

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

Бояться собственной смерти

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

Субличности формируются у людей в разное время