Un dilemma (greco δί-λημμα "doppia proposta") è un problema con almeno due soluzioni o possibilità. Nessuna delle soluzioni è praticamente accettabile; una persona in questa posizione è stata tradizionalmente descritta come impalata sulle corna di un dilemma, né il corno è confortevole.

Il dilemma è talvolta usato come un espediente retorico, nella forma "devi accettare o A, o B"; qui A e B sarebbero proposizioni che portano ciascuna a qualche ulteriore conclusione. Applicato in questo modo, può essere una fallacia, una falsa dicotomia.

Nella logica formale, la definizione di un dilemma si differenzia nettamente dall'uso quotidiano. Due opzioni sono ancora presenti, ma la scelta tra di esse è irrilevante perché entrambe implicano la stessa conclusione. Espresse in modo simbolico:

A B , A C , B C ⊢ C {\a6} C{\a6}displaystyle A{\a6}vee B,A{\a6}Rightarrow C,B{\a6}Rightarrow C{\a6}vdash C{\a6} {\displaystyle A\vee B,A\Rightarrow C,B\Rightarrow C\vdash C}

Questo può essere tradotto informalmente come "uno (o entrambi) di A o B è noto per essere vero, ma entrambi implicano C, quindi indipendentemente dai valori di verità di A e B possiamo concludere C".

I dilemmi cornuti possono presentare più di due scelte. Il numero di scelte dei dilemmi con corno può essere usato nei loro nomi alternativi, come ad esempio due punte (due corni) o dilemma propriamente detto, o tre punte (tre corni) o trilemma, e così via.

Dilemmi costruttivi...

1. (Se X, poi Y) e (Se W, poi Z).

2. 2. X o W.

3. Pertanto, Y o Z.

Dilemmi distruttivi...