Graduate studies at Western
Studia Logica 101 (3):601-617 (2013)
|Abstract||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)|
|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 & 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.
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 downloads9 ( #122,590 of 740,298 )
Recent downloads (6 months)1 ( #61,960 of 740,298 )
How can I increase my downloads?