The sentences employed in semantic paradoxes display a wide range of semantic behaviours. However, the main theories of truth currently available either fail to provide a theory of paradox altogether, or can only account for some paradoxical phenomena by resorting to multiple interpretations of the language. In this paper, I explore the wide range of semantic behaviours displayed by paradoxical sentences, and I develop a unified theory of truth and paradox, that is a theory of truth that also provides a (...) unified account of paradoxical sentences. The theory I propose here yields a threefold classification of paradoxical sentences – liar-like sentences, truth-teller-like sentences, and revenge sentences. Unlike existing treatments of semantic paradox, the theory put forward in this paper yields a way of interpreting all three kinds of paradoxical sentences, as well as unparadoxical sentences, within a single model. (shrink)

The goal of this paper is to present Yabloesque versions of Grelling’s and Zwicker’s paradoxes concerning the notions of “heterological” and “hypergame” respectively. We will offer counterparts of these paradoxes that do not seem to involve self-reference or vicious circularity.El objetivo de este artículo es ofrecer versiones de las paradojas de Grelling y de Zwicker inspiradas en la paradoja de Yablo. Nuestras versiones de estas paradojas no parecen involucrar ni autorreferencia ni circularidad viciosa.

Restrictionism is a response to the Liar and other paradoxes concerning truth. Restrictionists—as I will call proponents of the strategy—respond to these paradoxes by giving up instances of the schema -/- <p> is true iff p. -/- My aim is to show that the current unpopularity of restrictionism is undeserved. I will argue that, whilst cautious versions of the strategy may face serious problems, a radical and previously overlooked version of restrictionism provides a strong and defensible response to the paradoxes.

What kinds of sentences with truth predicate may be inserted plausibly and consistently into the T-scheme? We state an answer in terms of dependence: those sentences which depend directly or indirectly on non-semantic states of affairs (only). In order to make this precise we introduce a theory of dependence according to which a sentence φ is said to depend on a set Φ of sentences iff the truth value of φ supervenes on the presence or absence of the sentences of (...) Φ in/from the extension of the truth predicate. Both φ and the members of Φ are allowed to contain the truth predicate. On that basis we are able define notions such as ungroundedness or self-referentiality within a classical semantics, and we can show that there is an adequate definition of truth for the class of sentences which depend on non-semantic states of affairs. (shrink)

It is proved that Yablo’s paradox and the Liar paradox are equiparadoxical, in the sense that their paradoxicality is based upon exactly the same circularity condition—for any frame ${\mathcal{K}}$ , the following are equivalent: (1) Yablo’s sequence leads to a paradox in ${\mathcal{K}}$ ; (2) the Liar sentence leads to a paradox in ${\mathcal{K}}$ ; (3) ${\mathcal{K}}$ contains odd cycles. This result does not conflict with Yablo’s claim that his sequence is non-self-referential. Rather, it gives Yablo’s paradox a new significance: (...) his construction contributes a method by which we can eliminate the self-reference of a paradox without changing its circularity condition. (shrink)

Scholastic and analytic definitions of semantic paradoxes, in terms of groundlessness, circularity, and semantic pathology, are introduced and compared with each other. The fundamental intuitions used in these definitions are the concepts of being true about extralinguistic reality, of making statements about one’s self, and of compatibility with an underlying semantic theory. The three approaches—the groundlessness view, the circularity view, and the semantic pathology view—are shown to differ not only conceptually, but also in their applications. As both a means for (...) showing these differences and as an adequacytest, the so-called two-line puzzles are used, which allows one to address the possibility of making non-paradoxical statements about paradoxical sentences within the same language. (shrink)

The blame for the semantic and set-theoretic paradoxes is often placed on self-reference and circularity. Some years ago, Yablo [1985; 1993] challenged this diagnosis, by producing a paradox that's liar-like but does not seem to involve circularity. But is Yablo's paradox really non-circular? In a recent paper, Beall [2001] has suggested that there are no means available to refer to Yablo's paradox without invoking descriptions, and since Priest [1997] has shown that any such description is circular, Beall concludes that Yablo's (...) paradox itself is circular. In this paper, we argue that Beall's conclusion is unwarranted, given that (1) descriptions are not the only way to refer to Yablo's paradox, and (ii) we have no reason to believe that because the description involves self-reference, the denotation of the description is also circular. As a result, for all that's been said so far, we have no reason to believe that Yablo's paradox is circular. (shrink)

