Удивительная логика

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

=> Этот философ не считает первоначалом мира материю, или он не считает первоначалом мира сознание.