This is a defense and extension of Stephen Yablo's claim that self-reference is completely inessential to the liar paradox. An infinite sequence of sentences of the form 'None of these subsequent sentences are true' generates the same instability in assigning truth values. I argue Yablo's technique of substituting infinity for self-reference applies to all so-called 'self-referential' paradoxes. A representative sample is provided which includes counterparts of the preface paradox, Pseudo-Scotus's validity paradox, the Knower, and other enigmas of the (...) genre. I rebut objections that Yablo's paradox is not a genuine liar by constructing a sequence of liars that blend into Yablo's paradox. I rebut objections that Yablo's liar has hidden self-reference with a distinction between attributive and referential self-reference and appeals to Gregory Chaitin's algorithmic information theory. The paper concludes with comments on the mystique of self-reference. (shrink)

A syntactically correct number-specification may fail to specify any number due to underspecification. For similar reasons, although each sentence in the Yablo sequence is syntactically perfect, none yields a statement with any truth-value. As is true of all members of the Liar family, the sentences in the Yablo sequence are so constructed that the specification of their truth-conditions is vacuous; the Yablo sentences fail to yield statements. The ‘revenge’ problem is easily defused. The solution to the semantical (...) paradoxes offered here revives the mediaeval cassatio approach, one that largely disappeared due to its incomprehending rejection by influential contemporary writers such as William Shyreswood and Thomas Bradwardine. The diagnosis readily extends to the set-theoretic paradoxes. (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)

I discuss Yablo’s approach to truthmaker semantics and compare it with my own, with special focus on the idea of a proposition being true of or being restricted to some subject-matter, the idea of propositional containment, and the development of an ‘incremental’ semantics for the conditional. I conclude with some remarks on the relationship between truth-maker approach and the standard possible worlds approach to semantics.

It is argued that Yablo’s Paradox is not strictly paradoxical, but rather ‘ω-paradoxical’. Under a natural formalization, the list of Yablo sentences may be constructed using a diagonalization argument and can be shown to be ω-inconsistent, but nonetheless consistent. The derivation of an inconsistency requires a uniform fixed-point construction. Moreover, the truth-theoretic disquotational principle required is also uniform, rather than the local disquotational T-scheme. The theory with the local disquotation T-scheme applied to individual sentences from the Yablo (...) list is also consistent. (shrink)

We prove Yablo’s paradox without the diagonal lemma or the recursion theorem. Only a disquotation schema and axioms for a serial and transitive ordering are used in the proof. The consequences for the discussion on whether Yablo’s paradox is circular or involves self-reference are evaluated.

Yablo’s paradox is generated by the following (infinite) list of sentences (called the Yablo list): (s1) For all k > 1, sk is not true. (s2) For all k > 2, sk is not true. (s3) For all k > 3, sk is not true. . . . . . . . .

To counter a general belief that all the paradoxes stem from a kind of circularity (or involve some self--reference, or use a diagonal argument) Stephen Yablo designed a paradox in 1993 that seemingly avoided self--reference. We turn Yablo's paradox, the most challenging paradox in the recent years, into a genuine mathematical theorem in Linear Temporal Logic (LTL). Indeed, Yablo's paradox comes in several varieties; and he showed in 2004 that there are other versions that are equally paradoxical. (...) Formalizing these versions of Yablo's paradox, we prove some theorems in LTL. This is the first time that Yablo's paradox(es) become new(ly discovered) theorems in mathematics and logic. (shrink)

Yablo’s Aboutness introduces powerful new set of tools for analyzing meaning. I compare his account of subject matter to the related ideas employed in the semantics literature on questions and focus. I then discuss two applications of subject matter: to presupposition triggering and to ascriptions of shared content.

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. (shrink)

