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

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

В чисто разделительномумозаключении обе (или все) посылки являются разделительными суждениями. В традици­онной логике принята следующая его структура:

SестьА,или В, или С.

А есть или 1А ,или А2..

S eсть или А1 , или А2, илиB, или С.

В первом разделительном суждении каждое из трех простых cуждений “SестьA”, ”SестьВ”, “Sесть С” называется аль­тернативой. Из суждения“SестьА”образуются еще две альтернативы, которые составляют два члена новой дизъюнкции.

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

Первый модус - утверждающе-отрицающий

Второй модус - отрицающе-утверждающий

Разделительные умозаключения делятся на простые разделительные и разделительно- категорические умозаключения. В первом случае разделительными являются все посылки. Соответственно, разделительнокатегорические суждения имеют в качестве одной из посылок простое категорическое суждение. -Таким образом, разделительным считается умозаключение, все или часть посылок которого являются разделительными суждениями. Структура простого разделительного умозаключения отражается следующим образом. S есть А или В, или С. А есть А1 или А2. S есть А1 или А2, или В, или С. -Разделительно- категорические умозаключения можно представить в виде схемы. S есть А или В. S есть А (В). S не есть В (А).