Yablov paradox jeparadoxpodobný paradoxu lháře . V roce 1993 ji vydal Stefan Jablo . Důležitost tohoto paradoxu spočívá v tom, že ačkoli je podobný paradoxu lhářů a jeho různým variantám, tento paradox se, alespoň na první pohled, vyhýbá sebereferenci . Pravda, mnozí se domnívají, že je to jen na první pohled a sebereference je „skrytá“ uvnitř paradoxu.
Vezměte nekonečné množství výroků:
( S 1 ): všechny S k pro k > 1 jsou nepravdivé. ( S 2 ): všechny S k pro k > 2 jsou nepravdivé. ( S 3 ): všechny S k pro k > 3 jsou nepravdivé. …Zejména je třeba věnovat zvláštní pozornost tomu, že každý výrok neříká nic o své vlastní pravdě nebo nepravdě, a to ani nepřímým způsobem, protože něco říká pouze o tvrzeních s vyššími čísly, a to platí pro všechny.
Vezměte jakýkoli výrok S k . Je to nepravda nebo pravda? Předpokládejme, že je to pravda. Potom Sk +1 , Sk +2 atd . jsou všechny nepravdivé. Ale nepravdivost Sk + 2 , Sk + 3 atd. je přesně to, co Sk + 1 tvrdí . Proto dostáváme rozpor: na jedné straně je S k +1 nepravdivé (přímý důsledek pravdivosti S k ), na druhé straně je pravdivé (přímý důsledek nepravdivosti S k +2 , Sk + 3 , Sk + n ) . Protože jsme dosáhli rozporu, pak byl náš předpoklad chybný a S k je ve skutečnosti nepravdivé. To platí pro jakékoli k .