Четвёртая фигура и её особые правила

§ 43. Рассмотренные четырнадцать правильных модусов были установлены основателем науки логики, древнегреческим философом Аристотелем (384—322 до н. э.). Уже ближайшие продолжатели логических работ Аристотеля обратили внимание на то, что в первой фигуре кроме указанных Аристотелем четырёх модусов возможны ещё пять. Модусы эти возможны в случае, если средний термин является предикатом в большей посылке и субъектом в меньшей. (В аристотелевской первой фигуре средний термин является, напротив, субъектом в большей посылке и предикатом — в меньшей.)

Спустя 500 лет после Аристотеля учёный Гален выделил правильные модусы, получающиеся при таком расположении терминов, в новую — четвёртую — фигуру.

Схема четвёртой фигуры:

Р—М

М—S

———

S—P

Хотя четвёртая фигура теоретически возможна и даёт пять правильных модусов, в действительном мышлении выводы по четвёртой фигуре не встречаются. Искусственность четвёртой фигуры состоит в том, что положение меньшего и большего терминов в выводе обратно положению этих терминов в посылках. Поэтому нельзя придумать ни одного примера вывода по четвёртой фигуре, который не был бы искусственным.

Например:

_{Bce тюлени — ластоногие.} М—Р _{Ни одно ластоногое не есть рыба.} Р—М ———————————— ——— ^{Ни одна рыба не есть тюлень.} М—S

Здесь естественным был бы, конечно, вывод по первой фигуре:

_{Ни одно ластоногое не есть рыба.} М—Р _{Все тюлени—ластоногие.} S—М ———————————— ——— ^{Ни один тюлень не есть рыба.} S—P

Ввиду совершенной искусственности четвёртой фигуры отметим только важнейшие её особенности без подробного их рассмотрения и выведения.

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

Правильные модусы четвёртой фигуры: AAI, АЕЕ, IAI, ЕАО, ЕIO. Их искусственные названия — Bramantip, Camenes, Dimaris, Fesapo, Fresison.

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