Логика. Логическое учение Аристотеля ныне рассматривается с точки зрения современной логистики. Однако важно показать, как логика Аристотеля связана с его метафизикой, ибо это многое проясняет как в метафизике, так и в логике Стагирита. Выше мы уже видели, что основной закон бытия, согласно которому одно и то же не может одновременно в одном и том же смысле существовать и не существовать, обладать и не обладать одним и тем же свойством, есть также и закон мышления. Вместе с тем в логике Аристотеля кое-что останется непонятным, если не выйти за ее пределы и не обратиться к гносеологии философа и связанной с ней метафизике. В конце «Второй аналитики» сказано, что якобы «ясно, что первые [начала] нам необходимо познать через наведение (т. е. через индукцию, через движение мысли от частного к общему, от чувственного восприятия к понятию и суждению, — это линия эмпиризма. — А. Ч.), ибо таким именно образом восприятие порождает общее» (35, 2, 346), и тут же говорится, что «началом науки будет нус», т. е. разум. Здесь возникает проблема неполной индукции. Обычно считается, что Аристотель признавал лишь полную индукцию, между тем именно проблема неполной индукции у Аристотеля дает ключ к его гносеологии, да и сама она получает объяснение лишь в системе гносеологии и даже всей метафизики мыслителя. Активность разума состоит прежде всего в том, что он совершает акт неполной индукции: на основе отнюдь не всех, а только нескольких случаев — и даже одного! — происходит скачок от частного к общему. Случаи — это представления души, скачок — деятельность активного разума, актуализирующего в пассивном интеллекте те формы бытия, на которые указывают единичные представления. Процитируем еще раз замечательное место из сочинения «О душе»: «…существо, не имеющее ощущений, ничему не научится и ничего не поймет. Когда созерцают умом, необходимо, чтобы в то же время созерцали в представлениях» (35, 7, 440). Это объяснимо лишь в связи с логическим учением Аристотеля о неполной индукции, а сама неполная индукция, обычно третируемая при рассмотрении логики Аристотеля, приобретает в свете его метафизики и гносеологии важнейшее принципиальное значение.
Логика Стагирита — органическая части его системно-рационализированного, философского мировоззрения. Она помогает понять даже его теологию. Бог Аристотеля — идеальный логик, это мышление о мышлении.
Роль Аристотеля в логике. Аристотель — отец логики как систематизированной науки о мышлении и его законах. Он опирался на Демокрита, Платона и других древнегреческих философов, но никто из них не создал науки о мыслительной деятельности рассуждающего человека. Правда, слово «логика» (как существительное) было еще неизвестно философу, он знал лишь прилагательное «логикос» (относящееся к слову). Он называл также нелогичные высказывания «алога», Слово «логика» (как существительное) появилось лишь в эллинистическо-римские времена. Сам же Аристотель называл СВОЮ науку о мышлении аналитикой, и его главные логические работы называются «Первая аналитика» и «Вторая аналитика». В «Метафизике» аналитикой названо рассуждение (см. 22, 62). Мыслитель также употреблял слово «анализ», понимая под этим разложение сложного на простое вплоть до далее неразложимых первоначал, или аксиом. В «Риторике» философ говорит об «аналитической науке».
Но необходимо подчеркнуть, что логика для Аристотеля — не самостоятельная наука, а инструмент наук. Это и дало основание поздним комментаторам Аристотеля назвать совокупность его логических работ «Органоном», т. е. орудием — орудием всякого знания. Напомним, что «Органон» включает в себя шесть работ — «Категории», «Об истолковании», «Первая аналитика», «Вторая аналитика», «Топика», «О софистических опровержениях». Главными составными частями «Органона» являются «Первая аналитика», где открывается и исследуется силлогистическая форма рассуждения и вывода, и «Вторая аналитика», где говорится о доказательстве и его началах. Особое и весьма важное место занимает также «Топика». В качестве логика Аристотель формулирует основные законы мышления, указывает, что есть истина и что есть ложь, дает определение суждения я устанавливает виды суждений, определяет силлогизм, умозаключение, а также три фигуры силлогизма и шестнадцать их модусов, исследует три вида доказательства, описывает типичные ошибки при доказательствах, как невольные (паралогизмы), так и намеренные (софизмы). Он исследует также индукцию и аналогию.
Законы мышления. Из четырех законов мышления традиционной логики Аристотель установил по крайней мере два — закон запрещения противоречия и закон исключенного третьего. Законы же тождества и достаточного основания у Аристотеля намечены — в учении о научном знании как знании доказательном (закон достаточного основания) и в тезисе, согласно которому «невозможно ничего мыслить, если не мыслить [каждый раз] что-нибудь одно» (22, 64.— закон тождества).
Об онтологическом аспекте закона запрещения противоречия говорилось выше. Напомним, что в краткой, экзистенциальной, форме этот закон звучит как «вместе существовать и не существовать нельзя» или: «не может одно и то же в то же самое время быть и не быть», а в полной — как утверждение: ^невозможно, чтобы одно и то же вместе, [совместно, одновременно], было и не было присуще одному и тому же в одном и том же смысле» (там же, 63; 187). В «Метафизике» сформулирован и логический аспект закона запрещения противоречия: «нельзя говорить верно, вместе утверждая и отрицая что-нибудь» (там же). Этот закон анализируется в логических работах Аристотеля. Его, по мнению философа, прямо обосновать нельзя, однако можно опровергнуть противоположный взгляд, показав его нелепость. В сущности всякий, кто оспаривает закон запрещения противоречия, им пользуется. Кроме того, если не признавать этого закона, все станет неразличимым единством. Обоснованию закона запрещения противоречия служат и вышеотмеченные соображения Аристотеля против скептика, который, утверждая, что все истинно или что все ложно (что оказывается нелепо практически), может это делать, лишь отвергая закон запрещения противоречия (что нелепо логически).
Говоря об этом основном законе мышления, Аристотель учитывает крайности, в которые впадали те, кто подходил к его открытию. Например, киник Антисфен считал, что надо говорить «человек есть человек», но нельзя сказать, что «человек есть живое существо», или «белый», или «образованный», потому что это означало бы некое «нарушение». Утверждая, что «человек есть образованный», мы утверждаем, что «а есть не-а», ибо «образованный» — это не то, что «человек». Казалось бы, закон запрещения противоречия подтверждает это. Получается, что утверждение «человек есть образованный» означает, что человек есть одновременно и а (человек), и не-а (образованный). Но «образованный» не противостоит «человеку», т. е. не есть «не-а». Запрещается утверждать, что а одновременно есть b и не-b, т. е. с самого начала предполагается, что речь идет о принадлежности субъекту отличного от него предиката, что речь идет о противоположных предикатах, а не о различии субъекта и предиката, которое можно софистически выдать за противоположность (как это получается у киника). Мнение Антисфена справедливо лишь в том случае, когда в предикате утверждается или отрицается именно то, что отрицается или утверждается в субъекте: небытие (не-сущее) существует (есть сущее).
Сформулированный Стагиритом закон запрещения противоречия вызвал споры. Гегель критиковал Аристотеля, утверждая, что этот закон запрещает в действительности становление, изменение, развитие, что он метафизичен. Но возражение свидетельствует О непонимании Гегелем сути данного закона. У Аристотеля закон запрещения противоречия абсолютен, но он действует только в сфере актуального бытия, но не в сфере возможного. Поэтому и становление, по Аристотелю, существует как реализация одной из возможностей, которая, будучи реализованной, актуализированной, исключает другие возможности, но только в действительности, а не в возможности. Если актуализированная возможность снова станет просто возможностью, ее сменит другая актуализированная возможность. У Аристотеля можно найти и другие принципиальные ограничения сферы действия закона противоречия. Так, его действие не распространяется на будущее, ибо последнее связано все с той же сферой возможности (поскольку чревато многими возможностями). Настоящее же бедно (поскольку актуализируется нечто одно), но оно потенциально богато. Прошлое же бедно в своей актуальности, исключающей потенциальность, ибо в прошлом нет уже никаких возможностей, кроме реализованной, происшедшей, не поддающейся изменению. В свете сказанного понятно замечание Энгельса, что «Аристотель… уже исследовал существеннейшие формы диалектического мышления» (1, 20, 19). Закон исключенного третьего идет дальше закона запрещения противоречия, утверждая, что в отношении одного и того же истинность Ь означает ложность не-b и наоборот: «Не может быть ничего посредине между двумя противоречащими [друг другу] суждениями, но об одном [субъекте] всякий отдельный предикат необходимо либо утверждать, либо отрицать» (22, 75). Во «Второй аналитике» сказано, что «о чем бы то ни было истинно или утверждение, или отрицание» (35, 2, 257). Действие этих законов таково, что закон запрещения противоречия необязательно влечет за собой закон исключенного третьего, но закон исключенного третьего предполагает действие закона запрещения противоречия.
Это означает, что есть разные виды противоречия. Выше были различены собственно противоречие и его смягченная форма — противоположность. То и другое— два вида противолежащего. Позднее это стали называть контрадикторным и контрарным противоречиями.
Категории. Спорным является вопрос о принадлежности Аристотелю «Категорий» (в которых нет ссылок на другие его работы). Кроме того, в отличие от «Метафизики» первостепенное понятие первичной сущности в «Категориях» трактуется как отдельное, единичное, в то время как вид наряду с родом — «вторичные сущности» (чего в «Метафизике» вообще нет). В «Категориях» говорится, что, «если бы не существовало первых сущностей, не могло бы существовать и ничего другого», что «первые сущности, ввиду того, что они подлежащие для всего другого, называются сущностями в самом основном смысле» (там же, 56; 57). Быть подлежащим— значит ни о чем не сказываться, никогда нигде не быть предикатом суждения, а быть всегда его субъектом. Виды и роды как вторичные сущности — предикаты указывают «качество сущности» (там же, 59), так что они смыкаются с категорией качества. Поскольку слово «категория» означает предикат, то первичные сущности не являются и категориями, тем не менее каждая из них — первая среди категорий. Первичная сущность может принимать противоречивые качества, хотя и не сразу. Молодой человек постепенно становится старым.
Другие категории. Итак, категории — наиболее общие роды высказываний, точнее говоря, имен. Любое слово, взятое обособленно, вне связи с другими словами (т. е. «человек», «бежит», но не «человек бежит»), означает «или «сущность», или «сколько», или «какое», или «по отношению к чему-то», или «где», или «когда», или «находиться в каком-то положении», или «обладать», или «действовать», или «претерпевать»» (там же, 55). Столь полный перечень категорий встречается еще в «Топике». В других сочинениях, связываемых с именем Аристотеля, категорий меньше. Во «Второй аналитике» их только восемь (нет «положения» и «претерпевания»), а в «Метафизике» шесть: сущность, качество, количество, отношение, действие и страдание. Так или иначе все категории, кроме первой, сказываются о первичной сущности, в силу чего все подпадает под ту или другую из девяти категорий и находится в подлежащем, каковым является первичная сущность, которая, строго говоря, и не должна быть категорией, ибо категории — предикаты, а первая сущность всегда субъект.
Существует мнение, что различия между категориями, сам их состав Аристотель вывел из грамматических различий. В самом деле:
сущность — существительное (например, человек),
количество — числительное (один, несколько),
качество — прилагательное (старый, малый),
отношение — степени сравнения (раньше всех, выше других),
место — наречие места (на улице, под горой),
время — наречие времени (сегодня, позавчера),
положение — непереходный глагол (стоит, висит).
обладание — греческий перфект страдательного залога (разут),
страдание — глагол страдательного залога (гонят, избивают).
Впрочем, здесь, возможно, натяжка. Ведь у Аристотеля различены лишь имя существительное и глагол, о других частях речи он нигде не говорит. Кроме того, в категориях разделено то, что соединено грамматикой, и наоборот. Качества и количество выражаются не только прилагательными и числительными, но и существительными, которые в этой категориально-грамматической таблице должны выражать только категорию сущности, точнее говоря, то, что может быть подведено под категорию сущности.
Силлогизм. Силлогизм — открытие Аристотеля. Он дал определение силлогизму и различил его виды (модусы), определил работающие и неработающие модусы, установил три фигуры силлогизма. В «Первой аналитике», где как раз и излагается аристотелевская теория силлогизма, сказано, что «силлогизм есть речь, в которой если нечто предположено, то с необходимостью вытекает нечто отличное от положенного в силу того, что положенное есть» (там же, 120). Аристотелевский силлогизм состоит из трех суждений, два из них — посылки, а третье — заключение (в индийском силлогизме пять суждений). Посылки выражены у Аристотеля не в привычной для нас («В есть А») форме: «А присуще В», т. е. Аристотель ставит предикат суждения (сказуемое) на первое место. Посылки связаны общим для них (средним) термином. В роли такового могут выступать предикат одной посылки и субъект другой, предикаты обеих посылок, субъекты обеих посылок. В зависимости от этого различаются фигуры силлогизма. Самая ценная из них в познавательном отношении и самая совершенная — первая. Там с логической необходимостью из посылок следует заключение: «Если А сказывается о всяком В и В сказывается о всяком С, то А с необходимостью сказывается о всяком С». Силлогизмы третьей и второй фигур несовершенны, ибо необходимы дополнительные операции — сведение к первой фигуре, — дабы достичь логической необходимости следования. В первой фигуре (при утвердительных посылках) средний термин выражает причину: все млекопитающие — теплокровны, лошади — млекопитающие, лошади — теплокровны (потому что они млекопитающие). В других фигурах силлогизма такой ясной онтологической картины нет. В этом понятии о совершенном и несовершенном силлогизме сказался онтологический характер аристотелевской логики, ее недостаточный формализм.
Итак, фигура силлогизма определяется местом среднего термина. Модусы же определяются характером посылок, которые могут быть общеутвердительными, общеотрицательными, частноутвердительными и частноотрицательными. Перебрав все варианты, философ установил, что вывод получается только в четырех случаях: когда сочетаются общеутвердительная посылка с общеутвердительной, общеотрицательная с общеутвердительной, общеутвердительная с частноутвердительной и общеотрицательная с частноутвердительной, т. е. одна из посылок должна быть общей и одна из посылок— утвердительной. Из двух частных посылок ничего не следует (например, ничего не следует из суждений «некоторые люди — блондины» и «некоторые люди — спортсмены»). Также ничего не следует из двух отрицательных посылок («некоторые люди — не блондины» и «некоторые люди — не спортсмены»). Перебрав все варианты, Аристотель открыл в трех фигурах силлогизма 16 работающих модусов.
Доказательство. Доказать что-либо — значит связать необходимой логической связью то, что связано в самой действительности. Для этого надо, чтобы и посылки были истинны, и связь через средний термин логически правильной. Но кроме того, связь субъекта и предиката должна быть необходимой, т. е. выражать не случайные, а существенные и постоянные объективные связи. Аристотель, как мы видели, не считал, что все либо истинно, либо, напротив, ложно. Одно истинно, а другое ложно. При этом истина и ложность не заключены в самой действительности, «истинное и ложное есть сочетание мыслей» (35, /, 440), однако это сочетание в одном случае истинно, а в другом ложно, в первом случае оно соответствует отношению вещей, а во втором нет. Таким образом, Аристотель выдвинул материалистическое определение истинности и ложности суждений: «Прав тот, кто считает разделенное — разделенным и соединенное— соединенным, а в заблуждении тот, мнение которого противоположно действительным обстоятельствам» (22, 162). Если говорят, что Иванов — студент, тогда как этот именно Иванов еще ходит в детский сад, то говорят ложно, высказывают ложное суждение. Это не значит, что лгут, ибо ложность состоит в несоответствии мыслей вещам, а ложь — в несоответствии слов мыслям. В ложных суждениях проявляется относительное небытие, ибо они связывают то, что объективно не связано, и мы как бы попадаем в другой мир — мир, противоположный действительному, в мир небытия. Таков третий смысл относительного существования небытия у Аристотеля. Небытие в логическом смысле— логическое и смысловое заблуждение. Оно возможно потому, что небытие существует, но не в прямом, а в косвенном смысле, как мир ошибочных суждений и умозаключений.
Аристотель различает три вида доказательств и соответственно три вида учения о доказательствах: аподейктику, диалектику и эристику (софистику). Эристические умозаключения (доказательства) мнимы, это софизмы, которыми обмениваются спорящие стороны, каждая из которых стремится не к истине, а к выгоде. До Аристотеля этот вид «доказательств» использовали платные учителя риторики и эристики (красноречия и искусства спора) — софисты, многие из которых были и философами, пытающимися обосновать свой логический и моральный релятивизм (истина относительна, и, как кому кажется или как кому выгодно, так оно и есть) в трактовке мира, в котором, по их мнению, все относительно, неустойчиво и субъективно; одному ветер тепел, другому холоден, а поэтому мы не можем знать, каков ветер сам по себе.