Paradox lháře

Paradox lháře též označován jako Epiménidův, Eubulidův či paradox Kréťana je logický paradox, jeden z nejznámějších a nejstarších, založený na principu autoreference. Poprvé byl údajně vysloven filosofem Epimenidem z Knósu kolem roku 600 př. n. l. Tarski říká, že tento paradox lze formulovat, pokud jazyk umí pojmenovat vlastní výrazy, obsahuje predikát pravdivý a platí logické zákony.

Znění

Existuje více různých variant, ale jejich podstata zůstává stejná. Jde o autoreferenční výroky, tedy takové, které odkazují samy k sobě. Uvádí, že v tentýž okamžik mají nebo nemají určitou vlastnost, zde nejčastěji pravdivost.

1. Tato věta je nepravdivá.

2. Nyní lžu.

3. Epimenides (původem z Kréty) říká: "Všichni Kréťani jsou lháři."