- -- Те граждане, которые мыслят логически непротиворечиво, мыслят в соответствии с правилами традиционной логики. Логический квадрат Аристотеля я рисовал уже не один раз, но нарисую еще.
- -- Понятийный аппарат мыслителя складывается из понятий полученных посредством описания. И ни о каком последовательном развертывании речь не идет уже две с половиной тысячи лет. Платон был последним последовательным сторонником навести в понятийном аппарате хоть какой то порядок. Каждый толковый словарь любого известного нам языка имеет номинал и дифиницию. Возьмем пример из Ожегова.
- --
Логика Аристотеля намертво привязана к Субъекту. Субъект является стержнем на который нанизываются все новые и новые свойства. Свойства либо утверждаются, либо отрицаются, а субъект не имеет возможности отрицания. И сама привязка традиционной логики к субъекту задает границы мышления которому нас обучают в различных образовательных учреждениях. Мы ограничены рамками позитивизма, именно потому что обучены мыслить по Аристотелевски. И это лучшие представители. Мыслительный процесс обывателя, вообще не имеет каких либо правил. Обыватели пытаются привить друг другу свою собственную шизу в принципе не опираясь на правила логики мышления. Лучше чем Беклемишев я на тему женской логики сказать не смогу. Снимаю перед ним шляпу и говорю респект и уважение.
- -- Ряд последовательно развертываемых понятий в границах традиционной логики невозможен. Традиционная логика ориентирована на привязку свойств к субъекту и не способна более ни на что. Этот вынужденный позитивизм следствие ограниченности логики Аристотеля. Мы не имеем возможности определить эквивалентность либо не связанность понятий между собой. Тем более выявить родовую либо видовую связь.
- -- Различия логики эквивалентности и логики Аристотеля в пределах логической звезды массива матлогики лучше всего понять, посмотрев картинку. Желтым цветом показан квадрат Аристотеля, а красным квадрат логики эквивалентности. Логика эквивалентности является суммой логики импликаций и логики репликаций.
- -- Свойства квадрата логики эквивалентности. Граница истинности определяет связь между понятиями. Истинность верхней части говорит о том, что понятия эквивалентны. Истинность нижней части говорит о том, что понятия не связанны между собой. Истинность левой части говорит о видовой связи, а правой о родовой.
- -- Не все кто несет яйца и вылупляется из них являются курами. Каждый ребенок об этом знает. Сборная чтойность "курица" является видовым понятием по отношению к свойству "откладывать яйца". Откуда же тогда берутся комментарии с которого я начал?
- -- Остается ответить на вопрос зачем я так развернуто ответил на софизм из комментария, и кому в принципе могут понадобиться эти круги и квадраты. Во первых думать никогда не вредно. Мозги шевелятся. Во вторых это наглядный пример того, что тривиальные выводы доступны не каждому. А нужны эти круги и квадраты программистам которые рано или поздно заставят электронные переводчики разговаривать понятным языком.