Глава XVI

УСЛОВНЫЕ, РАЗДЕЛИТЕЛЬНЫЕ И УСЛОВНО РАЗДЕЛИТЕЛЬНЫЕ СИЛЛОГИЗМЫ

Условные, или гипотетические, силлогизмы. До сих пор мы рассматривали силлогизм, в котором посылками служат категори­ческие суждения, но мы видели, что кроме категорических сужде­ний есть ещё условные и разделительные суждения. Поэтому могут быть такие силлогизмы, в посылки которых входят сужде­ния условные или разделительные, или и те и другие. Как мы видели, схема условного суждения будет такова:

Если Л есть В, то С есть D,

Первое суждение, как мы видели, называется «основанием», второе называется «следствием». Можно составить такой силло­гизм, в котором одна из посылок будет условным суждением; тогда у нас получится условный силлогизм.

Есть два типа условных силлогизмов:

1. Modus ponens, или модус конструктивный.

Если А есть В, то С есть D.

А есть В.____________

Следовательно, С есть D,

Пример:

Если дождь идёт, то почва мокрая. Дождь идёт

Следовательно, почва мокрая.

Этот тип умозаключения называется modus ponens, потому что в нём основание полагается, утверждается (от ponere— вставить); в нём в меньшей посылке содержится утверждение основания. Вследствие того, что утверждается основание, утверждается также и следствие, потому что в данном случае основание есть причина следствия. Второй тип условных силлогизмов называется:

2. Modus tollens, или модус деструктивный. Он называется modus tollens потому, что меньшая посылка содержит отрицание, и именно следствия (tollere—уничтожать).

Если А есть В, то С есть D.

С не есть D.

Следовательно, А не есть В,

Пример:

Если дождь идёт, то почва мокрая

Но почва не мокрая

Следовательно, дождь не идёт.

В этом силлогизме в меньшей посылке отрицается следствие, в силу чего в заключении отрицается основание.

Таким образом, получаем два типа условного силлогизма. Первый называется также модус конструктивный, потому что в нём получается утвердительное заключение (от construe — строю, созидаю), второй тип называется модус деструктивный, потому что в нём получается отрицательное заключение Мот destruo—разрушаю).

Следует заметить, что в условных силлогизмах можно умозаключать только лишь от утверждения основания к утверждению следствия и от отрицания следствия к отрицанию основания, р .но нельзя умозаключать от утверждения следствия к утвержде­нию основания и от отрицания основания к отрицанию следствия. Это оттого, что одно и то же действие может созидаться различ­ными причинами. В самом деле, если я отрицаю, что данная причина произвела то или другое действие, то из этого не сле­дует, что его не могла произвести какая-нибудь другая причина; если я утверждаю, что данное действие произошло, то это не значит, что оно порождено данной причиной, потому что могло быть множество других причин, которые могли его породить. Для пояснения этого возьмём следующий условный силлогизм;

Если кто-нибудь читает хорошие книги, то он приобретает познания.

N приобрёл познания.

Мы здесь утверждаем следствие. Можем ли мы утверждать основание? Следует ли отсюда, что N читал хорошие книги? Нет, так как он эти познания мог приобрести при помощи различных других способов, например при помощи общения с учёными людьми, слушания лекций и т. п. Приобретение позна­ний имеет своей причиной не одно только чтение хороших книг, но и многие другие причины.

Попробуем отрицать основание; возьмём тот же сил­логизм:

Если кто-нибудь читает хорошие книги, то он приобретает познания.

N не читает хороших книг.

Следует ли отсюда, что он не приобретёт познания? Нет, не следует по тем же соображениям, которые только что были при­ведены.

Разделительные силлогизмы называются так потому, что в одну из посылок их (именно в большую) входит разделительное суж­дение. Как мы видели, общая форма разделительного суждения будет:

А есть или В, или С, или D, или Е.

Каждый член разделительного суждения называется альтернативой.

Существует следующих два типа разделительного силлогизма.

1. Modus ponendo tollens. В этом силлогизме в меньшей посылке утверждается один из членов деления большей посылки, или одна альтернатива; в заключение же вследствие этого все остальные члены отрицаются.

Его форма:

А есть или В, или С, или D, или Е.

А есть В.

Следовательно, Л не есть ни С, ни D, ни E. Пример:

Треугольники бывают или остроугольные,

или тупоугольные, или

прямоугольные. Данный треугольник есть остроугольный.______________

Следовательно, он не есть ни прямоугольный, ни тупоугольный.

Для правильности этого вида умозаключения необходима пра­вильность большей посылки, т. е. необходимо, чтобы члены Де­ления были перечислены сполна и чтобы они исключали друг Друга:

2. Modus tollendo ponens. В этой форме, в противоположность предыдущей, в меньшей посылке отрицаются все члены де­ления, за исключением одного, который и утверждается в заклю­чении.

Его схема:

А есть или B или С, или D.

А не есть ни В, ни С.

Следовательно, А есть D. Пример:

Треугольники бывают или остроугольные, - или тупоугольные, или прямоугольные.

Данный треугольник не есть ни остроугольный, ни тупоугольный. Следовательно, он — прямоугольный.

Этот вид разделительных умозаключений употребляется в гео­метрии под именем непрямого доказательства. Например:

Известная сумма должна быть или больше, или меньше, или равна тому-то.

Но она ни больше, ни меньше. Следовательно, она равна.

Условие- правильности разделительного силлогизма, как это легко видеть, сводится к правильности разделительных суждений, входящих в качестве посылки в состав разделительного силло­гизма.

Условно-разделительные силлогизмы. Наконец, последняя группа умозаключений — это условно-разделительные, или лемматические: Это такие умозаключения, в которых большая посылка состоит из двух или большего числа условных суждений, а меньшая состоит из разделительного.

Здесь мы различаем следующие четыре формы умозаключений:

1. Простой модус ponens, или конструктивный. Он называется ponens потому, что меньшая посылка утвердительная; конструк­тивным он называется потому, что заключение утвердительное. Его схема:

Если А есть В, то С есть D;

Если Е есть F, то С есть D.

Но или А есть В, или Е есть F.

Следовательно, С есть D.

Пример:

Если наука сообщает полезные факты, то она заслуживает внимания. Если изучение науки служит упражнением для умственных способ­ностей, то она также заслуживает внимания. Но каждая наука или сообщает полезные факты, или занятие ею упражняет умственные способности.

Следовательно, каждая наука заслуживает внимания.

Заметим, что в этой форме умозаключения в меньшей посылке Утверждаются основания.

От этого простого модуса сложный отличается тем, что в нём в условных суждениях нет одного общего основания или общего следствия, как это мы имеем в простом модусе, и самое заключение выражается при помощи разделительного суждения;

2. Сложный модус ponens, или конструктивный. Его схема:

Если А есть B, то С есть D;

И если Е есть F, то G есть Н.

Но или А есть В. или D есть F.

Следовательно, или С есть D, или G есть H. Пример:

Если я брошусь из окна, то я получу ушибы.

Если я пойду по лестнице, то я сгорю.

Но я должен или броситься из окна, или пойти по лестнице.

Следовательно, я или ушибусь, или сгорю.

Заметим, что в этой форме умозаключения в меньшей посылке также утверждается основание.