Глава XXII. ЛОГИКА АРИСТОТЕЛЯ

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

Все люди смертны (большая посылка).

Сократ - человек (меньшая посылка).

Следовательно, Сократ смертен (заключение).

Или:

Все люди смертны.

Все греки - люди.

Следовательно, все греки смертны.

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

Другие модусы следующие: ни одна рыба не разумна; все акулы - рыбы; следовательно, ни одна акула не разумна (это модус «Celarent»).

Все люди разумны; некоторые животные суть люди; следовательно, некоторые животные разумны (это модус «Darii»).

Ни один грек не черен; некоторые люди суть греки; следовательно, некоторые люди не черны (этот модус называется «Ferio»).

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

Из одной посылки может быть сделано несколько заключений. Из посылки «некоторые люди смертны» мы можем заключить, что «некоторые смертные суть люди». Согласно Аристотелю, это можно также вывести из посылки «все люди смертны». Из посылки «ни один бог не смертен» мы можем заключить, что «ни один из смертных - не бог», но из посылки «все люди - не греки» не следует, что «некоторые греки - не люди».

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

Эта система явилась началом формальной логики и как таковая была одновременно и примечательной и важной. Но будучи рассматриваема как завершение, а не как начало формальной логики, она уязвима для критики по трем направлениям: 1.

В силу формальных недостатков внутри самой системы. 2.

По причине переоценки силлогизма по сравнению с другими формами дедуктивного доказательства. 3.

В силу переоценки дедукции как формы доказательства. Следует сказать несколько слов о каждом из этих трех направлений критики.