Это означает, что есть разные виды противоречия. Выше были различены собственно противоречие и его смягченная форма — противоположность. То и другое— два вида противолежащего. Позднее это стали называть контрадикторным и контрарным противоречиями.

Категории. Спорным является вопрос о принадлежности Аристотелю «Категорий» (в которых нет ссылок на другие его работы). Кроме того, в отличие от «Метафизики» первостепенное понятие первичной сущности в «Категориях» трактуется как отдельное, единичное, в то время как вид наряду с родом — «вторичные сущности» (чего в «Метафизике» вообще нет). В «Категориях» говорится, что, «если бы не существовало первых сущностей, не могло бы существовать и ничего другого», что «первые сущности, ввиду того, что они подлежащие для всего другого, называются сущностями в самом основном смысле» (там же, 56; 57). Быть подлежащим— значит ни о чем не сказываться, никогда нигде не быть предикатом суждения, а быть всегда его субъектом. Виды и роды как вторичные сущности — предикаты указывают «качество сущности» (там же, 59), так что они смыкаются с категорией качества. Поскольку слово «категория» означает предикат, то первичные сущности не являются и категориями, тем не менее каждая из них — первая среди категорий. Первичная сущность может принимать противоречивые качества, хотя и не сразу. Молодой человек постепенно становится старым.

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

Существует мнение, что различия между категориями, сам их состав Аристотель вывел из грамматических различий. В самом деле:

сущность — существительное (например, человек),

количество — числительное (один, несколько),

качество — прилагательное (старый, малый),

отношение — степени сравнения (раньше всех, выше других),

место — наречие места (на улице, под горой),

время — наречие времени (сегодня, позавчера),

положение — непереходный глагол (стоит, висит).

обладание — греческий перфект страдательного залога (разут),

страдание — глагол страдательного залога (гонят, избивают).

Впрочем, здесь, возможно, натяжка. Ведь у Аристотеля различены лишь имя существительное и глагол, о других частях речи он нигде не говорит. Кроме того, в категориях разделено то, что соединено грамматикой, и наоборот. Качества и количество выражаются не только прилагательными и числительными, но и существительными, которые в этой категориально-грамматической таблице должны выражать только категорию сущности, точнее говоря, то, что может быть подведено под категорию сущности.

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

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

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

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