Модусы, обведенные нами в круг, называются подчиненными, или ослабленными, модусами, поскольку, несмотря на то что посылки в них предписывают выведение заключения, которое будет общим суждением, действительное заключение, тем не менее, является лишь частным суждением, и поэтому «более слабым», чем могло бы быть. Четырем из этих шести правильных модусов были даны специальные имена, в которых гласные соответствуют символам количества и качества посылок и заключения. Так, модус АЛА обозначается именем «Barbara», All – «Darii», ЕАЕ – «Celarent» и ЕIO – «Ferio». Данные имена были изобретены для формирования мнемонического средства, с помощью которого можно было бы вспомнить различные модусы в каждой из фигур, а модусы второй, третьей и четвертой фигур сводить к модусам первой фигуры. Ниже мы еще вернемся к проблеме сведения.
§ 7. Специальные теоремы и правильные модусы второй фигуры
Форма второй фигуры обозначается как
Докажем следующие теоремы.
Теорема I. Посылки должны различаться по качеству.
Если обе посылки являются утвердительными, то средний термин М является нераспределенным в каждой из них. Поэтому одна из посылок должна быть отрицательной (аксиома 1). Обе посылки не могут быть отрицательными (аксиома 3). Поэтому посылки должны различаться по качеству.
Теорема II. Бо′льшая посылка должна быть общим суждением.
Поскольку одна из посылок является отрицательным суждением, заключение также является отрицательным суждением (аксиома 4), и Р, больший термин, должен быть распределенным. Поэтому Р должен быть распределенным и в большей посылке (аксиома 2), а сама посылка должна быть общим суждением.
Теорема I исключает комбинации АА и AI, а теорема II исключает комбинации IA и ОА. В данной фигуре у нас остается четыре комбинации: АЕ, АО, ЕА и EI, из которых мы получаем шесть правильных модусов. АЕЕ (Camestres), [АЕО], АОО (Baroco), ЕАЕ (Cesare), [ЕАО] и ЕIO (Festino). Модусы, обведенные в круг, являются ослабленными силлогизмами.
§ 8. Специальные теоремы и правильные модусы ТРЕТЬЕЙ фигуры
Исходя из символьной формы третьей фигуры
мы можем доказать следующие теоремы.
Теорема I. Меньшая посылка должна быть утвердительной.
Предположим, что меньшая посылка – отрицательная. Тогда заключение будет отрицательным суждением (аксиома 4) и Р, его предикат, будет распределен. Поэтому Р будет распределен и в большей посылке (аксиома 2), и сама большая посылка будет отрицательной. Однако это невозможно (аксиома 3). Поэтому меньшая посылка не может быть отрицательной.
Теорема II. Заключение должно быть частным суждением.
Поскольку меньшая посылка должна быть утвердительным суждением, S в посылках не может быть распределенным.
Поэтому S не может быть распределенным и в заключении (аксиома 2), а само заключение должно быть частным суждением.
Первая теорема исключает комбинации