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

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

Важно отметить, что в условном, или импликативном, суждении может быть не одно основание и одно следствие, а больше оснований или суждений.

Например, в суждении «Если поступать в МГУ, то надо много заниматься или же надо иметь много дениег» из одного основания вытекают два следствия, что с помощью условных обозначений можно представить в виде формулы: ( а → b)˄(а → c ).

В суждении «Если поступать в МГУ, то надо много заниматься, а если поступать в МГИМО, то тоже надо много заниматься» из двух оснований вытекает одно следствие: ( а → b)˄(c→ b).

В суждении «Если страной правит мудрый человек, то она процветает, а если ей управляет проходимец, то она бедствует» из двух оснований вытекаеют два следствия: ( а → b)˄(c→ d).

В суждении «Если я выступлю против окружающей меня несправедливости, то останусь человеком, хотя жестоко пострадаю; если равнодушно пройду мимо неё, то перестану себя уважать, хотя и буду цел и невредим; а если стану всячески содействовать ей, то превращусь в животное, хотя и достигну материального и карьерного благополучия» из трёх оснований вытекает три следствия: ( а → b)˄(c→ d)˄(e → f)/

Если в первой посылке условно — разделительного силлогизма содержится два основания или следствия, то такой силлогизм называется дилеммой, а если оснований или следствий три, то он называется, то он называется трилеммой, а если первая посылка включает в себя более трёх оснований или следствий, то силлогизм является полилеммой. Чаще всегов мышлении и речи всречается дилемма, на примере которой мы и рассмотрим условно — разделительный силлогизм (часто называемый также условно — разделительным умозаключением).

Диллема может быть конструктивной (утверждающей) и деструктивной (отрицающей). Каждый из этих видов диллемы, в свою очередь, делится на две разновидности: как конструктивная, так и деструктивная дилемма может быть простой и сложной.

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

Если поступать в МГУ, то надо много заниматься, а

если поступать в МГИМО, то тоже надо много заниматься.

Можно поступать в МГУ или МГИМО.

Надо много заниматься.

((( а → b) ˄ (c→ b)) ˄ (а ˅ с)) → b

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

Если страной правит мудрый человек, то она процветает,

а если ей управляет проходимец, то она бедствует.

Страной может управлять мудрый человек или проходимец.

Страна может процветать или бедствовать.

((( а → b) ˄ (c→d)) ˄ (а ˅ с)) → ( b ˅ d )

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

Если поступать в МГУ, надо много заниматься

или же надо много дениег..

Я не хочу много заниматься или же тратить много денег.

Я не буду поступать в МГУ.

((( а→ b) ˄ ( а→ с )) ˄ (⌝b ˅ ⌝с))→⌝а

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

Если философ считает первоночалом мира материю,

то он материалист,

а если он считает первоночалом мира сознание,

то он идеалист.

Этот философ не материалист или не идеалист.

Это философ не считает первоначалом мира материю

или он не считает первоночалом мира сознание.

((( а → b) ˄ (c→d)) ˄(⌝b ˅ ⌝d))→( ⌝а ˅ ⌝c)

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