ДИЛЕ́ММА
-
Рубрика: Философия
-
-
Скопировать библиографическую ссылку:
ДИЛЕ́ММА (греч. δίλημμα, от δίς – дважды и λῆμμα – лемма, предположение, посылка), вид умозаключения (логич. вывода), посылками (исходными допущениями) которого являются гипотетические (условные) и дизъюнктивные (разделительные) суждения. Если прописными лат. буквами обозначать высказывания (суждения), а выражения «не», «или» и «если..., то...» понимать соответственно как логич. отрицание, дизъюнкцию и импликацию (см. Логические операции), то т. н. конструктивная (утверждающая) Д. имеет вид: «если А, то В; если С, то D; А или С; следовательно, В или D» (сложная конструктивная Д.) или «если А, то В; если С, то В; A или C; следовательно, В» (простая конструктивная Д.). Сложная и простая деструктивные (отрицающие) Д. имеют соответственно вид: «если А, то B; если С то D; не-В или не-D; следовательно, не-А или не-С» и «если А, то В; если А, то С; не-В или не-С; следовательно, не-А».
Все эти формы Д. доказуемы (или являются аксиомами) в совр. формальной (математической) логике, а их содержат. формулировки используются как орудия дискуссий и споров (напр., распространённым инструментом логич. опровержения служит простая деструктивная Д.). В расширит. смысле под Д. понимают затруднит. ситуацию выбора между двумя равно неприемлемыми возможностями.