Закон тождества был им сформулирован в трактате «Метафизика»: «…иметь не одно значение – значит, не иметь ни одного значения; если же у слов нет значений, тогда утрачена всякая возможность рассуждать друг с другом, а в действительности – и с самим собой; ибо невозможно ничего мыслить, если не мыслить что-нибудь одно»19. Согласно этому закону, любая мысль (любое рассуждение) обязательно должна быть тождественна самой себе, т. е. она должна быть ясной, точной, простой, определенной. Говоря иначе, этот закон запрещает путать и подменять понятия в рассуждении (т. е. употреблять одно и то же слово в разных значениях или вкладывать одно и то же значение в разные слова), создавать двусмысленность, уклоняться от темы и т. п.
Закон непротиворечия философ сформулировал следующим образом: «два противоположных суждения не могут быть истинными в одно и то же время и в одном и том же отношении»20. Согласно этому посылу формально-логическое противоречие есть серьезная ошибка, несовместимая с логическим мышлением.
Формулировка закона «исключенного третьего» гласит: «из двух противоположных суждений, одно истинно, другое ложно, а третьего не дано». Данный закон дополняет «закон непротиворечия», но применим лишь в том случае, где при однозначности ситуации, имеется прямое отрицание одного понятия другим или косвенное отрицание дополняется достаточно обстоятельными комментариями; его назначение – устранение возникших противоречий.
В своих изысканиях Аристотель опирался на труды Демокрита, Платона, положения Сократа и других древнегреческих философов, но ему не удалось создать системы принципов мыследеятельности рассуждающего человека. Он не использовал в своих построениях понятия «логика» (от греч. logos – слово, мысль, речь, разум), он знал лишь прилагательное «логикос» («относящееся к слову»).
Подчеркнем, что Аристотель разрабатывал свою силлогистику именно как аналитику, как способ получения выводного знания на основе уже имеющегося. Употребляя слово «анализ», он понимал под ним разложение сложного на простое вплоть до далее неразложимых первоначал или аксиом. В «Риторике»21 он впервые говорит об «аналитической науке», как об универсальном методологическом инструменте познания. Но, значение трудов Аристотеля состоит не столько в описании и кодификации приемов анализа, сколько в том, что они сами стали объектом исследования, что ознаменовало собой начало формализации мыслительных процессов.
Исключительную ценность представляет его исследование