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

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

С помощью символьного выражения четвертой фигуры

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

Теорема I. Если большая посылка является утвердительным суждением, то меньшая посылка является общим суждением.

Если большая посылка является утвердительным суждением, то его предикат, М, нераспределен. Следовательно, М должен быть распределенным в меньшей посылке (аксиома 1), а сама меньшая посылка должна быть общим суждением.

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

Теорема III. Если меньшая посылка является утвердительным суждением, то заключение является частным суждением.

Если меньшая посылка – утвердительное суждение, то его предикат, S, нераспределен. Поэтому S не может быть распределенным и в заключении (аксиома 2) и, следовательно, само заключение должно быть частным суждением.

Первая теорема исключает комбинации AI и AO , вторая – OA . У нас остаются пять комбинаций: AA, AE, EA, IA и EI . С помощью третьей теоремы мы получаем шесть правильных модусов: [ AAI] (Bramantip), AEE (Camenes) , [ AEO] , IAI (Dimaris) , [ EAO] (Fesapo) и EIO (Fresison). AEO является ослабленным силлогизмом, тогда как ААI и EAO – усиленными.

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