II. Разделительно-категорическое умозаключение
Разделительно-категорическим умозаключением называется такое дедуктивное опосредствованное умозаключение, в котором одна из посылок является разделительным, а вторая - простым категорическим суждением.
Данный вид умозаключений строится по двум модусам - отрицающе-утверждающему (tollendo-ponens) и утверждающе-отрицающему (ponendo-tollens).
Для этих двух модусов существует по одному специальному правилу - в отрицающее-утверждающем модусе должна соблюдаться полнота разделительной посылки (т.е.перечислены все дизъюнкты), в утверждающе-отрицающем модусе разделительная посылка должна быть исключающее-разделяющим суждением (строгой дизъюнкцией).
Рассмотрим умозаключения.
Всякое суждение является общим (a) или частным (b)
Данное суждение не является общим (не-a)
---------------------------------------------------------------------
Данное суждение является частным (b)
Данное умозаключение представляет собой разделительно-категорическое умозаключение, построенное по схеме отрицающе-утверждающего модуса:
|
|
a \/ b
ù a
---------
b
Но разделительная посылка не исчерпывает всех возможных случаев. В данном случае не указан такой возможный вид суждения по количеству как «единичное». Значит, вывод не состоятелен.
Оружие может быть колющим (a) или режущим (b)
Данное оружие колющее (a)
--------------------------------------------------------------------
Данное оружие не режущее (не-b)
a \/ b
a
---------
ù b
Данное разделительно-категорическое умозаключение построено по схеме утверждающе-отрицающего модуса, но правило этого модуса - разделительная посылка должна быть исключающее-разделительным суждением не выполнена. Вывод получает вероятный характер.
При решении разделительно-категорических умозаключений надо помнить: если вторая посылка утверждает один из составляющих первой посылки, то первая посылка должна быть исключающее-разделительным суждением (строгая дизъюнкция); если вторая посылка отрицает один из составляющих первой посылки, то в первой посылке должны быть перечислены все возможные дизъюнкты.