Для пояснения этого правила возьмём следующий пример:
Все преступники заслуживают наказания,
Некоторые англичане суть преступники.
Все англичане заслуживают наказания.
Очевидная ошибка в этом силлогизме получается вследствие того, что мы в заключении термин «англичане» берём во всём объёме, между тем как в посылке этот термин взят не во всём объёме. Мы бы сделали правильное заключение, если бы сказали: «некоторые англичане заслуживают наказания».
Возьмём другой пример, где ошибка не так очевидна:
Все историки беспристрастны.
Натуралисты не суть историки.
Натуралисты не суть беспристрастны.
Чтобы видеть, правилен ли этот вывод, изобразим силлогизм символически (рис. 21). Историки (М) находятся в Р (беспристрастные). О натуралистах сказано, что они не суть историки. Мы, следовательно, не имеем права помещать их в круге М; поэтому натуралистов мы можем поместить где угодно, лишь бы не в круге М, а если так, то, помещая S вне М,. мы можем его поместить всё-таки в круге Р. Вследствие этого может оказаться, что «натуралисты беспристрастны». В большей посылке термин «беспристрастный» взят не во всём объёме, так что историки должны составлять только часть тех, которые беспристрастны, а потому мы не имеем права исключать из числа беспристрастных и натуралистов. Ошибка в этом силлогизме получилась оттого, что в большей посылке термин «беспристрастный», как сказуемое обще-утвердительного суждения, взят не во всём объёме, между тем как в заключении, как сказуемое обще-отрицательного
рис. 21
суждения, он взят во всём объёме. Другими словами, мы один раз говорим не обо всех, а другой раз обо всех. Такая ошибка называется ошибкой Illicit! processi, недозволительное расширение большего термина, как в данном примере; недозволительное расширение меньшего термина мы имели в первом примере.
5. Из двух отрицательных суждений нельзя вывести никакого заключения. Возьмём пример, чтобы пояснить это правило:
Химия неесть гуманитарная наука. Математика ие есть химия.
Что следует из этих посылок? Обозначим (рис. 22) «химия» посредством М, «гуманитарные науки» — посредством Р, «математика» — посредством S;
Рис. 22.
М должно быть вне Р, S должно быть вне М. Как легко видеть, средний термин в этом силлогизме не связывает больший термин с меньшим, потому что он находится вне большего и меньшего терминов. Если М не
соединено с Р, а S не соединено с М, то S не может быть соединено с Р, т. е. через средний термин нельзя установить никакой связи между большим и меньшим терминами.
6. Если одна из посылок отрицательна, то заключение должно быть также отрицательно, и наоборот, для получения отрицательного заключения необходимо, чтобы одна из посылок была отрицательна. Возьмём пример:
Ни одно М неесть Р.
Все S суть М.
Раз Р находится вне среднего термина М, то, очевидно, S, которое находится в М, не свяжетсяс Р, а потому получится отрицательное заключение.
Таким образом, если у нас есть две посылки, из которых одна отрицательна, то мы не можем сделать утвердительного заключения.
