Aktualizace hesla o paradoxu lháře shrnuje jeho vývoj od antiky po dnešek

Filozofický a logický rébus známý jako paradox lháře se dočkal aktualizace: encyklopedické heslo věnované tomuto tématu, poprvé publikované 20. ledna 2011, prošlo 26. července 2026 podstatnou revizí. Text shrnuje, jak s paradoxem zacházela filozofie od starověku až po současné logické analýzy, a nabízí přehled jeho hlavních variant i pokusů o řešení.

Jádro paradoxu je jednoduché a zároveň zneklidňující. Věta „tato věta je nepravdivá“ vede k logickému bezvýchodišti – pokud je pravdivá, pak je podle svého vlastního obsahu nepravdivá, a pokud je nepravdivá, pak to, co tvrdí, platí, takže je pravdivá. Text připomíná, že podobnou strukturu měla mít i úvodní věta samotné eseje, která tvrdí, že je lží – čímž autor problém demonstruje přímo na vlastním textu.

Historie paradoxu sahá hluboko do antiky. Podle hesla se o něm diskutovalo už ve starověkém Řecku, kde se mu věnovali myslitelé spojovaní s megarskou školou, a zmiňují ho i Aristotelés a Cicero. Populární je také odkaz na Epimenida z Kréty, kterému bylo přisuzováno tvrzení, že všichni Kréťané jsou lháři – jelikož byl sám Kréťan, jeho výrok vede k obdobnému logickému zauzlení jako klasická formulace paradoxu lháře, byť s drobnými odlišnostmi.

Text upozorňuje, že paradox není jen intelektuální kuriozitou. Jeho existence ukazuje, že běžné intuitivní chápání pravdy a nepravdy může vést k rozporům. Pokud se totiž z takové věty pokusíme vyvodit logické závěry mechanicky, lze dospět až k tvrzení, že „všechno je pravda“, což je zjevně nepřijatelný výsledek. Právě proto je paradox lháře po staletí předmětem zájmu logiků i filozofů – nutí je přehodnocovat základní pojmy jako pravdivost, sebeodkaz nebo strukturu jazyka.

Revidované heslo věnuje značnou pozornost tomu, že paradox lháře není jediný svého druhu, ale existuje celá rodina příbuzných formulací. Kromě klasické verze, označované jako FLiar – věta tvrdící, že sama je nepravdivá –, rozlišuje text i takzvaný ULiar, tedy větu, která říká, že sama není pravdivá. Rozdíl mezi oběma formulacemi může působit jako slovíčkaření, ale v logice má zásadní důsledky pro to, jak se s paradoxem dá pracovat a jaká řešení jsou vůbec myslitelná.

Dále heslo popisuje takzvané lhářské cykly, tedy situace, kdy se paradoxní struktura neobjevuje v jediné větě, ale vzniká až vzájemným odkazováním dvou nebo více výroků na sebe. Jako ilustraci text uvádí smyšlený dialog mezi postavami Maxem a Agnes, kde každý z nich pronese větu odkazující na pravdivost výroku toho druhého – a teprve kombinace obou vět vytváří paradox.

Pozornost je věnována také takzvaným booleovským složeninám, mezi něž patří věta typu DLiar, zahrnující logické disjunkce. Tyto varianty ukazují, že paradoxní struktury lze konstruovat i pomocí složitějších logických spojek, nejen prostým sebeodkazem.

Zvláštní kapitolou jsou pak nekonečné sekvence vět, kde se paradox nevytváří kruhovým odkazem jedné věty na sebe, ale řetězcem nekonečně mnoha výroků. Typickým příkladem je takzvaný Yablův paradox, který se podle hesla vědomě vyhýbá přímé