Эти растения (S) любят тепло (М).
В обеих посылках средний термин не распределён. Можно ли из них сделать вывод, что «Эти растения — оранжерейные»?
Такой вывод с необходимостью не следует: «эти растения» могут быть оранжерейными, а могут ими и не быть; наконец, некоторые из них могут быть оранжерейными, а некоторые нет. Если средний термин ни в одной из посыпок не распределён, то достоверного вывода сделать из них нельзя.
На чертежах 16, 17, 18 показано, что возможны три разных заключения из посылок, в которых средний термин не распределён: S, входя в состав М, или
1) тем самым входит в состав Р («все S суть Р»), или
2) не входит в состав Р («ни одно S не Р»), или, наконец,
3) частью входит, а частью не входит в состав Р («некоторые S суть Р»).
Следовательно, из посылок, в которых средний термин не распределён, достоверного вывода сделать нельзя. Нарушение второго правила силлогизма было бы нарушением закона достаточного основания.
Третье правило. Термины в заключении должны иметь тот же объём, какой они имеют в посылках.
Термины в заключении обозначают те же предметы, которые этими же терминами обозначаются в посылках. Поэтому термины в заключении не могут иметь объёма большего, чем в посылках.
Если в посылке берётся часть объёма термина, то только относительно этой именно части мы и можем делать вывод.
Например:
Все галогены (М) — элементы (Р).
Аргон (S) не галоген (М).
Если мы из этих посылок сделаем вывод «Аргон не элемент», то мы допустим ошибку, которая называется непозволительное расширение большего термина.
В посылке больший термин не распределён (кроме, галогенов, есть и другие элементы). В заключении (в отрицательном суждении) больший термин становится распределённым, его объём расширяется, хотя никаких оснований для этого нет. Нарушая закон достаточного основания, мы получаем неправильный вывод относительно аргона, который на самом деле является элементом.
Другой пример:
Все газы (М) расширяются от нагревания (Р).
Некоторые физические тела (S) — газы (М).
Если бы мы из этих посылок сделали вывод, что «все физические тела расширяются от нагревания», то мы допустили бы ошибку, которая носит название непозволительное расширение меньшего термина.
Из наших посылок следует только одно: некоторые физические тела расширяются от нагревания. Делать же из данных посылок вывод относительно всех физических тел — это значит нарушить закон достаточного основания, так как наше заключение не вытекало бы из данных посылок. И в действительности имеется такое физическое тело, как вода, которая при известных условиях от нагревания сжимается.
Четвёртое правило. Из двух отрицательных посылок нельзя вывести заключения; если одна из посылок отрицательная, то и заключение будет отрицательным.
Возьмём пример:
Ни один электрон (М) не находится в покое (Р).
Протон (S) не электрон (М).
Следует ли из этих посылок, что «протон находится в покое»? Нет, не следует. Из этих посылок вообще нельзя вывести заключения.
Если обе посылки отрицательные — это значит, что отрицается всякая связь среднего термина с другими двумя терминами силлогизма. Но если М не связано ни с S, ни с Р, то нет возможности установить, в каком именно отношении находятся S и Р.
Чертежи 19, 20, 21, 22 изображают положение терминов в отрицательных посылках. Термин М не связан ни с S, ни с Р, и поэтому мы не можем сказать ничего определённого об отношении S и Р.
Но если из двух посылок силлогизма отрицательной будет только одна, то заключение вывести можно, причём всегда отрицательное.
Возьмём пример:
Ни одно споровое растение (М) не размножается семенами (Р).
Мох (S) — споровое растение (М).
Из этих посылок вполне закономерно следует единственно возможный вывод: «Мох не размножается семенами».
Почему заключение всегда будет отрицательным, если одна из посылок отрицательная? В нашем примере большая посылка указывает на отсутствие связи между терминами М и Р. Но S входит в состав М, следовательно, согласно аксиоме силлогизма, отрицается связь между S и P.