Roy T Cook examines the Yablo paradox--a paradoxical, infinite sequence of sentences, each of which entails the falsity of all others that follow it. He focuses on questions of characterization, circularity, and generalizability, and pays special attention to the idea that it provides us with a semantic paradox that involves no circularity.

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 1993, the American logic S. Yablo was proposed an original infinitive formulation of the classical ≪Liar≫ paradox. It questioned the traditional notion of self-reference as the basic structure for semantic paradoxes. The article considers the arguments underlying two different approaches to analysis of proposals of the ≪Infinite Liar≫ and understanding of the genuine sources for semantic paradoxes. The first approach (V. Valpola, G.-H. von Wright, T. Bolander, etc.) imposes responsibility for the emergence of semantic paradoxes on the negation (...) of the truth predicate. It deprives the ≪Infinite Liar≫ sentences of consistent truth values. The second approach is based on a modified version of anaphoric prosententialism (D. Grover, R. Brandom, etc.). The concepts of truth and falsehood are treated as special anaphoric operators. Logical constructs similar to the ≪Infinite Liar≫ do not attribute any definite truth values to sentences from which they are composed, but only state certain types of relations between the semantic content of such sentences. (shrink)

The Yablo Paradox (Cook 2014) is an examination of, well, the Yablo paradox. For space reasons, I’ll assume you’re familiar with the paradox already (sorry!); i.

The structure of Yablo’s paradox is analysed and generalised in order to show that beginningless step-by-step determination processes can be used to provoke antinomies, more concretely, to make our logical and our on-tological intuitions clash. The flow of time and the flow of causality are usually conceived of as intimately intertwined, so that temporal causation is the very paradigm of a step-by-step determination process. As a conse-quence, the paradoxical nature of beginningless step-by-step determina-tion processes concerns time and causality as (...) usually conceived. (shrink)

Yablo suggests a ‘hostage crisis’ occurs when an unproblematic statement ϕ entails, and is therefore hostage to, a problematic statement ψ. Yablo proposes a technical solution to this kind of problem by diminishing ϕ to ϕ*, where ϕ* does not entail ψ and thus is not hostage to it. I argue that Yablo’s proposal is unnecessary because the original, undiminished ϕ does not in fact entail ψ. This is what Yablo calls a ‘defiant’ position. I defend (...) defiance by arguing that ϕ and ψ are of different metaphysical weights, which I show through an analysis of their use of quantification. (shrink)

Thought: A Journal of Philosophy, EarlyView.

The Yablo Paradox The Yablo Paradox implies there is no way to coherently assign a truth value to any of the sentences in the countably infinite sequence of sentences, each of the form, “All of the subsequent sentences are false.” Specifically, the Yablo Paradox arises when we consider the following infinite sequence of sentences: The … Continue reading Yablo Paradox →.

We investigate the properties of Yablo sentences and for- mulas in theories of truth. Questions concerning provability of Yablo sentences in various truth systems, their provable equivalence, and their equivalence to the statements of their own untruth are discussed and answered.

An intrinsic property is roughly a property something has in virtue of how it is, as opposed to how it is related to other things. More carefully, the property of being F is intrinsic iff, necessarily, for any x that is F , x is F in virtue of how it is, as opposed to how it is related to wholly distinct things, or how wholly distinct things are. An extrinsic property, on the other hand, is any property that is (...) not intrinsic. An example of an extrinsic property is the property of being an uncle. The property of being an uncle is extrinsic since, necessarily, any uncle is an uncle at least partly in virtue of how it is related to people wholly distinct from them. Examples of intrinsic properties are more controversial. It is widely held, however, that both the property of being cubical and the property of being made of tin are examples of intrinsic properties. (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)

