Dilemma (dis - lêmma, zweiteilige Annahme) ist eine Art des Disjunktionsschlusses (s. d.) oder ein Schluß mit zweigliedrigem disjunktiven und zugleich hypothetischen Obersatz: 1) Wenn A ist oder wäre, so ist oder müßte B ein a sein. Weder B noch C sind oder können sein. Also ist A nicht. 2) Wenn S nicht gilt, so muß es weder A noch B sein. S ist A. Also gilt S. Bei mehr als zwei Unterscheidungsgliedern ergeben sich Trilemmen, Tetralemmen, Polylemmen. Das Dilemma kommt oft als Trugschluß vor, z.B. der »Gehörnte« (Cornutus, s. d.), der »Krokodilschluß« (s. d.), der »Antistrephon« (s. d.). Vgl. GELLIUS X, 5; Logik von PORT-ROYAL III, 16; PRANTL, G. d. Log. I, 510.