Один из величайших ученых древности Аристотель родился в 384 г. до н. э. в городе Стагире (отсюда прозвище «Стагирит»). В своих сочинениях Аристотель с удивительной широтой и глубиной охватил все отрасли современного ему философского и научного знания (пожалуй, за исключением математики). Он творчески разрабатывал философию, логику, физику, астрономию, биологические науки, психологию, этику, эстетику, риторику, общественные науки.
      В течение 20 лет Аристотель был учеником в школе Платона. Позднее, через 12 лет после смерти Платона, Аристотель основал в Афинах свою собственную философскую школу (перипатетическую, или Ликей). Умер Аристотель в 322 г. до н. э.
      В философии Аристотеля перекрещиваются материализм и идеализм, линии Демокрита и Платона, опытное эмпирическое направление научного исследования Демокрита и умозрительно-дедуктивное Платона.
      По некоторым свидетельствам, общее число написанных Аристотелем сочинений приближается к тысяче. Логические сочинения Аристотеля позже были объединены под общим названием «Органон». Сюда вошли:
      1. «Категории» – сочинение, которое не всеми исследователями признается подлинным ввиду близости развиваемого там учения взглядам, выраженным Платоном в диалоге «Тимей».
      В этом сочинении позднейшими вставками являются главы 10–15, где излагается учение о постпредикаментах; К. Прантль сочинение «Категории» считал подложным;
      2. «Об истолковании» – сочинение, вероятно, не принадлежащее самому Аристотелю или по крайней мере подвергшееся искажению и позднейшим вставкам;
      3. «Аналитики первая и вторая» – основное классическое произведение Аристотеля по логике, из которых первая излагает силлогистику Аристотеля, а вторая – учение о доказательстве. Эти два сочинения, бесспорно, принадлежат самому Аристотелю;
      4. «Топика», содержащая учение о вероятных («диалектических») доказательствах (в ней не принадлежит Аристотелю лишь пятая книга);
      5. «О софистических опровержениях» – сочинение, которое иногда считается последней (девятой) книгой «Топики», иногда же принимается за самостоятельное сочинение.
      Глубокая характеристика логики Аристотеля дана В. И. Лениным: «У Аристотеля везде объективная логика смешивается с субъективной и так притом, что везде видна объективная. Нет сомнения в объективности познания. Наивная вера в силу разума, в силу, мощь, объективную истинность познания. И наивная запутанность, беспомощно-жалкая запутанность в диалектике общего и отдельного – понятия и чувственно воспринимаемой реальности отдельного предмета, вещи, явления» .

      Логика Аристотеля отнюдь не является той формальной логикой, которая замыкается в рамках изучения формальной правильности мышления безотносительно к его истинности. Для Аристотеля истина есть соответствие мыслимого с действительным в отличие от того формальнологического понимания истинности, согласно которому истинность принадлежит всецело сфере самого мышления и не имеет никакого отношения к подлинной действительности. По Аристотелю, логические законы суть первоначально законы бытия и логические формы совпадают с формами самого бытия: формы истинного мышления являются отображением реальных отношений. Основным критерием истины у Аристотеля служит материальный критерий: согласие мыс: ли с самими вещами.
      По учению Аристотеля, истинно то суждение, в котором понятия соединены между собой так, как связаны между собой соответствующие им вещи в природе. Ложно то суждение, которое соединяет то, что разъединено в природе, или разъединяет то, что соединено в ней. На этой концепции истины основана аристотелевская логика.
      На тесную связь логики Аристотеля с его метафизикой указал Тренделенбург, который видел в логических формах Аристотеля не что иное, как выражение онтологических законов и отношений. Вследствие этого Тренделенбург оспаривал у формальной логики право называться аристотелевской и считал формальное направление, которое стало развиваться в логике со времени стоиков, решительным уклонением от Аристотеля.
      Тот же взгляд на логику Аристотеля высказывается в «Истории логики» Прантля, который первые зачатки формальной логики усматривает у первых перипатетиков: Теофраста и Евдема. Взгляд Тренделенбурга разделяют Бониц, Ибервег, Целлер и др., а из русских историков логики Е. А. Бобров, который говорит, что логика Аристотеля настолько тесно связана с его метафизикой, что без последней не может быть верно понята.
      По мнению Е. А. Боброва, формальная логика есть незаконное детище аристотелевской логики. «Отказавшись от метафизической основы логики Стагирита, представители формальной логики не создали, однако, своей новой, особенной логики, но воспользовались готовым строением аристотелевской логики, давая ей ложное толкование и делая неподходящие надстройки» , – так характеризует Е. А. Бобров отношение между формальной логикой и логикой Аристотеля. Согласно его оценке формальной логики, в последней «не может быть и речи о каком-либо дополнении или расширении логики Аристотеля; есть только изменение понимания ее духа, или, вернее, есть утрата и извращение ее живого и общефилософского, метафизического основания» .
      Не отрицая связи между логическими формами и метафизическими принципами у Аристотеля, Г. Майер не соглашается с мнением названных выше ученых, что Аристотель вывел свою логическую теорию (и специально силлогистику) из своего общефилософского учения или по меньшей мере на нем основал. По мнению Г. Майера, Аристотель уже имел идею формальной логики и заложил основы науки о формах мышления.
      Считая, что идея формальной логики восходит к Аристотелю, Г. Майер признает не вполне верным данный Прантлем очерк развития логики на первой стадии ее истории; он полагает, что у Прантля дано неправильное освещение вопроса об отношении аристотелевской логической теории к учениям логиков из перипатетической и стоической школ.
      Вопросы о характере логики Аристотеля, вызвавшие оживленные споры среди историков логики, по нашему мнению, решаются следующим образом. Корни формальной логики лежат в логике Аристотеля. По замыслу и по своей идее логика Аристотеля составляет прямую противоположность чисто формальной
      В дальнейшем при изложении аристотелевского учения о законах мышления мы будем использовать результаты этого исследования логике: она принимает два критерия истины: материальный (согласие мыслей с вещами) и формальный (согласие мыслей между собой), причем господствующим критерием в ней является материальный. Однако в процессе развития логического учения Аристотеля – в его силлогистике – формальный критерий приобретает известную самостоятельность и заслоняет собой критерий материальный. И таким образом логика Аристотеля, исходя из неформальных предпосылок, в процессе своего развития превращается в систему формальнологических приемов.
      В конечном итоге логика Аристотеля представляет собой нечто среднее между логикой чисто формальной и метафизической, а равным образом и между логикой метафизической и диалектической (ввиду отмеченного В. И. Лениным колебания Аристотеля между диалектикой и метафизикой).
      Именно этой позицией Аристотеля, колеблющегося между диалектикой, метафизикой и формальной логикой, объясняется, по-видимому, отнесение Ф. Энгельсом логических учений Аристотеля одновременно и к истории формальной логики и к истории диалектики. Ф. Энгельс пишет: «Сама формальная логика остается, начиная с Аристотеля и до наших дней, ареной ожесточенных споров. Что же касается диалектики, то до сих пор она была исследована более или менее точным образом лишь двумя мыслителями: Аристотелем и Гегелем» . В другом месте Ф. Энгельс отмечает: «…Исследование форм мышления, логических категорий, очень благодарная и необходимая задача, и за систематическое разрешение этой задачи взялся после Аристотеля только Гегель» .
      Рассмотрим учение Аристотеля об истине и законах мышления. Аристотель принимает истину в широком и в узком смысле. Истина в узком значении есть истина суждения. По Аристотелю, истина и ложь, строго говоря, относятся только к соединению и разъединению представлений и понятий. Наши суждения истинны или ложны в зависимости от того, соответствует ли совершаемое в них соединение или разъединение представлений и понятий самой действительности. Что же касается отдельных изолированных предметов мысли, то сами по себе они еще не истинны и не ложны. Но в более широком смысле понятие истины у Аристотеля переносится и на предметы мысли.
      Такое расширенное понятие истины основывается на предположении, что предмет мысли (представление или понятие) сравнивается с реальным объектом, отображением которого он является, и в качестве истинного признается то представление или понятие, которое адекватно отряжает то, что существует в действительности. Мыслимое ложно в том случае, если ему или вообще не соответствует ничего в действительности, или если соответствующий реальный предмет в нем отображен неверно. Это – материальная ложность, и она заключается в несоответствии мыслимого реальным объектам. Другой вид ложности – ложность суждения. Она заключается в том, что несуществующее высказывается как существующее, т. е. предикат приписывается субъекту, которому он не принадлежит. Формула ложного суждения: «Не-А есть А».
      Отдавая дань метафизике своего учителя Платона, Аристотель различает два вида суждений: вечные необходимые суждения, относящиеся к области вечных неизменных объектов, и суждения, относящиеся к кругу изменяющихся вещей. Так как объекты, подверженные изменению, возникновению и уничтожению, не пребывают всегда тождественными себе, то и суждения о них не являются устойчивыми. Будучи истинными, пока их объекты остаются равными себе эти же суждения становятся ложными, когда объекты изменяются во времени. В аристотелевском учении об истине это деление суждений имеет существенное значение. Только первые суждения образуют область строгого знания, вторые же суть просто мнения и не имеют строгого научного характера.
      Сообразно с этим делением суждений и понятие истины у Аристотеля делится на два вида: вечная абсолютная истина и истина, которая в потоке времени переходит в свою противоположность и становится ложной.
      Основным законом мышления у Аристотеля является закон противоречия. Аристотель называет этот закон самым неоспоримым принципом.
      Аристотель дает несколько формулировок этого закона. В онтологической формулировке он выступает как наивысший закон самого бытия. Он гласит: «Невозможно, чтобы одно и то же в одно и то же время и в одном и том же отношении и было и не было присуще одному и тому же» («Метафизика», IV, 1005 b 19). Наряду с этой развернутой формулировкой дается краткая онтологическая формула: «Невозможно, чтобы одно и то же в одно и то же время было и не было». При этом Аристотель упоминает учение Гераклита, что одна и та же вещь и существует, и не существует, и утверждает, что это учение никто не может серьезно признавать. Здесь Аристотель оказывается не в силах понять диалектику Гераклита и отмахивается от нее, будучи не в состоянии ее опровергнуть. Наряду с указанными двумя онтологическими формулировками закона противоречия у Аристотеля часто встречаются и чисто логические формулировки этого закона.
      В качестве достовернейшего положения приводится закон: «Невозможно, чтобы одновременно были истинными противоположные суждения», или: «Невозможно, чтобы противоречащие утверждения были истинными по отношению к одному и тому же» («Метафизика», IV, 6, 10НЬ 15).
      Аристотелем даются и сокращенные логические формулы: «Невозможно вместе истинно и утверждать и отрицать» или: «Невозможно вместе утверждать и отрицать».
      По Аристотелю, наивысший закон бытия: «Сущее существует, не сущее не существует, невозможно одной и той же вещи существовать и не существовать», – есть вместе с тем и наивысший закон истины: одно и то же суждение не может быть вместе и истинным и ложным. Этот закон истины, по Аристотелю, является выводным, он есть необходимое следствие первоначального онтологического принципа. Таким образом, онтологическая формулировка закона противоречия является основной. Закон противоречия у Аристотеля не является исключительно принципом мышления, как в формальной логике. Принцип противоречия для Аристотеля есть прежде всего принцип самого бытия, но он является также и законом истины.
      Онтологический принцип образует основу всего научного здания. Этот принцип имеет и вторую сторону – объективно-логическую, которая дана непосредственно вместе с онтологической. Объктивно-логическая формулировка принципа: «Утверждение и отрицание не могут быть вместе истинными» – служит основоположением, из которого выводится правило, что одному и тому же субъекту не могут быть присущи противоположные предикаты. И отсюда уже следует субъективная необходимость признавать закон противоречия, т. е. психологическая невозможность принимать, что нечто есть и не есть.
      Принцип противоречия в его метафизической и объективно-логической формулировках, по Аристотелю, является основоположением недоказуемым, непосредственно очевидным, ибо всякий, кто приводит какое-либо доказательство, сводит его к этому положению как последнему; ибо по природе оно есть начало для всех других аксиом. Оно – достовернейшее из всех начал, оно – начало начал.
      Это положение нельзя обосновать в собственном смысле слова, однако можно опровергнуть противоположный ему взгляд, показав абсурдность вытекающих из него следствий. В этом последнем смысле можно дать ему доказательства.
      Первым таким косвенным доказательством у Аристотеля служит возражение противнику, который оспаривает закон противоречия, заключающееся в том, что, поскольку он нечто высказывает, постольку он на деле признает этот принцип. Ибо говорить – значит высказывать слова, имеющие определенное значение для других и для себя. Высказывая нечто, что должно иметь определенное значение, он (противник) тем самым признает закон противоречия, по крайней мере в определенной области и в определенном объеме. Предпосылкой для каких бы то ни было высказываний является однозначная определенность и безусловное постоянство значений слов.
      Слово (а) означает одно понятие (а) и, следовательно, не другое (не-а). Основная формула такова: «а не есть не-а». Смысл закона противоречия в этом аспекте таков: «а не может иметь тот же самый смысл, какой имеет то, что по своей сущности не есть а», следовательно, «а есть а и поэтому не есть не-а».
      Однако при таком понимании смысла закона противоречия его значимость замыкается в слишком узкие границы. Так, Антисфен учил, что правильно только то высказывание, которое о субъекте высказывает только его понятие (например, о человеке можно лишь сказать: «Человек есть человек», высказывание же о человеке какого-либо другого предиката недопустимо). Антисфен принимал исключительно возможность суждений тождества (идентичных суждений). По учению Антисфена, о каждой вещи можно лишь утверждать, что она есть именно эта вещь; нельзя никакой вещи приписывать множества признаков, ибо каждая вещь есть нечто единичное и как таковая она абсолютно отлична от всего другого. Критикуя взгляд Антисфена, Аристотель указывает, что субъекту могут быть присущи различные предикаты, как существенные, так и несущественные.
      В известном смысле предикат, выражающий несущественное свойство (например, белый), относится к своему субъекту (человек) , как не-а к а. Предикат не-а высказывается о субъекте а. не в том же смысле, в каком о нем высказывается его сущность а. Если бы закон противоречия выводился из предпосылки, что со всяким словом твердо связано только одно понятие, исключающее все другие понятия, то в этом случае значение закона противоречия было бы ограничено суждениями тождества. Применение же его к суждениям с предикатами, выражающими несущественные свойства, были бы ложно. Ибо для таких суждений справедлива была бы формула «а есть не-а».
      Таким образом, закон противоречия в том понимании и обосновании, какие даны в первом доказательстве, не имеет силы для суждений, высказывающих несущественные свойства. Между тем в своей первоначальной формулировке закон относился н к этим суждениям. Возникающее таким образом затруднение ослабляется, если закону противоречия придать несколько иное значение, а именно, если принять ту предпосылку, из которой исходит первое доказательство, собственным смыслом и содержанием всего этого закона.
      В таком случае смысл данного закона ограничивался бы лишь устойчивостью понятий и суждений. Закон констатировал бы исключительно «однозначность акта суждения», т. е. в этой интерпретации он высказывал бы лишь то, что всякий, кто сознательно что-либо утверждает, утверждает именно то, что он утверждает.
      В других доказательствах закона противоречия у Аристотеля из опровержения закона противоречия выводятся абсурдные следствия. Далее указывается, что если бы противоположные суждения об одном и том же субъекте были бы одновременно значимы, тогда «все было бы едино».
      Дело в том, что если бы о всяком субъекте по желанию можно было бы утверждать или отрицать любой предикат, то один и тот же субъект одновременно мог бы, например, быть кораблем, стеной и человеком.
      Аристотель указывает, что отрицание принципа противоречия встречается в различной степени. Или его совершенно оспаривают и обо всем прямо утверждают, что оно белое или одновременно не белое, существует и одновременно не существует, или же придают закону ограниченное значение, но в таком случае нужно определенно указывать границы его применения.
      Переходя к субъективно-психологическому аспекту закона противоречия, Аристотель указывает, что если признавать все суждения – в том числе и противоположные – истинными, то придется вместе с тем признавать, что они все ложны. Ибо стоящий на точке зрения, что все суждения истинны должен будет объявлять свои собственные высказывания ложными. Однако психологически невозможно признавать всякое суждение одновременно и истинным и ложным. Принимающий это не будет принимать ничего определенного. Наряду с психологической невозможностью Аристотель ссылается и на практику. Все поведение людей служит доказательством значимости этого закона. В практической жизни люди считают, что одно лучше, а другое хуже. Определенность поведения людей базируется на значимости закона противоречия.
      Возражая противникам, Аристотель приводит и следующий аргумент. Если бы в сущем все обстояло одновременно так и не так и поэтому и в мышлении утверждение и отрицание о чем-либо было бы одновременно истинно, то было бы непонятно, как можно приписывать субъективным положениям большую и меньшую истинность. Например, кто 4 считает за 5, тот ошибается, но не в такой степени, как тот, кто считает 4 за 1000. Очевидно, первый ошибается менее, т. е. первый стоит ближе к истине, чем второй, а если так, то должна быть абсолютная истина, исходя из которой можно измерять различия степеней приближения или удаления от нее.
      Аристотель проводит различие между серьезными противниками, которые руководствуются философскими соображениями, и противниками, которые занимаются чисто эристическими фокусами. Серьезные противники выдвигают соображения, во-первых, метафизические, во-вторых, гносеологические. Метафизические соображения исходят из понятия возникновения. Говорят, что ничто не может возникнуть прямо из небытия, поэтому тот субстрат, из которого что-нибудь возникает, должен заранее иметь противоположные предикаты и вследствие этого должно признаваться одновременно истинным как контрадикторно, так и контрарно противоположное. Аристотель на это возражает, указывая, что здесь смешивается потенциальное и актуальное бытие. Что касается гносеологических соображений, то выдвигается положение, что единственным источником познания является чувственное восприятие. Между тем ощущения у отдельных людей различны: что одному кажется сладким, то другому – горьким. Ощущения неодинаковы не только у разных живых существ, но и у одного я того же лица. Поэтому не остается ничего иного, как считать истинным все, что таковым кажется кому-либо. Все одинаково истинно.
      Аристотель подвергает этот взгляд весьма тщательному анализу. Действительно, изменяющиеся вещи могут дать повод рассматривать их таким образом. Аристотель сам разделяет мнение, что если бы все было в постоянном изменении, то истина была бы невозможна: все одновременно и существовало бы и не существовало. Однако, по его мнению, само возникновение и исчезновение возможны только на основе бытия, следовательно, предполагают нечто сущее.
      Далее, Аристотель считает, что здесь смешивается изменение в количестве и изменение в качестве. По Аристотелю, количественное изменчиво, но наше познание имеет прежде всего своим объектом не количественное, но (Качественное, а именно – понятие, которое служит определением качественного становления, но при этом само пребывает вечно равным себе. Понятие для Аристотеля есть действительное, неизменяющееся бытие. Сверх того, по Аристотелю, положение, что чувственно воспринимаемое подвержено постоянному изменению, справедливо только для подлунного мира, который есть лишь малая частица Вселенной. Остальному присуще неизменное вечное бытие.
      Признавая, что один и тот же объект может вызвать различные ощущения – вследствие изменения самого объекта или изменений воспринимающих тел – Аристотель указывает, что при всех этих изменениях есть нечто, что остается всегда равным себе: это именно само качество ощущения. Например, ощущение сладкого будет то же, что и раньше, оно во все времена будет оставаться одним и тем же. Это значит, что ощущение сладкого как таковое имеет свои определенные характерные черты, которые оно всегда сохраняет, и если именно эти черты будут о нем высказываться, то суждение будет необходимо истинным.
      Таким образом, Аристотель доказывает значимость закона противоречия и для мышления в понятиях и для чувственного восприятия.
      Переходим к учению Аристотеля о законе исключенного третьего. Основная формулировка его у Аристотеля такова: «Равным образом не может быть ничего посредине между двумя противоречащими друг другу суждениями, но об одном одно необходимо либо утверждать, либо отрицать» («Метафизика», IV, 7, 1011 в 23).
      Но часто Аристотель приводит более краткие формулировки: «Необходимо все либо утверждать, либо отрицать», или «Обо всем истинно или утверждение или отрицание», или «Все должно или быть или не быть».
      Что нового вносит закон исключенного третьего по сравнению с законом противоречия? Закон противоречия оставлял еще открытым вопрос, возможно ли нечто среднее между утверждением и отрицанием. Отрицательная часть формулы закона исключенного третьего устанавливает, что такой возможности нет. Однако из отрицательной части еще не следует положительная часть: если кроме утверждения и отрицания нет ничего среднего, то этим еще не исключен тот случай, что утверждение и отрицание могут быть одновременно истинны. Эта возможность отбрасывается законом противоречия, и положительная формулировка закона исключенного третьего включает в себя то, что утверждается законом противоречия.
      Отношение между этими двумя законами – законом противоречия и законом исключенного третьего, – по Аристотелю, таково: отрицание закона противоречия имеет своим необходимым следствием отрицание закона исключенного третьего. Закон противоречия есть необходимая предпосылка закона исключенного третьего. Из отрицания первого с необходимостью вытекает следствие, что есть среднее между утверждением и отрицанием, между бытием и небытием. Однако это не говорит, что из закона противоречия можно вывести закон исключенного третьего. Последний имеет самостоятельное значение.
      У Аристотеля закон исключенного третьего, так же как и закон противоречия, имеет не только логическое значение, но и онтологическое. Логический закон исключенного третьего имеет своим основанием закон самой объективной реальности. Даже более того, закон исключенного третьего мыслится Аристотелем прежде всего как закон бытия и лишь затем как закон мышления. Или бытие, или небытие, все или есть, или не есть, между бытием и небытием нет ничего среднего. В соответствии с этим законом бытия у Аристотеля дается учение об истине. Истина и ложь находятся в контрадикторной противоположности. По самому определению этих понятий ложность есть отрицание истины, а истинность – утверждение истины. Положение о контрадикторной противоположности истины и лжи служит у Аристотеля предпосылкой доказательства закона исключенного третьего.
      Объективно-логическое понимание закона исключенного третьего, согласно которому всякое истинное суждение должно быть или утверждением, или отрицанием, Аристотель доказывает следующим аргументом. Поскольку истинные и ложные суждения высказывают обо всем, что есть или не есть, то отсюда вытекает, что суждение, которое выражает среднее между бытием и небытием и, следовательно, не высказывает ни о бытии, ни о небытии, не является ни истинным, ни ложным, и поэтому оно логически невозможно. Истинные и ложные высказывания исчерпывают весь объем возможных суждений.
      Другое доказательство исходит из того психологического факта, что дискурсивное мышление имеет лишь две формы своего проявления: оно или утверждает, или отрицает. Функция мышления в его конкретно-психологическом проявлении – это утверждение или отрицание. Что-либо среднее между ними психологически невозможно. Это психологический факт.
      Следующее доказательство у Аристотеля исходит из понятия изменения. Доказывается, что оспаривание закона исключенного третьего делает необъяснимым факт изменения в мире. Если принимать среднее между бытием и небытием, то это среднее может мыслиться двояко: или как положительное среднее (например, серое – среднее между черным и белым), или как отрицательное среднее (например, то, что не есть ни лошадь, ни человек).
      Изменение есть всегда развитие от несуществующего к существующему, например, от нехорошего к хорошему, или наоборот, от хорошего к нехорошему, переход от одного члена контрадикторной противоположности к другому. Если встречающееся нам в действительном мире изменение есть всегда движение между бытием и небытием, то не может быть ничего среднего между бытием и небытием, не может быть чего-то такого, что одновременно было бы и не было.
      Аристотель дает шесть аргументов, которые выводят ряд абсурдных следствий из опровержения закона исключенного третьего. Мы не станем приводить их здесь, отметим лишь, что, по Аристотелю, как отрицание закона противоречия приводит к положению, что все истинно, так из допущения среднего между двумя членами контрадикторной противоположности получается следствие, что все ложно.