Примером энтимемы, в котором признак относится к тому, признаком чего он является, как общее к частному, может служить умозаключением; «А дышит тяжело; следовательно, он болен лихорадкой». Тяжелое дыхание здесь есть признак, от которого заключается к лихорадке, но тяжелое дыхание бывает и при других заболеваниях. Этот второй вид энтимем силлогистически несостоятелен даже в том случае, если заключение случайно окажется истинным.
   Проверка значимости различных видов энтимемы совершается через их редуцирование к фигурам силлогизма. В энтимемах «из вероятного» общее правило применяется к частным случаям и они протекают по первой фигуре, причем меньшая посылка пропускается как понятная сама собой. (Такие посылки будем заключать в квадратные скобки). Энтимемы из вероятного имеют следующую форму:
   В (как правило) есть А [С есть В]
   С есть (вероятно) А.
   Что касается силлогистической формы энтимемы «из признака», то и в ней пропускается одна из посылок, которая считается известной (здесь обычно пропускается большая посылка). Вставляя эту пропущенную посылку, мы и здесь имеем правильный силлогизм, причем энтимемы из признака могут протекать по всем трем фигурам.
   Пример энтимемы из признака по первой фигуре:
   [Всякая женщина, которая имеет молоко, родила] Эта женщина имеет молоко
   Эта женщина родила.
   Пример энтимемы из признака по второй фигуре: [Все родившие женщины бледны] Эта женщина бледна
   Эта женщина родила. Пример энтимемы из признака по третьей фигуре:
   Питтак добродетелен [Питтак мудрец]
   Мудрецы добродетельны.
   В последнем случае пропущена меньшая посылка, в двух предыдущих – большая посылка.
   Из приведенных примеров видно, что в энтимемах из признака вывод бывает достоверным, если он протекает по первой фигуре. Энтимемы из признаков по второй фигуре всегда логически несостоятельны, так как сама их силлогистическая структура неверна. Если родившие женщины бледны, то отсюда вовсе не следует, что все бледные женщины являются родившими. Энтимемы из признаков по третьей фигуре не дают достоверного вывода, в них заключение носит лишь характер вероятности: если Питтак мудр и справедлив, то отсюда еще не следует, что все мудрецы справедливы.
   Аристотелевское деление риторических умозаключений на энтимемы из вероятного (из вероятно общих, а не из действительно общих суждений) и на энтимемы из признака Г. Майер считает логически несостоятельным.
   Энтимемы могут быть доказывающими (дейктическими) и опровергающими (эленхическими). Пример опровергающей энтимемы: «Деньги не могут быть благом, так как не может быть благом то, что можно дурно применять».
   Аристотель применяет энтимемы из признаков в физиогномике, которая исходит из положения, что психические особенности сопровождаются определенными телесными признаками. Так, для присущей львам психической черты – храбрости – внешним телесным признаком является величина их конечностей.
   Аристотель признает энтимему основным приемом аргументации в ораторском искусстве. Оратор, указывает он, имеет дело с большой аудиторией, которая неспособна следить за строго научным ходом доказательства, и потому ему приходится прибегать к иной аргументации, которая более пригодна для убеждения слушателей. Не заключая в себе подлинной Доказательной силы, энтимемы обладают большой убедительной силой. По учению Аристотеля, в риторике основными формами доказательства и умозаключений являются энтимема и парадейгма, подобно тому как в диалектике основными формами являются силлогизмы с вероятными – принимаемыми обычным мнением – посылками и неполная индукция.
   Аристотель называет энтимему риторическим силлогизмом, а парадейгму – риторической индукцией.

