Давно думаю, что бинарная логика где-то может давать сбой, когда на вход поступает несколько независимых источников с угрозой противоречивости информации. Нужна паранепротиворечивая логика.
Поэтому классическая, интуиционистская, конструктивная и ряд других логик не годятся в качестве логик, которые могут быть основанием противоречивых, но нетривиальных теорий. Положительные логики также для этого не годятся, ибо в них нет операции отрицания. Некоторое современные логики (например, немецкий логик К. Вессель) не признают паранепротиворечивых логик. Построением паранепротиворечивых логических систем занимаются, однако, отечественные логики А. С. Карпенко, А. Т. Ишмурагов и др.
Одно высказывание про четырехзначную логику Белнапа
Как пример — четырехзначная логика:
Т — “говорит только Истину”;
F — “говорит только Ложь”;
None — “Не говорит ни Истины, ни Лжи”;
Both -“говорит и Истину, и Ложь”’.
