Ein Dilemma (griechisch δί-λημμα "double proposition") ist ein Problem mit mindestens zwei Lösungen oder Möglichkeiten. Keine der Lösungen ist praktisch akzeptabel; eine Person in dieser Position wird traditionell so beschrieben, dass sie einem Dilemma auf die Hörner aufgespießt wird, wobei keine der beiden Hörner bequem ist.

Das Dilemma wird manchmal als rhetorisches Mittel verwendet, in der Form "Sie müssen entweder A oder B akzeptieren"; hier wären A und B Vorschläge, die jeweils zu einer weiteren Schlussfolgerung führen würden. Auf diese Weise angewandt, kann es ein Trugschluss, eine falsche Dichotomie sein.

In der formalen Logik unterscheidet sich die Definition eines Dilemmas deutlich vom Alltagsgebrauch. Es gibt nach wie vor zwei Möglichkeiten, aber die Wahl zwischen ihnen ist unerheblich, da sie beide die gleiche Schlussfolgerung implizieren. Symbolisch ausgedrückt also:

A B , A C , B C C {\Anzeigestil A\vee B,A\Rechtspfeil C,B\Rechtspfeil C\vdash C} {\displaystyle A\vee B,A\Rightarrow C,B\Rightarrow C\vdash C}

Dies kann informell übersetzt werden als "eines (oder beide) von A oder B ist als wahr bekannt, aber beide implizieren C, so dass wir unabhängig von den Wahrheitswerten von A und B auf C schließen können".

Verhörte Dilemmas können mehr als zwei Möglichkeiten darstellen. Die Anzahl der Wahlmöglichkeiten bei gehörnten Dilemmata kann in ihren alternativen Namen verwendet werden, wie z.B. zweizackig (zwei Hörner) oder Dilemma an sich, oder dreizackig (drei Hörner) oder Trilemma, und so weiter.

Konstruktive Dilemmas--

1. (Wenn X, dann Y) und (Wenn W, dann Z).

2. X oder W.

3. Daher Y oder Z.

Zerstörerische Dilemmas--