Учение о доказательстве

   Силлогистика Аристотеля ставит своей задачей установить, какими способами из данных положений с достоверностью может быть выведено заключение. Для этого необходимо было выяснить все правильные способы умозаключения и показать ошибочные способы, по которым нельзя получить достоверных заключений.
   Поскольку для осуществления задачи выведения частных суждений из общих необходимо было иметь наивысшие общие положения, которые могли бы служить исходной основой для всей цепи дедуктивных умозаключений, Аристотель признает наличие самоочевидных, самодостоверных, наиболее общих положений.
   По его учению, подобно тому как понятия имеют свои пределы – внизу в единичных вещах и вверху в категориях, точно так же имеют свой низший и высший пределы умозаключение и доказательство. Доказательство имеет своим самым низшим пределом данные чувственного опыта и своим высшим пределом – наиболее общие основоположения и определения, которые являются недоказуемыми и вместе с тем самыми достоверными и необходимыми принципами знания. Эти принципы познаются разумом непосредственно. В отличие от мышления, оперирующего умозаключениями, которое может впадать в ошибки, разум как высшая умственная способность никогда не заблуждается.
   Естественно, возникает вопрос, что собой представляют эти наивысшие принципы и каким образом человек приходит к их познанию? На первый вопрос Аристотель отвечает, что такими недоказуемыми самоочевидными истинами являются логический закон противоречия и другие общие положения, устанавливаемые «первой философией» (т. е. наукой об общих принципах всего существующего).
   Но кроме того, Аристотель признает, что каждая наука имеет и свои особые общие положения, которые являются недоказуемыми и самоочевидными. Так, например, для логики такой истиной служит аксиома силлогизма. Подтверждением истинности таких положений является то, что они служат научным объяснением явлений определенной области знания. Признание Аристотелем наличия особых принципов у каждой науки в известной мере свидетельствует об эмпирическом характере его образа мышления.
   Поскольку сущность вещей, по Аристотелю, находит свое выражение в определении понятия о них, высшими началами знания являются прежде всего дефиниции. Логическая форма науки в идеале – это, по Аристотелю, определения понятий о сущности вещей и ряд силлогизмов, дедуцирующих из дефиниций все содержание науки. Сущности вещей, по Аристотелю, вечны и непреходящи, и потому подлинное знание (аподейктика) состоит из абсолютных истин.
   Рассматривая вопрос, каким образом познаются недоказуемые начала знания, Аристотель противопоставляет «первое для нас» «первому по природе». Первичными для нашего познания являются чувственные данные, которые знакомят нас с единичными предметами и явлениями. Первое же по природе – это общая сущность вещей, являющаяся объективной причиной определенности вещей и основанием научного познания их. К познанию этой сущности вещей мы приходим в результате длительного процесса развития нашего знания. То, что является первым по природе, для нас есть последнее, а то, что для нас первое, есть последнее по природе.
   Сущность вещей, по учению Аристотеля, познается непосредственно разумом, но для того, чтобы разуму открылась эта сущность, познающей деятельности человека необходимо пройти ряд ступеней: чувственное восприятие, накопление знаний и опыт относительно данной группы явлений. Если для Платона познание сущности вещей («идей») было прирожденной способностью человеческой души («анамнезом»), то для Аристотеля здесь мы имеем длительный путь развития познавательной способности, лишь в конце которого достигается познание общей сущности.
   Необходимым условием для познания сущности вещей Аристотель считает глубокое всестороннее и всеобъемлющее изучение фактического материала, относящегося к данной группе явлений. Тут Аристотель выступает как эмпирик. Однако, по его мнению, обобщение фактического материала путем индукции не может дать тех общих суждений, которые являются последними высшими началами для научной дедукции. Индукция, по Аристотелю, бессильна дать достоверные общие положения. Их может дать только умозрение, интуиция разума.
   По мнению Аристотеля, эмпирическим опытным путем они добыты быть не могут. Обобщение фактического материала, опыт, индукция лишь подготовляют интуицию разума, служат необходимым предварительным условием для нее. Так, начав с эмпирии, Аристотель заканчивает умозрением.
   В. Виндельбанд высказывает мнение, будто причина этого в гом, что античная наука не знала эксперимента. На самом деле эксперимент был известен и античной науке (хотя, разумеется, не в такой развитой форме, как в новое время). В древности такие практические дисциплины, как медицина, механика, оптика, акустика, металлургия, архитектура, военная техника и т. д., не могли развиваться без эксперимента. Известно, что Демокрит выжимал соки различных растений и изучал их свойства (ядовитость, целебность и т. д.). Ясно, что тут имел место эксперимент. Как мог бы быть открыт закон Архимеда без эксперимента? Следовательно, дело тут не в отсутствии эксперимента, а в том, что Аристотель не сумел до конца преодолеть платоновский идеализм.
   Учение Аристотеля о доказательстве неразрывно связано с его учением об умозаключении. Как мы видели выше, Аристотель для различных типов доказательства устанавливал различные виды умозаключений. В общем доказательства и применяемые в них умозаключения, по Аристотелю, можно отнести к трем основным областям: 1) к области строгой науки, аподейктики и аналитики, 2) к области диалектики, риторики и топики и 3) к области пейрастики, эристики и софистики. Пейрастику Аристотель иногда рассматривает и как разновидность диалектики.
   Подлинное вполне обоснованное доказательство имеет место лишь в первой области. Лишь здесь из необходимо истинных посылок с необходимостью выводятся новые необходимо истинные суждения. Это – область абсолютных, вечных, неизменных истин о сущности вещей. Только тут мы имеем дело с доказательством в строгом смысле слова. К аподейктичеоким примыкают дидактические доказательства, которыми пользуется учитель при обучении наукам учеников. Что касается области диалектики и примыкающей к ней риторики, то здесь посылки являются необходимо истинными, а лишь вероятно истинными. В диалектике исходят из того, что бывает обычно, «по большей части» и что поэтому обычно признается за истину (т. е. здесь исходят из общепринятого мнения), в риторике же, где целью является только убеждение слушателей, исходят из тех мнений, взглядов, предубеждений, которые являются господствующими в той или иной среде слушателей.
   Диалектика подобно аподейктике применяет силлогизм и соблюдает его правила, но в отличие от аподейктики ее посылки лишь вероятно истинные; следовательно, в диалектических рассуждениях, в отличие от аподейктических, имеется лишь формальная правильность, но отсутствует необходимая истинность и, таким образом, здесь нет подлинных доказательств в строгом научном смысле слова. И, наконец, что касается эристики и софистики, то в них имеется лишь видимость доказательства, так сказать, игра в доказательства.

