Я имею ввиду, что чисто логически, если у нас (A | -A) - это ни к каким ужасным вещам не приводит, ну становится логика классической, да, но существования Зевса с Кришной отсюда не получается, да и расходиться это тоже далеко не причина. Тут дело именно в патологии модели (утверждения - типы, выводимость - населенность), или с моделью тоже все хорошо, а под Кришной и абсурдом подразумевается именно тот факт что логика стала классической? Или под абсурдом подразумевается выраженное в модели несоответствие логики интуитивным принципам рассуждений?
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2013-04-26 09:53 pm (UTC)