Yablifying the Rosser Sentence

Journal of Philosophical Logic 43 (5):827-834 (2014)
  Copy   BIBTEX

Abstract

In a recent paper , Urbaniak and Cieśliński describe an analogue of the Yablo Paradox, in the domain of formal provability. Just as the infinite sequence of Yablo sentences inherit the paradoxical behavior of the liar sentence, an infinite sequence of sentences can be constructed that inherit the distinctive behavior of the Gödel sentence. This phenomenon—the transfer of the properties of self-referential sentences of formal mathematics to their “unwindings” into infinite sequences of sentences—suggests a number of interesting logical questions. The purpose of this paper is to give a precise statement of a conjecture from Cieśliński and Urbaniak regarding the unwinding of the Rosser sentence, and to demonstrate that this precise statement is false. We begin with some preliminary motivation, introduce the conjecture against the background of some related results, and finally, in the last section, move on to the proof, which adapts a method used by Solovay and Guaspari

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,960

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Gödelizing the Yablo Sequence.Cezary Cieśliński & Rafal Urbaniak - 2013 - Journal of Philosophical Logic 42 (5):679-695.
A Topological Approach to Yablo's Paradox.Claudio Bernardi - 2009 - Notre Dame Journal of Formal Logic 50 (3):331-338.
Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.
The Liar Syndrome.Albert A. Johnstone - 2002 - SATS 3 (1):37-55.
The many faces of the Liar Paradox.José Martínez-Fernández & Sergi Oms - 2024 - Principia: An International Journal of Epistemology 28 (1):15-21.
Yablo’s Paradox and Circulus Vitiosus: Why Lie about Yourself When You Can Lie about Everyone Else?Andrei Nekhaev - 2019 - Tomsk State University Journal of Philosophy, Sociology and Political Science 13 (50):255-261.

Analytics

Added to PP
2013-07-04

Downloads
98 (#217,631)

6 months
9 (#531,592)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Graham Leach-Krouse
Kansas State University

Citations of this work

Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.
Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.
On Rosser's provability predicates.Taishi Kurahashi - 2014 - Journal of the Japan Association for Philosophy of Science 41 (2):93-101.
Diagonal arguments and fixed points.Saeed Salehi - 2017 - Bulletin of the Iranian Mathematical Society 43 (5):1073-1088.

Add more citations

References found in this work

Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.
Dangerous Reference Graphs and Semantic Paradoxes.Landon Rabern, Brian Rabern & Matthew Macauley - 2013 - Journal of Philosophical Logic 42 (5):727-765.
Gödelizing the Yablo Sequence.Cezary Cieśliński & Rafal Urbaniak - 2013 - Journal of Philosophical Logic 42 (5):679-695.
Rosser sentences.D. Guaspari - 1979 - Annals of Mathematical Logic 16 (1):81.

Add more references