Учение о логических ошибках

   Вопросу о логических ошибках Аристотель посвятил специальное сочинение «О софистических опровержениях», которое можно рассматривать как дополнение к «Топике» в качестве ее последней, девятой главы. Само заглавие этого сочинения говорит о том, что Аристотель рассматривает софистические доказательства как «опровержения» истины. Он ставит задачу показать, что софистические доказательства – мнимые доказательства и что софистические умозаключения на самом деле не умозаключения, так как в них то, что выводится, на самом деле вовсе не следует из посылок. Аристотель показывает формальнологическую неправильность софистических умозаключений и ложность их доказательств. Родственными софистическим Аристотель считает пейрастические доказательства, которые применял Сократ в спорах с софистами, когда он использовал против софистов их же оружие!
   Аристотель говорит, что ложные умозаключения бывают двоякого рода: одни из них формально правильны, но исходят из ложных посылок, другие же формально неправильны. Софистические умозаключения представляют лишь особую часть ложных умозаключений. Другие виды ошибочных умозаключений рассматриваются в «Аналитиках».
   Аристотель, как и Платон, определяет софистику как кажущуюся, а не действительную мудрость. Подобно тому, как бывает подлинное и поддельное золото, так бывают истинные и фальшивые доказательства и умозаключения. Аристотель в сочинении «О софистических опровержениях» ставит задачу изучить все виды софистических уловок, изобретенных софистами в целях построения мнимых доказательств и кажущихся умозаключений.
   Логические ошибки Аристотель прежде всего делит на ошибки, проистекающие из способа выражения мысли в речи, и на ошибки мышления, не зависящие от способа выражения.
   Логические ошибки, основанные на словесном выражении, Аристотель подразделяет на шесть видов.
   1. Омонимия заключается в том, что одно и то же слово может иметь два или более двух разных значений. Эта многозначность слов может быть использована для построения ложного доказательства или умозаключения. Так, на основе двусмысленности термина может быть нарушено правило силлогизма, требующее, чтобы в силлогизме было только три термина: средний термин в одной посылке берется в одном смысле, в другой же – в другом. Как было сказано выше, Аристотель указывал, что одно и то же слово (например, «благо» может иметь различные значения, смотря по тому, к какой категории оно в том или другом случае относится. Теория категорий, по Аристотелю, предохраняет от ошибок омонимии, состоящих в отождествлении разных понятий.
   2. Амфиболия заключается в том, что некоторая языковая конструкция (т. е. соединение слов) употребляется в двух (или более двух) различных смыслах, что, так же как и омонимия, приводит к отождествлению различного.
   3. Неправильное соединение слов состоит в соединении слов при отсутствии логической связи между тем, что обозначается этими словами. Такова ошибка в следующем софистическом умозаключении: «Сидящий встал. Кто встал, тот стоит. Следователь но, сидящий стоит».
   4. Неправильное разделение слов состоит в разъединении в словесном выражении того, что логически разъединять нельзя.
   Аристотель приводит следующий пример этой ошибки: из того, что пять есть два (четное число) плюс три (нечетное число), де лается софистическое заключение, что пять есть четное и нечетное число.
   5. Неправильное произношение порождает ошибку, если при этом изменяется смысл слова (например, при изменении ударения).
   6. Двусмысленность флексий и других окончаний слов тоже приводит к смысловым ошибкам (например, смешение мужского рода с женским вследствие одинаковости окончаний слов).
   Логические ошибки, не зависимые от способа выражения в речи, Аристотель подразделяет на следующие семь видов.
   1. Ошибка на основании случайного состоит в том, что полагают, будто вещи присуще то же самое, что и ее акциденции.
   Аристотель приводит в качестве примера этой логической ошибки следующее умозаключение: «Кориск – человек. Человек есть нечто иное, чем Кориск. Следовательно, Кориск есть нечто иное, чем Кориск».
   В этом умозаключении во второй посылке о человеке высказывается не его сущность, а нечто случайное, что не может быть перенесено на подлежащее первой посылки. Другой пример этой ошибки: «Кориск – другое лицо, нежели Сократ. Сократ – человек. Следовательно Кориск – не человек» (здесь случайное будет в первой посылке).
   2. Логическая ошибка от сказанного просто к сказанному с ограничением и наоборот состоит в том, что утверждение, признанное в ограниченном смысле (как относительно истинное в какой-либо части, или в определенном месте, времени, отношении), принимается как истинное вообще или, наоборот, то, что признано истинным вообще, ограничивается, как будто бы оно имеет силу только в каком-либо отношении, в определенном месте или времени. Например, негр черен, а зубы у него белые, следовательно, он и черен и не черен, бел и не бел, если говорить безотносительно, «просто». О нем же следует сказать, что он черен или бел в известном отношении (с ограничением).
   Здесь затрагивается вопрос о конкретности истины. Аристотель в 25-й главе сочинения «О софистических опровержениях» ставит вопрос: «Благо здоровье или богатство?» И тем и другим человек может пользоваться дурно, следовательно, здоровье и богатство суть благо и не благо, утверждает Аристотель. Является ли благом пользоваться в государстве властью? Но бывает время, когда лучше властью не пользоваться. Следовательно, то же самое для одного и того же человека бывает и благом и не благом, в зависимости от обстоятельств, времени и места.
   3. Ошибка, которая впоследствии получила название «ignoratio elenchi», состоит в подмене предмета спора другим, посторонним, имеющим лишь отдаленное сходство с тем предметом, о котором идет речь. Таким образом, в этом случае доказывает ся или опровергается не то, что требуется доказать или опровергнуть.
   4. Ложное доказательство, получившее впоследствии название «предвосхищение основания» (petitio principii), состоит в том, что то, что требуется доказать, принимается как уже доказанное. Другими словами, здесь доказываемая мысль выводится сама из себя: за основание доказательства принимается то, что нужно доказать, или то, что само основывается на том, что нужно доказать.
   5. Аристотель отмечает ошибку в доказательствах и умозаключениях, когда неправильно понимается связь основания и следствия – когда полагают, что на основании того, что если есть одно, то необходимо есть другое, можно сделать заключение, что если есть это другое, то необходимо есть и первое. Аристотель указывает, что такого необходимого следования нет. Так, из того, что у больного лихорадкой высокая температура, вовсе не следует, что человек с высокой температурой болен лихорадкой.
   6. Аристотель указывает и такой вид ошибочных доказательств, в которых то, что не является причиной, принимается за причину. Эта ошибка встречается в доказательствах через не возможное.
   7. Ошибка смешения нескольких вопросов состоит в том, что ответ в форме «да» или «нет» дается на один вопрос, который в действительности содержит несколько разных вопросов, и потому требуются разные ответы на эти вопросы. Например, ставится вопрос: «Перестал ли ты бить своего отца?» При ответе «да» следует замечание: «Значит, ты его раньше бил», а при ответе «нет» делается вывод: «Значит, ты его продолжаешь бить».
   Большинство софизмов, которые Аристотель рассматривает в сочинении «О софистических опровержениях», принадлежало мегарикам, но при этом следует иметь в виду, что мегарики восприняли Многие софизмы, Сочиненные До Них, так Что труд-но установить, какие из принятых у них софизмов были их собственным изобретением.

Учение о модальностях

   Логическая противоположность возможности и необходимости у Аристотеля имеет свою онтологическую основу в том, что, как учит его метафизика («первая философия»), существует противоположность между миром изменчивых вещей природы, в котором нет места для строгой необходимости и который представляет собой область возможного (вероятного), и умопостигаемыми вечными сущностями, познание которых выражается в необходимых истинах и в отношении которых нет места для простой возможности.
   Однако в своей логической теории модальностей Аристотель строго не придерживается онтологического толкования возможности и действительности. Так, он говорит, что понятие возможности употребляется в трояком смысле: во-первых, возможным мы называем и необходимое, во-вторых, не необходимое и, наконец, в-третьих, то, что может быть. Но это положение, высказанное в сочинении «Об истолковании», разъясняется в «Первой Аналитике», где говорится, что если необходимое называется возможным, то термин «возможное» употребляется в особом значении (тут лишь омоним, вводящий в заблуждение), и далее прямо сказано, что необходимое не есть возможное. И в самом деле, первые два вида понятия возможности имели диаметрально противоположное значение.
   Возможное в собственном смысле для Аристотеля есть прежде всего «бывающее по большей части», которое характеризуется отсутствием необходимости. Это «происходящее по большей части» занимает в системе Аристотеля место закономерности природы. В античной философии понятие закона природы имелось у Гераклита, Демокрита, Эпикура и у стоиков, но отсутствовало у Платона, Аристотеля и скептиков. Поскольку, по учению Аристотеля, в природе нет строгой закономерности, а есть лишь «происходящее по большей части», он довольствуется индукцией через простое перечисление, так как она достаточна для цели установления того, что бывает по большей части.
   Второй вид возможности у Аристотеля – это «не необходимое» в смысле чистой случайности, не коренящейся в определенности природы. Возможное в этом смысле есть то, что может происходить и так и иначе. Конечно, и возможность, основывающаяся на определенности природы, понимаемая как «бывающее по большей части», тоже допускает противоположные ей случаи, т. е. допускает противоположную возможность. Однако эта последняя возможность не равнозначна возможности «бывающего по большей части», не равносильна ей. Но общим у них является то, что «бывающее по большей части» также не необходимо, как и простая случайность. Возможность противоположного остается открытой и в той, и в другой области.
   Логическая трактовка возможности у Аристотеля имеет связь с его онтологическим пониманием возможности. Реальная возможность в философии Аристотеля понимается прежде всего как возможность движения и изменения. Возможное есть все то, что может приводить в движение или изменить что-либо, или само приводиться чем-либо другим в движение или изменяется. В этом смысле возможность есть принцип движения (активного или пассивного). В другом смысле реальная возможность у Аристотеля понимается как заложенная в самой вещи потенция, которая может развиваться и осуществляться. Потенциальное в этом смысле само по себе становится действительным, если ему ничто внешнее не препятствует.
   Таким образом, Аристотель принимает два вида реальной возможности: принцип движения от внешнего воздействия и имманентный принцип становления – движения, изменения и развития.
   Прантль и Целлер находят, что у Аристотеля логическая возможность и реальная возможность не различаются, в то время как Вайтц, Бониц и Брандис придерживаются противоположного мнения. Майер говорит, что у Аристотеля, как и в последующей логике, нет чисто логического понимания возможности. С объективным пониманием возможности в логике Аристотеля связано ограничение суждений возможности областью изменчивых вещей, поскольку только в этой области имеют место становление и изменение.
   В аристотелевской логике логическая возможность есть отражение реальной возможности и потому суждения возможности отличны от проблематических суждений последующей формальной логики, которые, в свою очередь, отличаются от ассерторических суждений степенью субъективной уверенности. Однако Аристотелю не всегда удается быть последовательным.
   Так, он говорит, что суждения возможности находятся в контрадикторной противоположности по отношению к суждениям необходимости. Но как это возможно, если суждения возможности отражают совершенно иной класс предметов, чем суждения необходимости?
   Аристотель различает истину возможную, фактическую и необходимую. Возможная истина допускает свою противоположность. Если утверждается: «Это может быть так», то тем самым допускается и противоположная возможность: «Это может быть и не так». Речь у Аристотеля идет о реальной возможности, но и реальная возможность может не осуществиться. Фактическая истина говорит о том, что есть или было в действительности, например, «Сократ сидит». Здесь уже исключается противоположное суждение «Сократ не сидит», но тем не менее это не есть необходимая истина, так как Сократ может и не сидеть, а стоять, ходить или лежать. Суждение же «диагональ квадрата несоизмерима с его стороной» есть необходимая истина, так как противоположное ему невозможно. Это учение Аристотеля основано на предпосылке, что бытие бывает потенциальное и актуальное, необходимое и не необходимое, «бывающее по большей части» и просто случайное.
   Суждения о единичных изменчивых вещах могут обладать фактической или возможной истиной, необходимая же истина относится лишь к общим понятиям. Однако Аристотелю не всегда удается четко провести границу между этими тремя видами истины.
   Как в своем учении о категориях, так и в своей теории суждений (в частности, в учении о модальности) Аристотель исходит из языковых данных и отыскивает логические формы в грамматических формах.
   Логические же формы для Аристотеля суть отражение реальных отношений вещей в самой объективной действительности. Г. Майер пишет: «Аристотель ищет пути проникновения через языковую скорлупу в логическое зерно»