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