This paper offers a detailed criticism of different versions of modal scepticism proposed by Van Inwagen and Hawke, and, against these views, attempts to vindicate our reliance on thought experiments in philosophy. More than one different meaning of “ modal scepticism” will be distinguished. Focusing mainly on Hawke’s more detailed view I argue that none of these versions of modal scepticism is compelling, since sceptical conclusions depend on an untenable and, perhaps, incoherent modal epistemology. With a detailed account of modal (...) defeaters at hand I argue that Van Inwagen and Hawke’s scepticism is either groundless, or it leads to boundless and unacceptable modal scepticism. Additionally, I show that Hawke’s conception of analogical modal reasoning is problematic. Either his principle of similarity is arbitrary or it begs the question about modal scepticism. In contrast to Hawke’s restricted view of analogical modal reasoning, I present two examples of analogy-based modal justification of philosophically relevant possibility claims. My criticism of modal scepticism also shows that there is no good reason to insist on a sharp distinction between an unproblematic and a presumably dubious kind of modality. The upshot is that in absence of proper defeaters both Yablo-style conceivability and properly applied analogical reasoning are reliable guides to possibility, and also that modal justification comes in degrees. The proposed framework of defeaters of modal justification as well as the analysed examples of analogical modal reasoning trace out interesting new areas for further discussions. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:January 22, 2009 (8:41 pm) G:\WPData\TYPE2802\russell 28,2 048red.wpd russell: the Journal of Bertrand Russell Studies n.s. 28 (winter 2008–09): 127–42 The Bertrand Russell Research Centre, McMaster U. issn 0036-01631; online 1913-8032 YABLO’S PARADOX AND RUSSELLIAN PROPOSITIONS Gregory Landini Philosophy / U. of Iowa Iowa City, ia 52242–1408, usa [email protected] Is self-reference necessary for the production of Liar paradoxes? Yablo has given an argument that self-reference is not (...) necessary. He hopes to show that the indexical apparatus of self-reference of the traditional Liar paradox can be avoided by appealing to a list, a consecutive sequence, of sentences correlated one-one withnaturalnumbers.Yabloopens his “Paradox without Self-Reference” (Analysis, 1993) with the assumption that there is a sequence such that: Snz: “(;k)(k > n.!. True Sk)” Each sentence on Yablo’s list is supposed to be correlated one-one with number n. Each sentence is supposed to say that for every natural number kz greater than n, the k-th sentence on the list is not true. By comparing Yablo’s construction to an analogous construction with early Russellian propositions, we show that Yablo has failed to generate a paradox. 1. vicious circularity in yablo’s paradox S elf-reference has been taken to be the source of paradoxes. Poincaré and Russell are commonly associated with this thesis. In an amusing passage, the mathematician Jourdain recalls something of the dialogue between them: Nearly all mathematicians agreed that the way to solve these paradoxes was simply not to mention them; but there was some divergence of opinion as to how they were to be unmentioned. It was clearly unsatisfactory merely not to mention them. Thus Poincaré was apparently of the opinion that the best way of avoiding such awkward subjects was to mention that they were not to be mentioned. But [as Russell put it] “one might as well, in talking to a man with January 22, 2009 (8:41 pm) G:\WPData\TYPE2802\russell 28,2 048red.wpd 128 gregory landini 1 Philip Jourdain, The Philosophy of Mr. B*rtr*nd R*ss*llz (London: Allen & Unwin, 1918), p. 77. Russell is quoted from “Mathematical Logic as Based on the Theory of Types” (1908), LK, p. 63. 2 “On ‘Insolubilia’ and Their Solution By Symbolic Logic”, in B. Russell, Essays in Analysis, ed. Douglas Lackey (London: Allen & Unwin, 1973), p. 196. 3 I believe that this is Russell’s view in 1906. See Gregory Landini, “Russell’s Separation of the Logical and Semantic Paradoxes”, Revue internationale de philosophie 58 (2004): 257–94 (issue titled “Russell en héritage / Le centenaire des Principes”, ed. Philippe de Rouilhan). a long nose, say: ‘When I speak of noses, I except such as are inordinately long’, which would not be a very successful eTort to avoid a painful topic.”1 Poincaré maintained that one should exclude the oTending cases and therebyavoid“viciouscircles”ofself-referencewhichgenerateparadoxes. Russell objected: We may illustrate this by what M. Poincaré says concerning Richard’s paradox. Having Wrst put E = “all numbers deWnable in a Wnite number of words” we arrive at a paradox, due, says M. Poincaré, to our having included a number only deWnable in a Wnite number of words by means of E. This vicious circle he proposes to avoid by deWning E as “all numbers deWnable in a Wnite number of words without mentioning Ey”. To the uninitiated, this deWnition looks more circular than ever.2 Russell held that some paradoxes such as those of classes require, in order to exclude oTending cases without mentioning them, a “reconstruction of logical Wrst principles”. Others, such as Richard’s, are to be dismissed because they involve confused and viciously circular notions of “deWnability ”.3 Is self-reference necessary for paradoxes? The question is not well crafted. There are quite diTerent notions ofz “self-reference” involved in paradoxes. The self-reference involved in the Liar “This sentence is false” is provided by an apparatus of indexicals. This apparatus is quite distinct from the self-reference involved in Russell’s early ontology of propositions (as mind- and language-independent states of aTairs). This is an ontological self... (shrink)

