Разделительно‑категорическим называется умозаключение, в котором одна из посылок – разделительное, а другая посылка и заключение – категорические суждения.
Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции, или дизъюнктами. Напр., разделительное суждение «Облигации могут быть предъявительскими или именными» состоит из двух суждений – дизъюнктов: «Облигации могут быть предъявительскими» и «Облигации могут быть именными», соединенных логическим союзом «или».
Утверждая один член дизъюнкции, мы с необходимостью должны отрицать другой и, отрицая один из них, – утверждать другой. В соответствии с этим различают два модуса разделительно‑категорического умозаключения: утверждающе‑отрицающий и отрицающе‑утверждающий.
1. В утверждающе‑отрицающем модусе (modus ponendo tollens) меньшая посылка, категорическое суждение, утверждает один член дизъюнкции, заключение – также категорическое суждение – отрицает другой ее член. Напр.: Облигации могут быть предъявительскими (р) или именными (q).
Данная облигация предъявительская (p). Данная облигация не является именной (q).
Схема утверждающе‑отрицающего модуса:
где
– символ строгой дизъюнкции.
Заключение по этому модусу всегда достоверно, если соблюдается правило: большая посылка должна быть исключающе‑разделительным суждением, или суждением строгой дизъюнкции. Если это правило не соблюдается, достоверного заключения получить нельзя.
2. В отрицающе‑утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Напр.: Облигации могут быть предъявительскими (р) или именными (q). Данная облигация не является предъявительской (⌉р). Данная облигация именная (q).
Схема отрицающе‑утверждающего модуса:
где – символ закрытой дизъюнкции.
Утвердительный вывод получен посредством отрицания: отрицая один дизъюнкт, мы утверждаем другой.
Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения – дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказыванием. Применяя неполное (открытое) дизъюнктивное высказывание, достоверного заключения получить нельзя.
Разделительная посылка может включать не два, а три и больше членов дизъюнкции.