Abstract
Although it was traditionally thought that self-reference is a crucial ingredient of semantic paradoxes, Yablo (1993, 2004) showed that this was not so by displaying an infinite series of sentences none of which is self-referential but which, taken together, are paradoxical. Yablo’s paradox consists of a countable series of linearly ordered sentences s(0), s(1), s(2),... , where each s(i) says: For each k > i, s(k) is false (or equivalently: For no k > i is s(k) true). We generalize Yablo’s results along two dimensions. First, we study the behavior of generalized Yablo-series in which each sentence s(i) has the form: For Q k > i, s(k) is true, where Q is a generalized quantifier (e.g., no, every, infinitely many, etc). We show that under broad conditions all the sentences in the series must have the same truth value, and we derive a characterization of those values of Q for which the series is paradoxical. Second, we show that in the Strong Kleene trivalent logic Yablo’s results are a special case of a more general fact: under certain conditions, any semantic phenomenon that involves self-reference can be emulated without self-reference. Various translation procedures that eliminate self-reference from a non-quantificational language are defined and characterized. An Appendix sketches an extension to quantificational languages, as well as a new argument that Yablo’s paradox and the translations we offer do not involve self-reference.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Cook, R. (2004): Patterns of paradox, Journal of Symbolic Logic 69(3), 767–774.
Egré, P.: 2005. The knower paradox in the light of provability interpretations of modal logic, Journal of Logic, Language and Information 14, 13–48.
Hardy, J.: 1995, Is Yablo’s paradox liar-like? Analysis 55.3, 197–198.
Keenan, E.: 1996, The semantics of determiners, in S. Lappin (ed.), The Handbook of Contemporary Semantic Theory, Blackwell.
Ketland, J.: 2005, Yablo’s paradox and ω-inconsistency. Synthese 145(3), 295–302.
Kripke, S.: 1975, Outline of a theory of truth, Journal of Philosophy 72, 690–716.
Leitgeb, H.: 2001, Theories of truth which have no standard models, Studia Logica 68, 69–87.
Leitgeb, H.: 2002, What is a self-referential sentence? Critical remarks on the alleged (non-)circularity of Yablo’s paradox, Logique et Analyse 177–178. 3–14.
Leitgeb, H.: 2005, What truth depends on, Journal of Philosophical Logic 34, 155–192.
Priest, G.: 1997, Yablo’s paradox, Analysis 57(4), 236–242.
Schlenker, P.: 2006, How to eliminate self-reference: A précis. To appear, Synthese.
Sorensen, R.: 1998, Yablo’s paradox and kindred infinite liars, Mind 107, 137–155.
Tarski, A.: 1944, The semantic conception of truth and the foundations of semantics, Philosophy and Phenomenological Research 4(3), 341–376.
Uzquiano, G.: 2004, An infinitary paradox of denotation, Analysis 64(2), 128–131.
van Benthem, J.: 1986, Essays in Logical Semantics, Reidel, Dordrecht.
Visser, A.: 1989, Semantics and the liar paradox, in Handbook of Philosophical Logic, Vol. 4 (1989).
Yablo, S.: 1993, Paradox without self-reference, Analysis 53, 251–252.
Yablo, S.: 2004, Circularity and Paradox, in Self-Reference, CSLI.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Schlenker, P. The Elimination of Self-Reference: Generalized Yablo-Series and the Theory of Truth. J Philos Logic 36, 251–307 (2007). https://doi.org/10.1007/s10992-006-9035-x
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-006-9035-x