Введение в логику и научный метод - стр. 71

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

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

Теорема II. Заключение должно быть частным суждением.

Поскольку меньшая посылка должна быть утвердительным суждением, S в посылках не может быть распределенным.

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

Первая теорема исключает комбинации АЕ и АО, и у нас остается шесть комбинаций: AA, AI, EA, EI, IA, OA. Помня о второй теореме, мы получаем шесть правильных модусов: [AAI] (Darapti), AII (Datisi), [ЕАО] (Felapton), ЕIO (Ferison), IAI (Disamis) и ОАО (Bocardo). В этой фигуре нет ослабленных модусов. Два модуса, обведенные в круг, называются усиленными силлогизмами, поскольку то же самое заключение может быть получено, даже если мы заменим суждение одной из посылок подчиненным ему суждением.

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

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

Теорема 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 – усиленными.

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

Мы обнаружили правильные модусы посредством исключения всех форм, несовместимых с аксиомами обоснованности, а также с выведенными из них теоремами. Единственным обоснованием правильности выработанных нами форм стала их согласованность с аксиомами. Однако Аристотель, человек, первым написавший о силлогизмах, обосновывал правильные формы иначе. Согласно его подходу, модусы первой фигуры проверялись с помощью применения к ним принципа, известного с тех пор как dictum de omrti et nullo