Abstract
It is argued that Yablo’s Paradox is not strictly paradoxical, but rather ‘ω-paradoxical’. Under a natural formalization, the list of Yablo sentences may be constructed using a diagonalization argument and can be shown to be ω-inconsistent, but nonetheless consistent. The derivation of an inconsistency requires a uniform fixed-point construction. Moreover, the truth-theoretic disquotational principle required is also uniform, rather than the local disquotational T-scheme. The theory with the local disquotation T-scheme applied to individual sentences from the Yablo list is also consistent.
Similar content being viewed by others
References
Forster T. (1996). ‘Yablo’s Paradox’, available at www.dpmms.cam.ac.uk/~tf/
R. Kaye (1991) Models of Peano Arithmetic Oxford University Press Oxford.
G. Priest (1997) ArticleTitle‘Yablo’s Paradox’ Analysis. 57 236–242 Occurrence Handle10.1111/1467-8284.00081
S. Yablo (1993) ArticleTitle‘Paradox without Self-Reference’ Analysis. 53 251–252
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ketland, J. Yablo’s Paradox and ω-Inconsistency. Synthese 145, 295–302 (2005). https://doi.org/10.1007/s11229-005-6201-6
Issue Date:
DOI: https://doi.org/10.1007/s11229-005-6201-6