The Liar paradox is the directly self-referential Liar statement: This statement is false.or : " Λ: ∼ T 1" The argument that proceeds from the Liar statement and the relevant instance of the T-schema: " T ↔ Λ" to a contradiction is familiar. In recent years, a number of variations on the Liar paradox have arisen in the literature on semantic paradox. The two that will concern us here are the Curry paradox, 2 and the Yablo paradox. 3The Curry (...) paradox demonstrates that neither negation nor a falsity predicate is required in order to generate semantic paradoxes. Given any statement Φ whatsoever, we need merely consider the statement: If this statement is true, then Φor: " Ξ: T → Φ" Here, via familiar reasoning, one can ‘prove’ Φ merely through consideration of statement Ξ and the Ξ-instance of the T-schema.Interestingly, the Liar paradox can be viewed as nothing more than a special case of the Curry paradox. If we define negation in terms of the conditional and a primitive absurdity constant ‘⊥’: 4" ∼ Ψ = df Ψ → ⊥" then the Liar paradox is simply the instance of the Curry paradox obtained by substituting ‘⊥’ for Φ.The Yablo paradox demonstrates that circularity is also not required in order to generate semantic paradox. 5 The paradox proceeds by considering an infinite ω-sequence of statements of the form: S 1: ) S 2: ) S 3: ) : : : : : S i: ) : : : : : :– that is, the set of …. (shrink)

There are few indulgences academics can crave more than to have their work considered and addressed by leading researchers in their field. We have been fortunate to have two outstanding philosophers from whose work we have learned a great deal give ours their thoughtful attention. Grappling with Stephen Yablo’s, and Juan Comesaña’s comments and criticisms has helped us gain a better understanding of our ideas as well as their shortcomings. We are extremely grateful to them for the attentiveness and (...) seriousness with which they have considered our arguments and to philosophical studies for giving us this opportunity. Given the substantive difference between the two response papers, there is not much beyond sincere gratitude that we can covey to them jointly. We will therefore address them in turn. (shrink)

Replies to commentators (Loar, Yablo, Corbí, Moya) on "What the Externalist Can Know A Priori".

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. (shrink)

The Yablo Paradox’ main interest lies on its prima facie non-circular character, which many have doubted, specially when formulated in an extension of the language of firstorder arithmetic. Particularly, Priest (1997) and Cook (2006, forthcoming) provided contentious arguments in favor of circularity. My aims in this note are (i) to show that the notion of circularity involved in the debate so far is defective, (ii) to provide a new sound and useful partial notion of circularity and (iii) to show (...) there is a non-circular formulation of the list in an extension of the language of first-order arithmetic according to the new notion. El interés principal de la Paradoja de Yablo yace en su carácter prima facie no circular, el cual ha sido puesto en duda especialmente con respecto a la formulación de la paradoja en una extensión del lenguaje de la aritmética de primer orden. Particularmente, Priest (1997) y Cook (2006, en prensa) formularon argumentos contenciosos a favor de la circularidad. los objetivos de esta nota son (i) señalar que la noción de circularidad utilizada hasta el momento en el debate es defectuosa, (ii) ofrecer una nueva noción parcial adecuada y útil de circularidad y (iii) mostrar que existe una formulación no circular de la lista en una extensión del lenguaje de la aritmética de primer orden de acuerdo con la nueva noción. (shrink)

Some years ago, Yablo gave a paradox concerning an infinite sequence of sentences: if each sentence of the sequence is 'every subsequent sentence in the sequence is false', a contradiction easily follows. In this paper we suggest a formalization of Yablo's paradox in algebraic and topological terms. Our main theorem states that, under a suitable condition, any continuous function from 2N to 2N has a fixed point. This can be translated in the original framework as follows. Consider an (...) infinite sequence of sentences, where any sentence refers to the truth values of the subsequent sentences: if the corresponding function is continuous, no paradox arises. (shrink)

As the title of this book suggests, the main focal point is the so-called Yablo Paradox,11First formulated by Stephen Yablo. an infinitary, apparently non-circular paradox involving truth, w...

