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

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

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

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

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

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

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

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

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

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

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

22.Условно-разделительные умозаключения.

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

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

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

В сложной конструктивной дилемме условная посылка содержит два основания и два следствия.

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

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

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