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

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

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

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

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

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

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

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

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

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

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

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

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

Бояться собственной смерти — значит бояться самостоятельно жить

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

Прими родившуюся субличность и давай ей рости, уделяя каждой субличности необходимое ей время