4.8. Разделительно-категорическое умозаключение

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

1. a  b, a

 b

Такая форма мысли называется утверждающе - отрицающим модусом (Modus Ponendo Tollens). Она считается правильной лишь в том случае, если разделительная посылка является сильной дизъюнкцией.

2. a  b, a

b

Такую форму мысли называют отрицающе-утверждающим модусом (Modus Tollendo Ponens). Она считается правильной лишь в том случае, когда в разделительной посылке учтены все возможные для рассматриваемого случая варианты.

Упражнение 19. Составьте схему разделительно-категорическо­го умозаключения и проверьте с помощью правил модусов обоснова­нность заключения.

1. К., виновный в заведомо незаконном задержании гражданина Я., должен быть наказан исправительными работами на срок до 1 года или увольнением от должности. К. наказан увольнением от должности. Следовательно, он не может быть наказан исправитель­ными работами до 1 года.

2. Данный глагол может стоять или в настоящем, или в прошедшем, или в будущем времени. Данный глагол стоит в настоящем времени. Следовательно, данный глагол не стоит ни в будущем, ни в прошедшем времени.

3. Осужденные к лишению свободы отбыва­ют наказание в ИТК или тюрьме. Осужденный к лишению свободы А. не отбывает наказание в ИТК. Следовательно, он отбывает наказание в тюрьме.

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

5. Минеральные удобрения бывают или азотными, или фосфорными, или калийными. Данное минеральное удобрение не является ни азотным, ни фосфорным. Следовательно, данное удобрение является калийным.

6. Приговор суда может быть обвинительным или оп­равдательным. По данному деду не может быть вынесен оправдатель­ный приговор. Следовательно, приговор должен быть обвинительным.

7. Мировоззрение может быть идеалистическим, материалистическим иди религиозным. Поскольку X. придерживается идеалистического мировоззрения, то он тем самым не является материалистом и не религиозен).

8. Пожар мог произойти или в результате небрежного обращения с огнем, или в результате поджога, или по причине неисправной электропроводки. Данный пожар не произошел ни в результате небрежного обращения с огнем, ни по причине неисправной электропроводки. Следовательно, данный пожар произошел в результате поджога (Ошибка: перечислены не все возможные причины пожара- напр., взрыв, загорание от молнии и т.д.).

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

10. Жалоба на действия адми­нистрации может быть подана в устной или письменной форме. Н. не жаловался на действия администрации устно. Следовательно, он по­дал жалобу в письменной форме.

11. Обвиняемый может быть исполни­телем, организатором, подстрекателем или пособником преступле­ния. Обвиняемый Т. не является- ни исполнителем, ни организато­ром, ни пособником совершенного преступления. Следовательно, Т. является подстрекателем совершенного преступления.

12. Красивые цветы нравятся или вследствие их запаха, или вследствие их вида. Розы нравятся вследствие их запаха, Следовательно, розы не любят за их внешний вид.

13. Он или не купил билет, или опоздал к началу сеанса. Он опоздал к началу се­анса, следовательно, он купил билет.

14. Жалоба на действия администрации может быть подана в устной или письменной форме. Н. не жаловался на действия администрации устно. Следовательно, он подал жалобу в письменной форме.

15. Стрел­ка амперметра, включенного в электрическую цепь, не отклоняется от нуля, потому что либо к цепи не подклю­чен источник тока, либо амперметр неисправен. Установлено, что к цепи источник тока не подключен. Следова­тельно, амперметр исправен.

16. По количеству суждение может быть либо общим, либо частным. Суждение «Уфа — крупный город РФ» не является общим. Следовательно, это суждение является частным.