См. задание 12 контрольной работы

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

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

Данный вид умозаключений строится по двум модусам - отрицающе-утверждающему (tollendo-ponens) и утверждающе-отрицающему (ponendo-tollens).

Для этих двух модусов существует по одному специальному правилу - в отрицающее-утверждающем модусе должна соблюдаться полнота разделительной посылки (т.е.перечислены все дизъюнкты), в утверждающе-отрицающем модусе разделительная посылка должна быть исключающее-разделяющим суждением (строгой дизъюнкцией).

Рассмотрим умозаключения.

Всякое суждение является общим (a) или частным (b)

Данное суждение не является общим (не-a)

---------------------------------------------------------------------

Данное суждение является частным (b)

Данное умозаключение представляет собой разделительно-категорическое умозаключение, построенное по схеме отрицающе-утверждающего модуса:

a \/ b

ù a

---------

b

Но разделительная посылка не исчерпывает всех возможных случаев. В данном случае не указан такой возможный вид суждения по количеству как «единичное». Значит, вывод не состоятелен.

Оружие может быть колющим (a) или режущим (b)

Данное оружие колющее (a)

--------------------------------------------------------------------

Данное оружие не режущее (не-b)

a \/ b

a

---------

ù b

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

При решении разделительно-категорических умозаключений надо помнить: если вторая посылка утверждает один из составляющих первой посылки, то первая посылка должна быть исключающее-разделительным суждением (строгая дизъюнкция); если вторая посылка отрицает один из составляющих первой посылки, то в первой посылке должны быть перечислены все возможные дизъюнкты.