Я имею ввиду, что чисто логически, если у нас (A | -A) - это ни к каким ужасным вещам не приводит, ну становится логика классической, да, но существования Зевса с Кришной отсюда не получается, да и расходиться это тоже далеко не причина. Тут дело именно в патологии модели (утверждения - типы, выводимость - населенность), или с моделью тоже все хорошо, а под Кришной и абсурдом подразумевается именно тот факт что логика стала классической? Или под абсурдом подразумевается выраженное в модели несоответствие логики интуитивным принципам рассуждений?