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

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

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

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

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

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

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

Разделительное умозаключение является правильным при определенных условиях, а именно:

1)части разделительного умозаключения в посылке находятся в отношении исключающего разделения (строгой дизъюнкции);

2)части разделительного суждения в посылке исчерпывают объем делимого понятия.

Разделительное умозаключение существует в двух модусах:

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

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

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