Во втором труде «Органона» Аристотеля, «Об истолковании», речь идет уже не об отдельных словах, а о сложных логических выражениях, – это не категории, а высказывания или суждения, составленные из них и выражающие истину или ложь. Высказывания классифицируются соответственно количеству (общие и частные) и качеству (утвердительные и отрицательные) на четыре вида: А – общеутвердительные («Все S суть Р»), I – частноутвердительные («Некоторые S суть Р»), Е – общеотрицательные («Ни одно S не есть Р») и О – частноотрицательные («Некоторые S не суть Р»). Отношения совместимости высказываний определяются логическим квадратом.
Далее Аристотель рассматривает модальности логических высказываний: возможность и невозможность, случайность и необходимость, также прослеживая, какие высказывания, выражающие их, совместимы, а какие нет. Взаимоотношения высказываний (суждений) определяются правилами или законами мышления: это закон тождества (А есть А, т. е. понятие должно употребляться в рассуждении в одном определенном значении); закон исключения противоречия (А не есть не-А), и закон исключённого третьего (А или не-А, т. е. или А, или не-А истинно, «третьего не дано»). Иными словами, в логическом суждении и умозаключении понятия (термины) и суждения (высказывания) не должны друг другу противоречить, истинность утвердительного суждения означает ложность его отрицания, и т. д. На этой основе строится учение о силлогизме.
Силлогизм Аристотеля
Силлогизм – «речь, в которой, если нечто предположено, то с необходимостью вытекает нечто, отличное от положенного в силу того, что положенное есть» (Арист. Первая Аналитика, I, 24b). Так, из того, что все люди смертны и Сократ человек, вытекает, что Сократ смертен. Аристотель различает три фигуры логического силлогизма (четвертая была открыта позже), каждая из которых включает 16 модусов. Совершенными Аристотель считает силлогизмы первой фигуры, из модусов которой правильны лишь четыре. Силлогизмы второй и третьей фигур «несовершенны», поскольку дают частный, а не общий вывод. Смысл силлогизма состоит в том, что в нем два крайних термина (S и Р) соединяются через посредство третьего, среднего (М), общего обеим посылкам.
«Топика» Аристотеля
Проблема «диалектического» метода поставлена Аристотелем в «Топике», – произведении, где он анализирует «топы», т. е. общие приемы логического мышления, используемые в диалоге, способствующем достижению истины. В «Топике» рассматривается свыше 300 «топов», и потому ей отводилась роль как бы склада вспомогательных средств аргументации, которые следует иметь под рукою для использования в споре. На деле же Аристотель, анализируя структуру платоновских диалогов и формулируя «топы», разрабатывает метод движения познания к истине, причем с использованием не только необходимых, но и вероятных (только правдоподобных) положений. «Топика» учит восходить от «правдоподобного» к «истинным и первым» положениям, которые «достоверны не через другие, а через самих себя». Этому и служит использование «топов» различного вида. Так, «топы, касающиеся многозначности слов», ведут к истине, если слова совместимы, к заблуждению – если они не совместимы, а именно медицину, например, можно определить и как знание о здоровье, и как знание о надлежащем образе жизни. Использование же слова «лук» одновременно в значении «овощ» и «оружие» приведет к заблуждению.
Наряду с использованием отдельных «топов», Аристотель разрабатывает и их систему, показывая, что логический диалог должен заключать в себе следующие компоненты: 1) постановку проблемы; 2) средства правильного построения умозаключения, такие как правила принятия положения, разбора значения каждого имени, нахождения различий и сходств; 3) правила построения умозаключения – индуктивного или дедуктивного; 4) стратегию задавания вопросов и 5) стратегию ответов на вопросы.
Итак, «диалектический» (диалогический) метод рассматривается Аристотелем как путь к «началам». Однако это, как и вся логика Аристотеля, есть по существу учение о доказательстве, осуществляемом посредством сведения к общим принципам или выведения из них. Откуда же берутся сами эти общие принципы отдельных наук или знания вообще? Иными словами, может ли существовать логика открытия? Нет, не может! Даже индукция (наведение – epagoge) рассматривается Аристотелем лишь как доказательство общего тезиса, исходящее из частного: это силлогизм особого рода, в котором большая посылка (общее) подтверждается, исходя из малой (малых). Так, если в силлогизме собственно доказывается, что Сократ смертен на основе того, что смертен человек вообще, то в индукции смертность человека (людей) выводится из смертности Сократа, Платона, Калликла и т. д. Но ведь подлинного вывода здесь нет – мы не можем перечислить всех людей и зафиксировать, что все они смертны, ибо для этого надо зафиксировать и нашу собственную смерть... Поэтому перед нами только подтверждение общего тезиса. Лишь индукция через простое перечисление, когда фиксируется, что все предметы данного вида обладают некоторым свойством и каждый из них им обладает, дает достоверное общее знание.
А следовательно, отыскание общих начал – дело не логики, а «первой философии» (метафизики). Оно состоит в усмотрении умом, в умозрительном постижении сущности вещей, их «формы» и «сути бытия».
Логика Аристотеля завершается анализом логических ошибок, сознательно или бессознательно совершаемых людьми. В своем последнем логическом трактате «О софистических опровержениях», который иногда рассматривается как последняя (девятая) книга «Топики», он показывает, что все логические ошибки суть не что иное, как погрешности в силлогизме. Они, в свою очередь, разделяются на языковые ошибки и ошибки внеязыковые.