Yablo's paradox
Appearance
Yablo's paradox is of type similar to the liar paradox published by Stephen Yablo in 1993.[1]
The paradox arises from considering the following infinite set of sentences:
- (S1): for all k > 1, Sk is false
- (S2): for all k > 2, Sk is false
- (S3): for all k > 3, Sk is false
- ...
- ...
The set is paradoxical, because it is unsatisfiable (contradictory), but this unsatisfiability defies immediate intuition.
Moreover, none of the sentences refers to itself, but only to the subsequent sentences; this leads Yablo to claim that his paradox does not rely on self-reference.
References
- ^ "Paradox Without Self-Reference" (PDF). Analysis. 53 (4): 251–252. 1993. doi:10.1093/analys/53.4.251.