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

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

Простые суждения, из которых состоит разделительное (ди­зъюнктивное) суждение, называются членами дизъюнкции, или ди­зъюнктами.

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

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

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

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

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

Заключение будет истинным, если в условной посылке учтены все возможные случаи.

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