Journal of Philosophical Logic 43 (5):999-1017 (2014)

It is widely considered that Gödel’s and Rosser’s proofs of the incompleteness theorems are related to the Liar Paradox. Yablo’s paradox, a Liar-like paradox without self-reference, can also be used to prove Gödel’s first and second incompleteness theorems. We show that the situation with the formalization of Yablo’s paradox using Rosser’s provability predicate is different from that of Rosser’s proof. Namely, by using the technique of Guaspari and Solovay, we prove that the undecidability of each instance of Rosser-type formalizations of Yablo’s paradox for each consistent but not Σ1-sound theory is dependent on the choice of a standard proof predicate
Keywords Incompleteness theorems  Yablo’s paradox  Rosser’s provability predicates  Proof predicates  Guaspari-Solovay’s construction
Categories (categorize this paper)
DOI 10.1007/s10992-013-9309-z
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,261
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Paradox Without Self-Reference.Stephen Yablo - 1993 - Analysis 53 (4):251.
The Logic of Provability.George S. Boolos - 1993 - Cambridge and New York: Cambridge University Press.
Arithmetization of Metamathematics in a General Setting.S. Feferman - 1966 - Journal of Symbolic Logic 31 (2):269-270.
Yablo’s Paradox.Graham Priest - 1997 - Analysis 57 (4):236–242.

View all 16 references / Add more references

Citations of this work BETA

Liar-Type Paradoxes and the Incompleteness Phenomena.Makoto Kikuchi & Taishi Kurahashi - 2016 - Journal of Philosophical Logic 45 (4):381-398.
On Rosser's Provability Predicates.Taishi Kurahashi - 2014 - Journal of the Japan Association for Philosophy of Science 41 (2):93-101.

Add more citations

Similar books and articles

Gödelizing the Yablo Sequence.Cezary Cieśliński & Rafal Urbaniak - 2013 - Journal of Philosophical Logic 42 (5):679-695.
Yablifying the Rosser Sentence.Graham Leach-Krouse - 2014 - Journal of Philosophical Logic 43 (5):827-834.
Equiparadoxicality of Yablo’s Paradox and the Liar.Ming Hsiung - 2013 - Journal of Logic, Language and Information 22 (1):23-31.
Yablo's Paradox and Referring to Infinite Objects.O. Bueno & M. Colyvan - 2003 - Australasian Journal of Philosophy 81 (3):402 – 412.
Rosser Orderings and Free Variables.Dick Jongh & Franco Montagna - 1991 - Studia Logica 50 (1):71 - 80.
Modal Analysis of Generalized Rosser Sentences.Vítězslav Švejdar - 1983 - Journal of Symbolic Logic 48 (4):986-999.


Added to PP index

Total views
33 ( #331,849 of 2,455,853 )

Recent downloads (6 months)
2 ( #303,332 of 2,455,853 )

How can I increase my downloads?


My notes