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

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

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

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

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

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

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

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

§ 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 – усиленными.