Dilemma

Template:Nota disambigua Template:Nd Un dilemma (dal greco antico Template:Polytonic "proposizione doppia") è un problema che offre un'alternativa fra due o più soluzioni, nessuna delle quali si rivela, in pratica, accettabile. Quando la scelta deve avvenire fra tre opzioni, ciascuna delle quali è (o sembra) inaccettabile o sfavorevole il termine usato è trilemma.

Il dilemma viene proposto spesso come espediente della retorica, nella forma "devi accettare A, oppure B", dove A e B sarebbero proposizioni che conducono a ulteriori conclusioni. Applicato in tal modo, esso può essere un sofisma, o una falsa dicotomia.

Logica formale

In logica formale, la definizione di dilemma si differenzia profondamente dall'uso che si fa del termine nel linguaggio comune. È ancora presente l'alternativa tra due opzioni, ma la scelta fra le due possibilità è irrilevante perché esse implicano entrambe la stessa conclusione. Questo può essere formulato in simboli come

$A\vee B,A\Rightarrow C,B\Rightarrow C⊢C$

che può essere informalmente espresso così: "si sa che almeno una tra A e B è vera (eventualmente possono esserlo entrambe). Entrambe poi implicano C. Se ne conclude che C è vera indipendentemente dai valori di verità di A e B."

Dilemmi costruttivi

$(X,\Rightarrow Y)\wedge (W\Rightarrow Z),X\vee W⊢Y\vee Z$

Dilemmi distruttivi

$(X,\Rightarrow Y)\wedge (W\Rightarrow Z),(\mathrm{\neg }Y)\vee (\mathrm{\neg }Z)⊢(\mathrm{\neg }X)\vee (\mathrm{\neg }W)$

Voci correlate

• Antinomia
• Dilemma del porcospino
• Dilemma corneliano
• La donna, o la tigre?
• Logica matematica
• Paradosso
• Paradosso del Comma 22
• Test della Kobayashi Maru

Collegamenti esterni

• Template:Collegamenti esterni