In this paper, I start by describing and examining the main results about the option of formalizing the Yablo Paradox in arithmetic. As it is known, although it is natural to assume that there is a right representation of that paradox in first order arithmetic, there are some technical results that give rise to doubts about this possibility. Then, I present some arguments that have challenged that Yablo’s construction is non-circular. Just like that, Priest (1997) has argued that such formalization (...) shows that Yablo’s Paradox involves implicit circularity. In the same direction, Beall (2001) has introduced epistemic factors in this discussion. Even more, Priest has also argued that the introduction of infinitary reasoning would be of little help. Finally, one could reject definitions of circularity in term of fixed-point adopting non-well-founded set theory. Then, one could hold that the Yablo paradox and the Liar paradox share the same non-well-founded structure. So, if the latter is circular, the first is too. In all such cases, I survey Cook’s approach (2006, forthcoming) on those arguments for the charge of circularity. In the end, I present my position and summarize the discussion involved in this volume. En este artículo, describo y examino los principales resultados vinculados a la formalización de la paradoja de Yablo en la aritmética. Aunque es natural suponer que hay una representación correcta de la paradoja en la aritmética de primer orden, hay algunos resultados técnicos que hacen surgir dudas acerca de esta posibilidad. Más aún, presento algunos argumentos que han cuestionado que la construcción de Yablo no sea circular. Así, Priest (1997) ha argumentado que la formalización de la paradoja de Yablo en la aritmética de primer orden muestra que la misma involucra implícitamente circularidad. En la misma dirección, Beall (2001) ha introducido factores epistémicos en esta discusión. Más aún, Priest ha también argumentado que la introducción de razonamiento infinitario como complemento de la formalización en la aritmética sería de poca ayuda. Finalmente, se podría rechazar todo intento de dar definiciones de circularidad en términos de puntos fijos adoptando teoría de conjuntos infundados. Entonces, se podría sostener que la paradoja de Yablo y la del mentiroso comparten la misma estructura infundada. Por eso, si la última es circular, también lo es la primera. En todos los casos, presento el enfoque de Roy Cook (2006, en prensa) sobre estos argumentos que atribuyen circularidad a la construcción de Yablo. En el final, presento mi posición y un breve resumen de la discusión involucrada en este volumen. (shrink)

‎A universal schema for diagonalization was popularized by N. S‎. ‎Yanofsky (2003)‎, ‎based on a pioneering work of F.W‎. ‎Lawvere (1969)‎, ‎in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function‎. ‎It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema‎. ‎Here‎, ‎we fit more theorems in the universal‎ ‎schema of diagonalization‎, ‎such as Euclid's proof for the infinitude of the primes and new proofs (...) of G. Boolos (1997) for Cantor's theorem on the non-equinumerosity of a set with its powerset‎. ‎Then‎, ‎in Linear Temporal Logic‎, ‎we show the non-existence of a fixed-point in this logic whose proof resembles the argument of Yablo's paradox (1985‎, ‎1993)‎. ‎Thus‎, ‎Yablo's paradox turns for the first time into a genuine mathematico-logical theorem in the framework of Linear Temporal Logic‎. ‎Again the diagonal schema of the paper is used in this proof; and it is also shown that G. Priest's inclosure schema (1997) can fit in our universal diagonal / fixed-point schema‎. ‎We also show the existence of dominating (Ackermann-like) functions (which dominate a given countable set of functions‎, ‎such as primitive recursive functions) in the schema. (shrink)

To borrow a colorful phrase from Kant, this dissertation offers a prolegomenon to any future semantic theory. The dissertation investigates Yablo's omega-liar paradox and draws the following consequence. Any semantic theory that accepts the existence of semantic objects must face Yablo's paradox. The dissertation endeavors to position Yablo's omega-liar in a role analogous to that which Russell's paradox has for the foundations of mathematics. Russell's paradox showed that if we wed mathematics to sets, then because of the many different possible (...) restrictions available for blocking the paradox, mathematics fractionates. There would be different mathematics. This is intolerable. It is similarly intolerable to have restrictions on the `objects' of Intentionality. Hence, in the light of Yablo's omega-liar, Intentionality cannot be wed to any theory of semantic objects. We ought, therefore, to think of Yablo's paradox as a natural language paradox, and as such we must accept its implications for the semantics of natural language, namely that those entities which are `meanings' must not be construed as objects. To establish our result, Yablo's paradox is examined in light of the criticisms of Priest. Priest maintains that Yablo's original omega-liar is flawed in its employment of a Tarski-style T-schema for its truth-predicate. Priest argues that the paradox is not formulable unless it employs a "satisfaction" predicate in place of its truth-predicate. Priest is mistaken. However, it will be shown that the omega-liar paradox depends essentially on the assumption of semantic objects. No formulation of the paradox is possible without this assumption. Given this, the dissertation looks at three different sorts of theories of propositions, and argues that two fail to specify a complete syntax for the Yablo sentences. Purely intensional propositions, however, are able to complete the syntax and thus generate the paradox. In the end, however, the restrictions normally associated with purely intensional propositions begin to look surprisingly like the hierarchies that Yablo sought to avoid with his paradox. The result is that while Yablo's paradox is syntactically formable within systems with formal hierarchies, it is not semantically so. (shrink)

The goal of this paper is to present Yabloesque versions of Grelling’s and Zwicker’s paradoxes concerning the notions of “heterological” and “hypergame” respectively. We will offer counterparts of these paradoxes that do not seem to involve any kind of self-reference or vicious circularity.