Rosser-Type Undecidable Sentences Based on Yablo’s Paradox

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

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,865
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 - 1995 - Cambridge University Press.
Yablo’s Paradox.Graham Priest - 1997 - Analysis 57 (4):236–242.
Gödelizing the Yablo Sequence.Cezary Cieśliński & Rafal Urbaniak - 2013 - Journal of Philosophical Logic 42 (5):679-695.

View all 15 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.

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.
Rosser Sentences.D. Guaspari & R. M. Solovay - 1979 - Annals of Mathematical Logic 16 (1):81--99.
Yablo's Paradox and Referring to Infinite Objects.O. Bueno & M. Colyvan - 2003 - Australasian Journal of Philosophy 81 (3):402 – 412.
Yablo's Paradox and Ω-Inconsistency.Jeffrey Ketland - 2005 - Synthese 145 (3):295-302.
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 downloads
18 ( #339,799 of 2,293,822 )

Recent downloads (6 months)
1 ( #410,247 of 2,293,822 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature