David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 101 (3):601-617 (2013)
Stephen Yablo [23,24] introduces a new informal paradox, constituted by an infinite list of semi-formalized sentences. It has been shown that, formalized in a first-order language, Yablo’s piece of reasoning is invalid, for it is impossible to derive falsum from the sequence, due mainly to the Compactness Theorem. This result casts doubts on the paradoxical character of the list of sentences. After identifying two usual senses in which an expression or set of expressions is said to be paradoxical, since second-order languages are not compact, I study the paradoxicality of Yablo’s list within these languages. While non-paradoxical in the first sense, the second-order version of the list is a paradox in our second sense. I conclude that this suffices for regarding Yablo’s original list as paradoxical and his informal argument as valid
|Keywords||Paradoxicality Consistency Ω-Inconsistency Second-order languages Unsatisfiability Finiteness|
|Categories||categorize this paper)|
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
Hartry H. Field (2008). Saving Truth From Paradox. Oxford University Press.
Volker Halbach, Axiomatic Theories of Truth. Stanford Encyclopedia of Philosophy.
Saul A. Kripke (1975). Outline of a Theory of Truth. Journal of Philosophy 72 (19):690-716.
Hannes Leitgeb (2001). Theories of Truth Which Have No Standard Models. Studia Logica 68 (1):69-87.
Citations of this work BETA
No citations found.
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 & Rafal Urbaniak (2013). Gödelizing the Yablo Sequence. Journal of Philosophical Logic 42 (5):679-695.
O. Bueno & M. Colyvan (2003). Yablo's Paradox and Referring to Infinite Objects. Australasian Journal of Philosophy 81 (3):402 – 412.
Roy A. Sorensen (1998). Yablo's Paradox and Kindred Infinite Liars. Mind 107 (425):137-155.
Jeffrey Ketland (2005). Yablo's Paradox and Ω-Inconsistency. Synthese 145 (3):295 - 302.
Jeffrey Ketland (2004). Bueno and Colyvan on Yablo's Paradox. Analysis 64 (2):165–172.
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. Springer. 127--138.
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.
Kevin Knight (2002). Measuring Inconsistency. Journal of Philosophical Logic 31 (1):77-98.
Laureano Luna (2009). Yablo's Paradox and Beginningless Time. Disputatio 3 (26):89-96.
Laureano Luna (2010). Ungrounded Causal Chains and Beginningless Time. Logic and Logical Philosophy 18 (3-4):297-307.
Eduardo Alejandro Barrio (2010). Theories of Truth Without Standard Models and Yablo's Sequences. Studia Logica 96 (3):375-391.
Added to index2012-10-12
Total downloads16 ( #110,757 of 1,140,265 )
Recent downloads (6 months)2 ( #86,093 of 1,140,265 )
How can I increase my downloads?