Учебник логики

Так как термин «наблюдателен» взят не во всём объёме, то в класс наблюдательных кроме натуралистов могут входить и историки, и художники, и т.п. Следовательно, N может быть наблюдателен и в то же время находиться вне круга натуралистов, как это можно видеть на прилагаемой схеме (рис. 20).

Если бы было сказано:

Все наблюдательные люди суть натуралисты.

N наблюдателен.

Следовательно, N натуралист. –

то такой вывод был бы правилен.

В первом случае средний термин ни в одной из посылок не взят во всём объёме. Вследствие этого получается неопределённость. А именно: может случиться, что мы один раз берём одну часть среднего термина, а другой раз – другую, как это можно видеть на схеме. Между тем, если средний термин взят хоть один раз во всём объёме, то мы и в большей и в меньшей посылке будем иметь дело с одним и тем же.

Если вообще средний термин взят хоть в одной посылке во всём объёме, тогда имеется налицо то, что связывает больший термин с меньшим термином. Если же он не входит ни в большую посылку, ни в меньшую во всём объёме, то он не может выполнять своего назначения – быть соединительным звеном, потому что в таком случае больший или меньший термин относятся к чему-либо неопределённому, как в приведённом выше случае: N может быть внутри круга натуралистов, но может быть и вне этого круга. Вследствие этого не может получиться определённого заключения. Поэтому средний термин хоть в одной из посылок должен быть взят во всём объёме.

4. Термины, не взятые в посылках во всём объёме, не могут быть и в заключении взяты во всём объёме.

Для пояснения этого правила возьмём следующий пример:

Все преступники заслуживают наказания.

Некоторые англичане суть преступники.

Все англичане заслуживают наказания.

Очевидная ошибка в этом силлогизме получается вследствие того, что мы в заключении термин «англичане» берём во всём объёме, между тем как в посылке этот термин взят не во всём объёме. Мы бы сделали правильное заключение, если бы сказали: «некоторые англичане заслуживают наказания».

Возьмём другой пример, где ошибка не так очевидна:

Все историки беспристрастны.

Натуралисты не суть историки.

Натуралисты не суть беспристрастны.

Чтобы видеть, правилен ли этот вывод, изобразим силлогизм символически (рис. 21).

Историки (M) находятся в P (беспристрастные). О натуралистах сказано, что они не суть историки. Мы, следовательно, не имеем права помещать их в круге M; поэтому натуралистов мы можем поместить где угодно, лишь бы не в круге M, а если так, то, помещая S вне M, мы можем его поместить всё-таки в круге P. Вследствие этого может оказаться, что «натуралисты беспристрастны». В большей посылке термин «беспристрастный» взят не во всём объёме, так что историки должны составлять только часть тех, которые беспристрастны, а потому мы не имеем права исключать из числа беспристрастных и натуралистов. Ошибка в этом силлогизме получилась оттого, что в большей посылке термин «беспристрастный», как сказуемое обще-утвердительного суждения, взят не во всём объёме, между тем как в заключении, как сказуемое обще-отрицательного суждения, он взят во всём объёме. Другими словами, мы один раз говорим не обо всех, а другой раз обо всех. Такая ошибка называется ошибкой illiciti processi, недозволительное расширение большего термина, как в данном примере; недозволительное расширение меньшего термина мы имели в первом примере.

5. Из двух отрицательных суждений нельзя вывести никакого заключения. Возьмём пример, чтобы пояснить это правило:

Химия не есть гуманитарная наука.

Математика не есть химия.

Что следует из этих посылок? Обозначим (рис. 22) «химия» посредством M, «гуманитарные науки» – посредством P, «математика» – посредством S:

M должно быть вне P, S должно быть вне M. Как легко видеть, средний термин в этом силлогизме не связывает больший термин с меньшим, потому что он находится вне большего и меньшего терминов. Если M не соединено с P, а S не соединено с M, то S не может быть соединено с P, т.е. через средний термин нельзя установить никакой связи между большим и меньшим терминами.

6. Если одна из посылок отрицательна, то заключение должно быть также отрицательно, и наоборот, для получения отрицательного заключения необходимо, чтобы одна из посылок была отрицательна. Возьмём пример:

Ни одно M не есть P.

Все S суть M.

Раз P находится вне среднего термина M, то, очевидно, S, которое находится в M, не свяжется с P, а потому получится отрицательное заключение.

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

7. Из двух частных суждений нельзя сделать никакого заключения.