История логики

Таким образом, Аристотель сближает неполную индукцию и умозаключение по аналогии. Логическим фундаментом, на котором основывается ход мысли в парадейгме, по учению Аристотеля, является неполная индукция плюс силлогизм (как видно из приведенного выше примера).

В сущности парадейгма не имеет настоящей доказательной силы, она ведь сводится лишь к приведению отдельных примеров, более или менее сходных с тем, что оратор хочет доказать. Парадейгмы бывают двоякого рода. Либо приводятся факты, случаи, относящиеся к прошлому, и от этих случаев умозаключают к будущему. Это – исторические аналогии. Либо в парадейгме приводятся воображаемые аналогии, например прибегают к басням или придуманным аналогичным случаям. Так, например, Сократ для того, чтобы доказать, что не следует избирать по жребию на высшие государственные должности, прибегает к воображаемым аналогичным случаям (никто не согласится вверить управление кораблем по жребию и т. п.).

Аристотель считает, что в науке умозаключение по аналогии может иметь место лишь для объяснения (путем приведения примеров) и как эвристический принцип при исследовании, поскольку аналогия может толкать мысль на поиски решения вопроса в известном направлении. Самое же решение научной проблемы, по учению Аристотеля, лежит всецело в области аподейктики (аподейктической индукции и аподейктической дедукции) , а не в области диалектики и близкой к последней риторики.

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

Признаки бывают двоякого рода: необходимые и не необходимые. Кроме того, Аристотель дает еще другое деление признаков: одни признаки относятся к тому, признаками чего они являются, как частное к общему, другие – как общее к частному. Примером энтимемы, в которой признак относится к тому, признаком чего он является, как частное к общему, может служить следующее умозаключение: «Эта женщина родила, ибо у нее молоко». Только у таких энтимем могут быть признаки необходимые. В этих энтимемах получаются истинные заключения, если истинно содержание посылок.

Примером энтимемы, в котором признак относится к тому, признаком чего он является, как общее к частному, может служить умозаключением; «А дышит тяжело; следовательно, он болен лихорадкой». Тяжелое дыхание здесь есть признак, от которого заключается к лихорадке, но тяжелое дыхание бывает и при других заболеваниях. Этот второй вид энтимем силлогистически несостоятелен даже в том случае, если заключение случайно окажется истинным.

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

В (как правило) есть А [С есть В]

С есть (вероятно) А.

Что касается силлогистической формы энтимемы «из признака», то и в ней пропускается одна из посылок, которая считается известной (здесь обычно пропускается большая посылка). Вставляя эту пропущенную посылку, мы и здесь имеем правильный силлогизм, причем энтимемы из признака могут протекать по всем трем фигурам.

Пример энтимемы из признака по первой фигуре:

[Всякая женщина, которая имеет молоко, родила] Эта женщина имеет молоко

Эта женщина родила.

Пример энтимемы из признака по второй фигуре: [Все родившие женщины бледны] Эта женщина бледна

Эта женщина родила. Пример энтимемы из признака по третьей фигуре:

Питтак добродетелен [Питтак мудрец]

Мудрецы добродетельны.

В последнем случае пропущена меньшая посылка, в двух предыдущих – большая посылка.

Из приведенных примеров видно, что в энтимемах из признака вывод бывает достоверным, если он протекает по первой фигуре. Энтимемы из признаков по второй фигуре всегда логически несостоятельны, так как сама их силлогистическая структура неверна. Если родившие женщины бледны, то отсюда вовсе не следует, что все бледные женщины являются родившими. Энтимемы из признаков по третьей фигуре не дают достоверного вывода, в них заключение носит лишь характер вероятности: если Питтак мудр и справедлив, то отсюда еще не следует, что все мудрецы справедливы.