Аристотель

Итак, фигура силлогизма определяется местом среднего термина. Модусы же определяются характером посылок, которые могут быть общеутвердительными, общеотрицательными, частноутвердительными и частноотрицательными. Перебрав все варианты, философ установил, что вывод получается только в четырех случаях: когда сочетаются общеутвердительная посылка с общеутвердительной, общеотрицательная с общеутвердительной, общеутвердительная с частноутвердительной и общеотрицательная с частноутвердительной, т. е. одна из посылок должна быть общей и одна из посылок— утвердительной. Из двух частных посылок ничего не следует (например, ничего не следует из суждений «некоторые люди — блондины» и «некоторые люди — спортсмены»). Также ничего не следует из двух отрицательных посылок («некоторые люди — не блондины» и «некоторые люди — не спортсмены»). Перебрав все варианты, Аристотель открыл в трех фигурах силлогизма 16 работающих модусов.

Доказательство. Доказать что-либо — значит связать необходимой логической связью то, что связано в самой действительности. Для этого надо, чтобы и посылки были истинны, и связь через средний термин логически правильной. Но кроме того, связь субъекта и предиката должна быть необходимой, т. е. выражать не случайные, а существенные и постоянные объективные связи. Аристотель, как мы видели, не считал, что все либо истинно, либо, напротив, ложно. Одно истинно, а другое ложно. При этом истина и ложность не заключены в самой действительности, «истинное и ложное есть сочетание мыслей» (35, /, 440), однако это сочетание в одном случае истинно, а в другом ложно, в первом случае оно соответствует отношению вещей, а во втором нет. Таким образом, Аристотель выдвинул материалистическое определение истинности и ложности суждений: «Прав тот, кто считает разделенное — разделенным и соединенное— соединенным, а в заблуждении тот, мнение которого противоположно действительным обстоятельствам» (22, 162). Если говорят, что Иванов — студент, тогда как этот именно Иванов еще ходит в детский сад, то говорят ложно, высказывают ложное суждение. Это не значит, что лгут, ибо ложность состоит в несоответствии мыслей вещам, а ложь — в несоответствии слов мыслям. В ложных суждениях проявляется относительное небытие, ибо они связывают то, что объективно не связано, и мы как бы попадаем в другой мир — мир, противоположный действительному, в мир небытия. Таков третий смысл относительного существования небытия у Аристотеля. Небытие в логическом смысле— логическое и смысловое заблуждение. Оно возможно потому, что небытие существует, но не в прямом, а в косвенном смысле, как мир ошибочных суждений и умозаключений.

Аристотель различает три вида доказательств и соответственно три вида учения о доказательствах: аподейктику, диалектику и эристику (софистику). Эристические умозаключения (доказательства) мнимы, это софизмы, которыми обмениваются спорящие стороны, каждая из которых стремится не к истине, а к выгоде. До Аристотеля этот вид «доказательств» использовали платные учителя риторики и эристики (красноречия и искусства спора) — софисты, многие из которых были и философами, пытающимися обосновать свой логический и моральный релятивизм (истина относительна, и, как кому кажется или как кому выгодно, так оно и есть) в трактовке мира, в котором, по их мнению, все относительно, неустойчиво и субъективно; одному ветер тепел, другому холоден, а поэтому мы не можем знать, каков ветер сам по себе.

Термин же «диалектика» Аристотель употреблял не в нашем смысле слова. Диалектика у него — не учение о единстве и борьбе противоположностей, не учение о противоречии как движущей силе. У Аристотеля диалектика частично совпадает с логикой, ибо это — доказательство, но лишь такое, которое исходит из вероятностных, правдоподобных посылок, в которых субъект И предикат связаны не необходимыми, а возможными связями. Называние такого доказательства диалектикой объясняется исторически: диалектикой называл свою философию Платон, но, по мнению Аристотеля, философия Платона лишь правдоподобна. Поэтому Стагирит отказывал диалектике в научности. Диалектике противоположна аподейктика, которая дает строгое знание, вытекающее с необходимостью из общих посылок (дедукция). Но Аристотель так и не смог научно объяснить происхождение этих общих посылок.