Разделительно – категорические суждения.

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

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

Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции, или дизъюнктами. Например, разделительное суждение «Облигации могут быть предъявительскими или именными» состоит из двух суждений — дизъюнктов: «Облигации могут быть предъявительскими» и «Облигации могут быть именными», соединенных логическим союзом «или».

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

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

Его логическая структура такова:

а или в, или с

                        а                     

   не-в и не-с

Например:

Облигации могут быть предъявительскими (а) или именными (в)

Данная облигация предъявительская (а)

Данная облигация не является именной (не-в)

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

2. Отрицающее-утверждающий модус – это разновидность разделительно-категорического умозаключения, в котором путем отрицания всех членов разделительного суждения, кроме одного, производится утверждение оставшегося члена.

Его логическая структура:

а или в, или с

не-а и не-в

        с

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

Облигации могут быть предъявительскими (а) или именными (в)

Данная облигация не является предъявительской (не-а)

Данная облигация именная (в)

Утвердительный вывод получен посредством отрицания: отрицая один дизъюнкт, мы утверждаем другой.

Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения — дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказыванием.