Дилема, (греч. dílemma, від dís — двічі і lemma — лема, посилка), особливий вигляд висновків з гіпотетичними (умовними) і розділовими (диз'юнктивними) посилками . Розрізняють конструктивні Д. (стверджуюча форма, modus ponens дилеми) і деструктивну Д. (заперечлива форма, modus tollens дилеми), кожна з яких, у свою чергу, може бути простою і складною. Конструктивні Д.: складна — «якщо А , то В ; якщо З , то D ; А або З ; отже, В або D » ( A , В , З , D — довільні думки); проста — «якщо A , то В ; якщо З , то В ; А або З ; отже, В » (следствія умовних посилок збігаються). Деструктивні Д.: складна — «якщо А , то В ; і якщо З , то D ; не- В або не- D ; отже, не- А або не- З »; проста — «якщо А , то В , якщо А , то З ; не- В або не- З ; отже, не- А » ( А , В , З , D — які-небудь думки; частка «не» — заперечення думки, перед якою вона стоїть). Логічна форма Д. знаходить вживання в спорах і дискусіях (зокрема, формою простий конструктивною Д. незрідка будують спростування логічні ). Як і будь-які висновки в логіці, Д. гарантує дійсні следствія, лише якщо достеменні посилки.
У переносному розумінні Д. — скрутне положення, в якому виявляється людина, коли йому належить зробити вибір між двома рівно неприємними для нього можливостями.
Літ.: Черч А., Введення в математичну логіку, пер.(переведення) з англ.(англійський), т. 1, M., 1960, с. 98, 394; Гетманова А. Д., Вираження дедуктивних висновків традиційної логіки в символічній логіці, Мурманськ, 1962.
