Введение в логику и научный метод

Теорема IV. Если бо′льшая посылка является частноутвердительным суждением, а меньшая посылка – общеотрицательным суждением, то заключения не существует.

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

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

§ 5. Фигуры и модусы силлогизма

Прежде чем перечислить обоснованные силлогистические формы, рассмотрим некоторые силлогизмы [29] :

Несмотря на то что все приведенные силлогизмы являются правильными, они отличаются друг от друга по двум основным параметрам: 1) расположением среднего термина и 2) качественной и количественной характеристикой посылок и заключения. В первом примере средний термин является субъектом большей посылки и предикатом меньшей; во втором примере средний термин является предикатом в обеих посылках; в третьем примере средний термин – субъект обеих посылок; наконец, в четвертом примере средний термин является предикатом большей посылки и субъектом меньшей. Расположение среднего термина детерминирует фигуру силлогизма. На основе данного различия существует четыре возможные фигуры. Обозначив меньший термин, больший термин и средний термин буквами «S», «Р» и «М» соответственно, мы можем выразить в символьной форме эти четыре фигуры:

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

Второй параметр отличия силлогизмов друг от друга – это количество и качество посылок и заключения. Он определяет модус силлогизма. Первый из четырех вышеприведенных силлогизмов соответствует первой фигуре и модусу ЕАЕ. Силлогизм

5. Вся здоровая пища приготавливается из натуральных продуктов.

Все пончики суть здоровая пища.

∴ Все пончики приготавливаются из натуральных продуктов.