Умозаключение, в котором одна из посылок – совокупность условных высказываний, а другая – разделительное высказывание, называется условно-разделительным умозаключением.
По-другому эти умозаключения называют лемматическими . Разделительное высказывание может включать в себя две (дилеммы), три (трилеммы) и большее число альтернатив.
В процессе рассуждений мы чаще всего пользуемся дилеммами, которые можно разделить по следующим основаниям: а) по качеству высказываний, входящих в заключение; б) по сложности высказываний, входящих в заключение.
По качеству высказываний, входящих в заключение, дилеммы делятся на конструктивные и деструктивные.
Конструктивными называются дилеммы, в заключение которых входят утвердительные высказывания.
Деструктивными называют дилеммы, в заключение которых входят отрицательные высказывания.
По сложности высказываний, входящих в заключение, дилеммы делятся на простые и сложные.
Простыми называются дилеммы, заключением которых являются простые высказывания или их отрицание.
Сложными называют дилеммы, заключением которых являются дизъюнкция простых высказываний или их отрицание.
1. Простая конструктивная дилемма: в первой (условной) посылке этой дилеммы из двух оснований следует одно и то же следствие. Во второй (разделительной) посылке утверждаются оба основания, а заключение утверждает следствие.
Простота дилеммы заключается в том, что в условных посылках у двух разных оснований – одно и то же следствие, утверждаемое в заключении в виде простого категорического высказывания.
Конструктивный характер дилеммы в том, что рассуждение направлено от утверждения оснований к утверждению следствия.
Схема простой конструктивной дилеммы:
Пример.
Если данное преступление можно квалифицировать как кражу (р),
то это преступление против собственности (r)
Если преступление можно квалифицировать как мошенничество (q),
то это преступление против собственности (r)
Это преступление – кража (p) или мошенничество (q)
В любом случае это преступление против собственности (r)
2. Сложная конструктивная дилемма: условная посылка содержит два разных основания, из которых вытекают два разных следствия; разделительная посылка утверждает два этих основания; в заключении утверждаются оба следствия.