fbpx

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

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

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

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

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

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

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

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

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

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

Добавить комментарий

Предыдущая статья

Почтение к герою формируется в момент раздачи обретенных им сокровищ людям

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

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