Journal of Philosophical Logic 42 (5):679-695 (2013)
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
|Keywords||Incompleteness Omega-liar Yablo’s paradox Paradox Provability Arithmetic Goedel|
|Categories||categorize this paper)|
References found in this work BETA
Citations of this work BETA
Yablifying the Rosser Sentence.Graham Leach-Krouse - 2014 - Journal of Philosophical Logic 43 (5):827-834.
Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.
Liar-Type Paradoxes and the Incompleteness Phenomena.Makoto Kikuchi & Taishi Kurahashi - 2016 - Journal of Philosophical Logic 45 (4):381-398.
Similar books and articles
Equiparadoxicality of Yablo's Paradox and the Liar.Ming Hsiung - 2013 - Journal of Logic, Language and Information 22 (1):23-31.
Yablo Sequences in Truth Theories.Cezary Cieśliński - 2013 - In K. Lodaya (ed.), Logic and Its Applications, Lecture Notes in Computer Science LNCS 7750. Springer. pp. 127--138.
Yablo's Paradox and Referring to Infinite Objects.O. Bueno & M. Colyvan - 2003 - Australasian Journal of Philosophy 81 (3):402 – 412.
Fibonacci, Yablo, and the Cassationist Approach to Paradox.Laurence Goldstein - 2006 - Mind 115 (460):867-890.
Variations on a Theme by Yablo.Hartry Field - 2005 - In J. C. Beall & Bradley Armour-Garb (eds.), Deflationism and Paradox. Clarendon Press.
Added to index2012-08-31
Total downloads54 ( #95,716 of 2,158,195 )
Recent downloads (6 months)3 ( #133,787 of 2,158,195 )
How can I increase my downloads?