ДИЛЕММА
Дгреч. dilemma, от dis -дважды
и lemma - лемма, посылка), особый вид умозаключений с гипотетическими
(условными) и разделительными (дизъюнктивными) посылками. Различают
конструктивную Д. (утверждающая форма, modus ponens дилеммы) и деструктивную
Д. (отрицающая форма, modus tollens дилеммы), каждая из к-рых, в свою очередь,
может быть простой и сложной. Конструктивные Д.: сложная - "если А,
то
В; если С, то D, А или С; следовательно, В или D"
(А,
В,
С, D - произвольные суждения); простая-"если А, то
В,
если
С, то В; А или С; следовательно, В" (следствия условных посылок
совпадают). Деструктивные Д.: сложная - "если А, то
В;
и
если С, то D; не-В или не-D; следовательно, не-А или не-С"; простая -"если
А, то В; если А, то С; не-В или не-С; следовательно, не-А" (А, В,
С, D - к.-л. суждения; частица "не" - отрицание суждения, перед к-рым
она стоит). Логич. форма Д. находит применение в спорах и дискуссиях (в
частности, по форме простой конструктивной Д. нередко строят опровержения
логические). Как и любые умозаключения в логике, Д. гарантирует истинные
следствия, только если истинны посылки.
В переносном смысле Д. - затруднит. положение,
в к-ром оказывается человек, когда ему надлежит сделать выбор между двумя
равно неприятными для него возможностями.
Лит.: Чёрч А., Введение в математическую
логику, пер. с англ., т. 1, М., 1960, с. 98, 394; Гетманова А. Д., Выражение
дедуктивных умозаключений традиционной логики в символической логике, Мурманск,
1962. Б. В. Бирюков.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я