Journal of Philosophical Logic 42 (5):679-695 (2013)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
Ming Hsiung (2013). Equiparadoxicality of Yablo's Paradox and the Liar. Journal of Logic, Language and Information 22 (1):23-31.
Cezary Cieśliński (2013). Yablo Sequences in Truth Theories. In K. Lodaya (ed.), Logic and Its Applications, Lecture Notes in Computer Science LNCS 7750.
Roy A. Sorensen (1998). Yablo's Paradox and Kindred Infinite Liars. Mind 107 (425):137-155.
O. Bueno & M. Colyvan (2003). Yablo's Paradox and Referring to Infinite Objects. Australasian Journal of Philosophy 81 (3):402 – 412.
Laurence Goldstein (2006). Fibonacci, Yablo, and the Cassationist Approach to Paradox. Mind 115 (460):867-890.
Jeffrey Ketland (2005). Yablo's Paradox and Ω-Inconsistency. Synthese 145 (3):295 - 302.
Jan Woleński (1993). Samozwrotność i odrzucanie. Filozofia Nauki 1.
P. Schlenker (2007). The Elimination of Self-Reference: Generalized Yablo-Series and the Theory of Truth. [REVIEW] Journal of Philosophical Logic 36 (3):251 - 307.
Jeffrey Ketland (2004). Bueno and Colyvan on Yablo's Paradox. Analysis 64 (2):165–172.
Bradley Dowden, Liar Paradox. Internet Encyclopedia of Philosophy.
Laureano Luna (2011). Reasoning From Paradox. The Reasoner 5 (2):22-23.
Dale Jacquette (2007). Denying The Liar. Polish Journal of Philosophy 1 (2):91-98.
Added to index2012-08-31
Total downloads30 ( #46,393 of 722,929 )
Recent downloads (6 months)2 ( #36,864 of 722,929 )
How can I increase my downloads?