36

результате получается условно-разделительное, или лемматическое умозаключение1.

Если разделительная посылка (а с) содержит только два члена, то такое умозаключение называется дилеммой, если в неё входят три члена, то оно называется трилеммой, если более двух – полилеммой. Напоминаем ещё раз: слово «лемма» (греч.) – предположение. Таким образом, речь идёт о разделительных суждениях или высказываниях, входящих в состав логического вывода, в котором есть как условные, так и разделительные посылки, объединённые вместе в одно умозаключение. Разделительная посылка играет в нём роль утверждения или отрицания условной2.

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

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

кутверждению истинности следствия.

Логическая схема простой конструктивной дилеммы

. b

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

1Термин «лемматическое» означает буквально «полезное предположение».

2В средневековой логике леммы назывались «рогами» силлогизма, ибо какую бы альтернативу вы не выбрали, обе они равно приводят к неприятным следствиям и вы оказываетесь на рогах дилеммы.