This is a response to a paper “Paradox without satisfaction”, Analysis 63, 152-6 (2003) by Otavio Bueno and Mark Colyvan on Yablo’s paradox. I argue that this paper makes several substantial mathematical errors which vitiate the paper. (For the technical details, see [12] below.).

Yablo’s Paradox, an infinite-sentence version of the Liar Paradox, aims to show that semantic paradox can emerge even without circularity. I will argue that the lack of meaning/content of the sentences involved is the source of the paradoxical outcome.I will introduce and argue for a Moderate Antirealist approach to truth and meaning, built around the twin principles that neither truth nor meaning can outstrip knowability. Accordingly, I will introduce a MAR truth operator that both forges an explicit connection between (...) truth and knowability and distinguishes between truth and factuality. I will also argue that the meaning/content of propositions should be identified not with the set of possible worlds in which the propositions are true/factual, but rather in which they are known.I will show that our MAR framework dissolves Yablo’s Paradox and also confirms our intuition that these sentences are all devoid of content/meaning. (shrink)

Stephen Yablo has argued for metaontological antirealism: he believes that the sentences claiming or denying the existence of numbers (or other abstract entities or mereological sums) are inapt for truth valuation, because the reference failure of a numerical singular term (or a singular term for an abstract entity or a mereological sum) would not produce a truth value gap in any sentence containing that term. At the same time, Yablo believes that nothing similar applies to singular terms that (...) aim to refer to an entity whose existence or non-existence is a factual matter, e.g. ‘the king of France’: the failure of the presupposition that there is a unique French king makes some sentences with the term ‘the king of France’, in particular “The king of France is bald”, gappy. In this paper I will show that the sentence “The king of France is bald” must be false, and not gappy, according to Yablo’s own criteria and that, furthermore, the presupposition that the term ‘the king of France’ refers presents a fail-safe mechanism in the same way Yablo thinks abstract presuppositions do—this undermines his argument for metaontological antirealism. (shrink)

Consider the beginningless sequence: ... being less than 0.01 grams, being less than 0.1 grams, being less than 1 gram, being less than 10 grams ... There is no super-determinate in this chain. Just as the possibility of bottomless constitution shows that there may be no fundamental layer of reality with respect to objects , the possibility of bottomless determination shows that there may be no fundamental level of reality with respect to properties . This possibility supports Stephen Yablo's (...) proportionality principle that the cause of an event is the most specific property that makes a difference. (shrink)

The aim of this paper is to show that it’s not a good idea to have a theory of truth that is consistent but ω-inconsistent. In order to bring out this point, it is useful to consider a particular case: Yablo’s Paradox. In theories of truth without standard models, the introduction of the truth-predicate to a first order theory does not maintain the standard ontology. Firstly, I exhibit some conceptual problems that follow from so introducing it. Secondly, I show (...) that in second order theories with standard semantics the same procedure yields a theory that doesn’t have models. So, while having an ω- inconsistent theory is a bad thing, having an unsatisfiable theory of truth is actually worse. This casts doubts on whether the predicate in question is, after all, a truthpredicate for that language. Finally, I present some alternatives to prove an inconsistency adding plausible principles to certain theories of truth. (shrink)

Using ideas proposed in Aboutness and developed in ‘If-thenism’, Stephen Yablo has tried to improve on classical if-thenism in mathematics, a view initially put forward by Bertrand Russell in his Principles of Mathematics. Yablo’s stated goal is to provide a reading of a sentence like ‘The number of planets is eight’ with a sort of content on which it fails to imply ‘Numbers exist’. After presenting Yablo’s framework, our paper raises a problem with his view that has (...) gone virtually unnoticed in the literature. If we are right, then Yablo’s version of if-thenism cannot succeed. (shrink)

In this paper, we strengthen Hardy’s [1995] and Ketland’s [2005] arguments on the issues surrounding the self-referential nature of Yablo’s paradox [1993]. We first begin by observing that Priest’s [1997] construction of the binary satisfaction relation in revealing a fixed point relies on impredicative definitions. We then show that Yablo’s paradox is ‘ω-circular’, based on ω-inconsistent theories, by arguing that the paradox is not self-referential in the classical sense but rather admits circularity at the least transfinite countable ordinal. (...) Hence, we both strengthen arguments for the ω-inconsistency of Yablo’s paradox and present a compromise solution of the problem emerged from Yablo’s and Priest’s conflicting theses. (shrink)

