Gödelizing the Yablo Sequence
We investigate what happens when ‘truth’ is replaced with ‘provability’ in Yablo’s paradox. By diagonalization, appropriate sequences of sentences can be constructed. Such sequences contain no sentence decided by the background consistent and sufficiently strong arithmetical theory. If the provability predicate satisfies the derivability conditions, each such sentence is provably equivalent to the consistency statement and to the Gödel sentence. Thus each two such sentences are provably equivalent to each other. The same holds for the arithmetization of the existential Yablo paradox. We also look at a formulation which employs Rosser’s provability predicate.
- Beall, J.C. (2001). Is Yablo’s paradox non-circular? Analysis, 61, 176–187. CrossRef
- Cieslinski, C. (2002). Heterologicality and incompleteness. Mathematical Logic Quarterly, 48, 105–110. CrossRef
- Hájek, P., & Pudlák, P. (1998). Metamathematics of first-order arithmetic. Springer.
- Ketland, J. (2005). Yablo’s paradox and ω-inconsistency. Synthese, 145(3), 295–302. CrossRef
- Leitgeb, H. (2002). What is a self-referential sentence? Critical remarks on the alleged (non-)circularity of Yablo’s paradox. Logique & Analyse, 177–178, 3–14.
- Priest, G. (1997). Yablo’s paradox. Analysis, 57, 236–242. CrossRef
- Smith, P. (2007). An introduction to Gödel’s theorem’s. Cambridge University Press.
- Sorensen, R. (1998). Yablo’s paradox and kindred infinite liars. Mind, 107, 137–154. CrossRef
- Urbaniak, R. (2009). Leitgeb, “about”, Yablo. Logique & Analyse, 207, 239–254.
- Yablo, S. (1993). Paradox without self–reference. Analysis, 53, 251–252. CrossRef
- Gödelizing the Yablo Sequence
- Open Access
- Available under Open Access This content is freely available online to anyone, anywhere at any time.
Journal of Philosophical Logic
Volume 42, Issue 5 , pp 679-695
- Cover Date
- Print ISSN
- Online ISSN
- Springer Netherlands
- Additional Links
- Yablo’s paradox
- Author Affiliations
- 1. Institute of Philosophy, University of Warsaw, Warsaw, Poland
- 2. Institute of Philosophy, Sociology and Journalism, Gdansk University, Gdansk, Poland
- 3. Centre for Logic and Philosophy of Science, Ghent University, Ghent, Belgium