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

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

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

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

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

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

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

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

построен по первой фигуре и модусу АЛА. Таким образом, силлогизмы могут отличаться друг от друга как по фигуре, так и по модусу (например, 1 и 3) или только по фигуре (2 и 4) или только по модусу (1 и 5). Однако не все модусы являются правильными.

Рассмотрим общее число силлогистических форм, правильных и неправильных, с учетом их различия по модусам и фигурам. Поскольку существует четыре типа категорических суждений, то большая посылка, меньшая посылка и заключение могут быть представлены суждениями любого из четырех типов. Следовательно, существует 4x4x4, или 64, силлогистических модуса в каждой фигуре, и 64 х 4, или 256, силлогистических форм в четырех фигурах. При этом большинство из них являются неправильными. Как отыскать правильные формы? Исследовать все 256 форм было бы страшно неудобно. Однако данная процедура вовсе не обязательна, поскольку неправильные формы могут быть исключены посредством применения аксиом и теорем обоснованности.

Запишем каждую возможную комбинацию посылок, где первая буква будет обозначать большую посылку, а вторая – меньшую:

Согласно аксиоме 3, сочетания ЕЕ, ЕО, ОЕ и 00 являются невозможными. Теорема II исключает варианты II, IO, OI , а теорема IV – вариант IE. Следовательно, у нас остается восемь комбинаций посылок, каждая из которых даст правильный силлогизм в некоторых или во всех фигурах: АА, АЕ, AI, АО, ЕА, EI, IA, OA .

Исключенные восемь комбинаций не имеют заключения ни в одной фигуре.

Теперь осталось отыскать правильные модусы для каждой фигуры. Это можно сделать одним из следующих способов:

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

2. Установить специальные теоремы для каждой фигуры и с их помощью исключить неправильные комбинации посылок. Данный метод является изящным, и мы прибегнем именно к нему.

Ниже мы раз и навсегда будем допускать, что обозначаемые терминами классы являются непустыми. Мы исследуем следствия данного допущения. Оно позволит нам осуществлять непосредственные умозаключения с помощью ограничения.