§ 7. Специальные теоремы и правильные модусы второй фигуры

§ 7. Специальные теоремы и правильные модусы второй фигуры

Форма второй фигуры обозначается как

Докажем следующие теоремы.

Теорема I. Посылки должны различаться по качеству.

Если обе посылки являются утвердительными, то средний термин М является нераспределенным в каждой из них. Поэтому одна из посылок должна быть отрицательной (аксиома 1). Обе посылки не могут быть отрицательными (аксиома 3). Поэтому посылки должны различаться по качеству.

Теорема II. Бо?льшая посылка должна быть общим суждением.

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

Теорема I исключает комбинации АА и AI, а теорема II исключает комбинации IA и ОА. В данной фигуре у нас остается четыре комбинации: АЕ, АО, ЕА и EI, из которых мы получаем шесть правильных модусов. АЕЕ (Camestres), [АЕО], АОО (Baroco), ЕАЕ (Cesare), [ЕАО] и ЕIO (Festino). Модусы, обведенные в круг, являются ослабленными силлогизмами.