El contenido de la presente discusión de Análisis Filosófico surge a partir de diversas actividades organizadas por mí en SADAF y en la UBA. En primer lugar, Roy Cook dictó en SADAF el seminario de investigación intensivo On Yablo's Paradox durante la última semana de julio de 2011. En el seminario, el profesor Cook presentó el manuscrito aún sin finalizar de su libro The Yablo Paradox: An Essay on Circularity, Oxford, Oxford UP, (en prensa). Extensas y apasionantes discusiones (...) ocurrieron durante esos encuentros sobre circularidad y construcciones infinitarias. Fue en ese tiempo, donde me surgió la idea de editar una discusión sobre las ideas que Cook defiende en ese trabajo. El proyecto era una extensión natural del trabajo que veníamos realizando con mi grupo de investigación en temas vinculados al concepto de verdad, autorreferencia y paradojas. Luego, durante el segundo cuatrimestre de 2011, dicté el seminario La paradoja de Yablo, en el instituto de filosofía de la UBA. Algunos de los borradores de los artículos que aparecen en el presente volumen tienen su origen en este curso. Finalmente, invité por segunda vez al profesor Cook al Symposium on Yablo's Paradox realizado en SADAF en julio de 2012. En esta oportunidad, se presentaron las versiones finales de los artículos de Lavinia Picollo, Paula Teijeiro, Federico Pailos, Diego Tajer, Lucas Rosenblatt e Ignacio Ojea que se incluyen a continuación. El encuentro incluyó las inteligentes réplicas del profesor Cook y profundas discusiones sobre los mencionados temas lógicosemánticos. Quiero agradecer a todos los integrantes del Gaf[log] que participaron activamente en las mencionadas actividades, ya sea en la publicación posterior o en los coloquios y seminarios que le dieron origen. Agradezco al Comité editorial de Análisis Filosófico, en especial a Alberto Moretti, quienes apoyaron desde sus comienzos este proyecto. Finalmente, y de manera especial, quiero expresar mi gratitud al profesor Roy Cook, quien no sólo apoyó e inspiró el proyecto desde sus comienzos, sino que además compartió generosamente sus ideas y las discutió con estimulante pasión. (shrink)

This paper concerns Yablo’s theory of asserted content as it is developed in his new book Aboutness. Yablo’s central idea is that in order to specify the asserted content of a sentence, we have to subtract those parts of its full semantic content that concern irrelevant subject matters. The paper argues that it is doubtful whether Yablo’s account successfully deals with its most basic envisaged application: to account for a difference of apparent truth value in cases of (...) ordinary presupposition failure. In addition, some doubts are raised concerning the success of the extension of Yablo’s account to fictional talk, the informativeness of identity statements, and ontological commitments of number talk. (shrink)

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. (shrink)

Stephen Yablo offers a solution to the problem of mental causation by claiming that the physical is a determinate of the mental's determinable, and therefore the mental and physical do not compete for causal relevance. I present Yablo's solution and argue that the mental‐physical relation cannot meet three necessary conditions for determination. That relation fails to meet the requirements that determinates of the same determinable be incompatible and that no property can be a determinate of more than one (...) determinable. Further, the mental and physical do not fall under the same series of scope inclusions as determinables and their determinates must. Yablo's conception of determination might be rendered more general to avoid these objections, but doing so would prevent it from functioning as a competitor to extant theories of the mental‐physical relation. Thus, Yablo's solution to the problem of mental causation cannot be both adequately specific and correct. (shrink)

Temporal logic is of importance in theoretical computer science for its application in formal verification, to state requirements of hardware or software systems. Linear temporal logic is an appropriate logical environment to formalize Yablo’s paradox which is seemingly non-self-referential and basically has a sequential structure. We give a brief review of Yablo’s paradox and its various versions. Formalization of these paradoxes yields some theorems in Linear Temporal Logic (LTL) for which we give syntactic proofs using an appropriate axiomatization (...) of LTL. (shrink)