28
ней перечислены все возможные варианты данного высказывания. В противном случае вывод может оказаться неверным.
Обратим особое внимание на четвёртый вопрос – полисиллогизмы и энтимему. Именно этот вопрос вызывает затруднения. Умозаключение, в котором одна посылка условное, а другая – разделительное суждение,
называется условно-разделительным, или лемматическим.
В этом виде умозаключения происходит объединение условнокатегорического умозаключения с разделительно-категорическим. В результате получается условно-разделительное, или лемматическое умозаключение1.
Если разделительная посылка (а с) содержит только два члена, то такое умозаключение называется дилеммой, если в неё входят три члена, то оно называется трилеммой, если более двух – полилеммой. Напоминаем ещё раз: слово «лемма» (греч.) – предположение. Таким образом, речь идёт о разделительных суждениях или высказываниях, входящих в состав логического вывода, в котором есть как условные, так и разделительные посылки, объединённые вместе в одно умозаключение. Разделительная посылка играет в нём роль утверждения или отрицания условной2.
Вусловно-разделительном умозаключении различают два вида дилемм: конструктивную (созидательную) и деструктивную (разрушительную), каждая из которых делится на простую и сложную.
Впростой конструктивной дилемме условная посылка содержит два основания, из которых вытекает одно и то же следствие. Разделительная посылка утверждает оба возможных основания, заключение утверждает следствие. Рассуждение направлено от утверждения истинности оснований
кутверждению истинности следствия.
Логическая схема простой конструктивной дилеммы
(a |
b) (c |
b), a c |
.
b
В сложной конструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка утверждает два основания заключения – оба возможных следствия. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий.
1Термин «лемматическое» означает буквально – «полезное предположение».
2В средневековой логике леммы назывались «рогами» силлогизма, ибо какую бы альтернативу вы не выбрали, обе они равно приводят к неприятным следствиям и вы оказываетесь на рогах дилеммы.