The ‘Turing barrier’ is an evocative image for 0′, the degree of the unsolvability of the halting problem for Turing machines—equivalently, of the undecidability of Peano Arithmetic. The ‘barrier’ metaphor conveys the idea that effective computability is impaired by restrictions that could be removed by infinite methods. Assuming that the undecidability of PA is essentially depending on the finite nature of its computational means, decidability would be restored by the ω-rule. Hypercomputation, the hypothetical realization of infinitary machines through relativistic and (...) quantium models, would thus be capable of breaking the Turing barrier. The speculation is unfounded in principle, apart from issues of physical realizability: The point is that the ω-rule does not cope with all objects entailing the undecidability of PA. As long as the system is consistent, the computational boundary can be established by paradox-like constructions, such as Gödel-Rosser’s and Yablo’s, which are refractory to infinite induction, and do stand as the barrier’s buttresses. (shrink)

The No-No Paradox consists of a pair of statements, each of which ?says? the other is false. Roy Sorensen claims that the No-No Paradox provides an example of a true statement that has no truthmaker: Given the relevant instances of the T-schema, one of the two statements comprising the ?paradox? must be true (and the other false), but symmetry constraints prevent us from determining which, and thus prevent there being a truthmaker grounding the relevant assignment of truth values. Sorensen's view (...) is mistaken: situated within an appropriate background theory of truth, the statements comprising the No-No Paradox are genuinely paradoxical in the same sense as is the Liar (and thus, on Sorensen's view, must fail to have truth values). This result has consequences beyond Sorensen's semantic framework. In particular, the No-No Paradox, properly understood, is not only a new paradox, but also provides us with a new type of paradox, one which depends upon a general background theory of the truth predicate in a way that the Liar Paradox and similar constructions do not. (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)

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)

Two semantic paradoxes, the Liar and Curry’s paradox, are analysed using a newly developed conception of procedural semantics (semantics according to which the truth of propositions is determined algorithmically), whose main characteristic is its departure from methodological realism. Rather than determining pre-existing facts, procedures are constitutive of them. Of this semantics, two versions are considered: closed (where the halting of procedures is presumed) and open (without this presumption). To this end, a procedural approach to deductive reasoning is developed, based on (...) the idea of simulation. As is shown, closed semantics supports classical logic, but cannot in any straightforward way accommodate the concept of truth. In open semantics, where paradoxical propositions naturally ‘belong’, they cease to be paradoxical; yet, it is concluded that the natural choice—for logicians and common people alike—is to stick to closed semantics, pragmatically circumventing problematic utterances. (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)

I have argued that without an adequate solution to the knower paradox Fitch's Proof is- or at least ought to be-ineffective against verificationism. Of course, in order to follow my suggestion verificationists must maintain that there is currently no adequate solution to the knower paradox, and that the paradox continues to provide prima facie evidence of inconsistent knowledge. By my lights, any glimpse at the literature on paradoxes offers strong support for the first thesis, and any honest, non-dogmatic reflection on (...) the knower paradox provides strong support for the second. Whether verificationists want to go the route I've suggested is not for me todecide. As in the previous section my aim has been that of defending the mere viability of verificationism in the face of what many, many philosophers have taken to be its death-knell, namely Fitch's Proof. But, as the final objection makes clear, showing that verificationism can live in the face of Fitch's Proof is one thing; showing that it should live is another project. If nothing else, I hope that this papershows that verificationists still have a project to pursue; Fitch's Proof, contrary to popular opinion, need not bury verificationism.13. (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)

§1. Introduction. The problem raised by the liar paradox has long been an intriguing challenge for all those interested in the concept of truth. Many “solutions” have been proposed to solve or avoid the paradox, either prescribing some linguistical restriction, or giving up the classical true-false bivalence or assuming some kind of contextual dependence of truth, among other possibilities. We shall not discuss these different approaches to the subject in this paper, but we shall concentrate on a kind of formal (...) construction which was originated by Kripke's paper “Outline of a theory of truth” [11] and which, in different forms, reappears in later papers by various authors.The main idea can be presented as follows: assume a first order language ℒ containing, among other unspecified symbols, a predicate symbolTintended to represent the truth predicate for ℒ. Assume, also, a fixed modelM= 〈D, I〉 whereDcontains all sentences of ℒ andIinterprets all non-logical symbols of ℒ exceptTin the usual way. In general,Dmight contain many objects other than sentences of ℒ but as that would raise the problem of the meaning of sentences in whichTis applied to one of these objects, we shall assume that this is not the case. (shrink)

The Brandenburger–Keisler paradox is a self-referential paradox in epistemic game theory which can be viewed as a two-person version of Russell’s Paradox. Yablo’s Paradox, according to its author, is a non-self referential paradox, which created a significant impact. This paper gives a Yabloesque, non-self-referential paradox for infinitary players within the context of epistemic game theory. The new paradox advances both the Brandenburger–Keisler and Yablo results. Additionally, the paper constructs a paraconsistent model satisfying the paradoxical statement.

This book is an inquiry into the philosophical concern with truth as one joint subject in philosophy of language and metaphysics and presents a theory of truth, substantive perspectivism (SP). Emphasizing our basic pre-theoretic understanding of truth (i.e., what is captured by the axiomatic thesis of truth that the nature of truth consists in capturing the way things are), and in the deflationism vs. substantivism debate background, SP argues for the substantive nature of non-linguistic truth and its notion’s indispensable substantive (...) explanatory role, both of which are not only intrinsically beyond what the linguistic function of the truth predicate can tell but are fundamentally related to the raison d’être of the truth predicate. Taking a holistic approach, SP endeavors to do justice to various reasonable perspectives, which are somehow contained in many competing accounts of truth, through a coordinate system: SP interprets such perspectives as distinct but related perspective-elaboration principles that distinctively (regarding distinct dimensions of the truth concern and/or for the sake of distinct purposes) elaborate, but are also unified by, the truth axiom thesis. To look at the issue from a broader vision, the book also takes a cross-tradition approach exploring the relationship between Daoist thinking of truth and thinking about truth in analytic philosophy.This book will enhance our systematic understanding of the issue through its holistic approach, broaden our vision on the issue via its cross-tradition approach, and enrich the conceptual and explanatory resources in treating the issue. (shrink)

Special issue in honour of Landon Rabern. This special issue of Discrete Mathematics is dedicated to his memory, as a tribute to his many research achievements. It contains 10 new articles written by his collaborators, friends, and colleagues that showcase his interests.

The aim of this paper is to provide a minimalist axiomatic theory of truth based on the notion of reference. To do this, we first give sound and arithmetically simple notions of reference, self-reference, and well-foundedness for the language of first-order arithmetic extended with a truth predicate; a task that has been so far elusive in the literature. Then, we use the new notions to restrict the T-schema to sentences that exhibit "safe" reference patterns, confirming the widely accepted but never (...) worked out idea that paradoxes can be characterised in terms of their underlying reference patterns. This results in a strong, ω-consistent, and well-motivated system of disquotational truth, as required by minimalism. (shrink)

Classical fixpoint semantics for logic programs is based on the TP immediate consequence operator. The Kripke/Kleene, three-valued, semantics uses ΦP, which extends TP to Kleene’s strong three-valued logic. Both these approaches generalize to cover logic programming systems based on a wide class of logics, provided only that the underlying structure be that of a bilattice. This was presented in earlier papers. Recently well-founded semantics has become influential for classical logic programs. We show how the well-founded approach also extends naturally to (...) the same family of bilatticebased programming languages that the earlier fixpoint approaches extended to. Doing so provides a natural semantics for logic programming systems that have already been proposed, as well as for a large number that are of only theoretical interest. And finally, doing so simplifies the proofs of basic results about the well-founded semantics, by stripping away inessential details. (shrink)

In a series of works, Pablo Cobreros, Paul Égré, David Ripley and Robert van Rooij have proposed a nontransitive system (call it ‘_K__3__L__P_’) as a basis for a solution to the semantic paradoxes. I critically consider that proposal at three levels. At the level of the background logic, I present a conception of classical logic on which _K__3__L__P_ fails to vindicate classical logic not only in terms of structural principles, but also in terms of operational ones. At the level of (...) the theory of truth, I raise a cluster of philosophical difficulties for a _K__3__L__P_-based system of naive truth, all variously related to the fact that such a system proves things that would seem already by themselves repugnant, even in the absence of transitivity. At the level of the theory of validity, I consider an extension of the _K__3__L__P_-based system of naive validity that is supposed to certify that validity in that system does not fall short of naive validity, argue that such an extension is untenable in that its nontriviality depends on the inadmissibility of a certain irresistible instance of transitivity (whence the advertised “final cut”) and conclude on this basis that the _K__3__L__P_-based system of naive validity cannot coherently be adopted either. At all these levels, a crucial role is played by certain metaentailments and by the extra strength they afford over the corresponding entailments: on the one hand, such strength derives from considerations that would seem just as compelling in a general nontransitive framework, but, on the other hand, such strength wreaks havoc in the particular setting of _K__3__L__P_. (shrink)

We represent truth sets for a variety of the well known semantic theories of truth as those sets consisting of all sentences for which a player has a winning strategy in an infinite two person game. The classifications of the games considered here are simple, those over the natural model of arithmetic being all within the arithmetical class of $\Sum_{3}^{0}$.

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)

According to Gupta and Belnap, the “extensional behavior” of ‘true’ matches that of a circularly defined predicate. Besides promising to explain semantic paradoxicality, their general theory of circular predicates significantly liberalizes the framework of truth-conditional semantics. The authors’ discussions of the rationale behind that liberalization invoke two distinct senses in which a circular predicate’s semantic behavior is explained by a “revision rule” carrying hypothetical information about its extension. Neither attempted explanation succeeds. Their theory may however be modified to employ a (...) relativized notion of extension. The resulting contextualist semantics for ‘true’ construes circularity as a pragmatic phenomenon. (shrink)

Interesting as they are by themselves in philosophy and mathematics, paradoxes can be made even more fascinating when turned into proofs and theorems. For example, Russell’s paradox, which overthrew Frege’s logical edifice, is now a classical theorem in set theory, to the effect that no set contains all sets. Paradoxes can be used in proofs of some other theorems—thus Liar’s paradox has been used in the classical proof of Tarski’s theorem on the undefinability of truth in sufficiently rich languages. This (...) paradox (as well as Richard’s paradox) appears implicitly in Gödel’s proof of his celebrated first incompleteness theorem. In this paper, we study Yablo’s paradox from the viewpoint of first- and second-order logics. We prove that a formalization of Yablo’s paradox (which is second order in nature) is non-first-orderizable in the sense of George Boolos (1984). (shrink)

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 semantic paradoxes are often associated with self-reference or referential circularity. Yablo (Analysis 53(4):251–252, 1993), however, has shown that there are infinitary versions of the paradoxes that do not involve this form of circularity. It remains an open question what relations of reference between collections of sentences afford the structure necessary for paradoxicality. In this essay, we lay the groundwork for a general investigation into the nature of reference structures that support the semantic paradoxes and the semantic hypodoxes. We develop (...) a functionally complete infinitary propositional language endowed with a denotation assignment and extract the reference structural information in terms of graph-theoretic properties. We introduce the new concepts of dangerous and precarious reference graphs, which allows us to rigorously define the task: classify the dangerous and precarious directed graphs purely in terms of their graph-theoretic properties. Ungroundedness will be shown to fully characterize the precarious reference graphs and fully characterize the dangerous finite graphs. We prove that an undirected graph has a dangerous orientation if and only if it contains a cycle, providing some support for the traditional idea that cyclic structure is required for paradoxicality. This leaves the task of classifying danger for infinite acyclic reference graphs. We provide some compactness results, which give further necessary conditions on danger in infinite graphs, which in conjunction with a notion of self-containment allows us to prove that dangerous acyclic graphs must have infinitely many vertices with infinite out-degree. But a full characterization of danger remains an open question. In the appendices we relate our results to the results given in Cook (J Symb Log 69(3):767–774, 2004) and Yablo (2006) with respect to more restricted sentences systems, which we call $\mathcal{F}$ -systems. (shrink)

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)

I apply the notions of alethic reference introduced in previous work in the construction of several classical semantic truth theories. Furthermore, I provide proof-theoretic versions of those notions and use them to formulate axiomatic disquotational truth systems over classical logic. Some of these systems are shown to be sound, proof-theoretically strong, and compare well to the most renowned systems in the literature.

Self-reference has played a prominent role in the development of metamathematics in the past century, starting with Gödel’s first incompleteness theorem. Given the nature of this and other results in the area, the informal understanding of self-reference in arithmetic has sufficed so far. Recently, however, it has been argued that for other related issues in metamathematics and philosophical logic a precise notion of self-reference and, more generally, reference is actually required. These notions have been so far elusive and are surrounded (...) by an aura of scepticism that has kept most philosophers away. In this paper I suggest we shouldn’t give up all hope. First, I introduce the reader to these issues. Second, I discuss the conditions a good notion of reference in arithmetic must satisfy. Accordingly, I then introduce adequate notions of reference for the language of first-order arithmetic, which I show to be fruitful for addressing the aforementioned issues in metamathematics. (shrink)

I put forward precise and appealing notions of reference, self-reference, and well-foundedness for sentences of the language of first-order Peano arithmetic extended with a truth predicate. These notions are intended to play a central role in the study of the reference patterns that underlie expressions leading to semantic paradox and, thus, in the construction of philosophically well-motivated semantic theories of truth.

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...

We construct a novel proof of Cantor's theorem in set theory.

I present a problem for a prominent kind of conservatism, viz., the combination of traditional moral & religious values, patriotic nationalism, and libertarian capitalism. The problem is that these elements sometimes conflict. In particular, I show how libertarian capitalism and patriotic nationalism conflict via a scenario in which the thing that libertarian capitalists love – unregulated market activity – threatens what American patriots love – a strong, independent America. Unrestricted libertarian rights to buy and sell land would permit the sale (...) of all American territory by private individuals to foreign powers. Patriotic nationalists regard this as outrageous, but libertarian capitalists cannot refuse it. (shrink)

Relational Quantum Mechanics is an interpretation of quantum theory based on the idea of abolishing the notion of absolute states of systems, in favor of states of systems relative to other systems. Such a move is claimed to solve the conceptual problems of standard quantum mechanics. Moreover, RQM has been argued to account for all quantum correlations without invoking non-local effects and, in spite of embracing a fully relational stance, to successfully explain how different observers exchange information. In this work, (...) we carry out a thorough assessment of RQM and its purported achievements. We find that it fails to address the conceptual problems of standard quantum mechanics—related to the lack of clarity in its ontology and the rules that govern its behavior—and that it leads to serious conceptual problems of its own. We also uncover as unwarranted the claims that RQM can correctly explain information exchange among observers, and that it accommodates all quantum correlations without invoking non-local influences. We conclude that RQM is unsuccessful in its attempt to provide a satisfactory understanding of the quantum world. (shrink)

Most discussions frame the Liar Paradox as a formal logical-linguistic puzzle. Attempts to resolve the paradox have focused very little so far on aspects of cognitive psychology and processing, because semantic and cognitive-psychological issues are generally assumed to be disjunct. I provide a motivation and carry out a cognitive-computational treatment of the liar paradox based on a model of language and conceptual knowledge within the Predictive Processing framework. I suggest that the paradox arises as a failure of synchronization between two (...) ways of generating the liar situation in two different PP sub-models, one corresponding to language processing and the other to the processing of meaning and world-knowledge. In this way, I put forward the claim that the liar sentence is meaningless but has an air of meaningfulness. I address the possible objection that the proposal violates the Principle of Unrestricted Compositionality, which purportedly regulates the conceptual competence of thinkers. (shrink)

This paper is a response to Haze’s brief argument for the falsity of the theory that instantial terms refer arbitrarily, proposed by Breckenridge and Magidor in 2012. In this paper, I characterise instantial terms and outline the theory of arbitrary reference; then I reconstruct Haze’s argument and contend that it fails in its purpose. Haze’s argument is supposed to be a _reductio ad absurdum:_ according to Haze, it proves that a contradiction follows from the most basic tenets of the theory (...) of arbitrary reference. I will argue, however, that the contradiction in question follows not from these tenets, but from the surreptitious use that Haze makes of a self-referential expression. I conclude, consequently, that Haze’s argument is nothing more than an illustration of the well-known fact that self-referential expressions produce paradoxical results. (shrink)

Most discussions frame the Liar Paradox as a formal logical-linguistic puzzle. Attempts to resolve the paradox have focused very little so far on aspects of cognitive psychology and processing, because semantic and cognitive-psychological issues are generally assumed to be disjunct. I provide a motivation and carry out a cognitive-computational treatment of the liar paradox based on a model of language and conceptual knowledge within thePredictive Processing(PP) framework. I suggest that the paradox arises as a failure of synchronization between two ways (...) of generating the liar situation in two different (idealized) PP sub-models, one corresponding to language processing and the other to the processing of meaning and world-knowledge. In this way, I put forward the claim that the liar sentence is meaningless but has an air of meaningfulness. I address the possible objection that the proposal violates thePrinciple of Unrestricted Compositionality, which purportedly regulates the conceptual competence of thinkers. (shrink)

Most discussions frame the Liar Paradox as a formal logical-linguistic puzzle. Attempts to resolve the paradox have focused very little so far on aspects of cognitive psychology and processing, because semantic and cognitive-psychological issues are generally assumed to be disjunct. I provide a motivation and carry out a cognitive-computational treatment of the liar paradox based on a cognitive-computational model of language and conceptual knowledge within the Predictive Processing framework. I suggest that the paradox arises as a failure of synchronization between (...) two ways of generating the liar situation in two different PP sub-models, one corresponding to language processing and the other to the processing of meaning and world-knowledge. In this way, I put forward the claim that the liar sentence is meaningless but has an air of meaningfulness. I address the possible objection that the proposal violates the Principle of Unrestricted Compositionality, which purportedly regulates the conceptual competence of thinkers. (shrink)

Jim Mackenzie; Wilson on Relativism and Teaching, Journal of Philosophy of Education, Volume 21, Issue 1, 30 May 2006, Pages 119–130, https://doi.org/10.1111/j.

Jim Mackenzie; Wilson on Relativism and Teaching, Journal of Philosophy of Education, Volume 21, Issue 1, 30 May 2006, Pages 119–130, https://doi.org/10.1111/j.

Many philosophers recognize that, as a matter of psychological fact, one can believe something valuable without valuing it. I argue that it is also possible to value something without believing it valuable. Agents can genuinely value things that they neither believe disvaluable nor believe valuable along a scale of impersonal value.

Several writers have assumed that when in “Outline of a Theory of Truth” I wrote that “the orthodox approach” – that is, Tarski’s account of the truth definition – admits descending chains, I was relying on a simple compactness theorem argument, and that non-standard models must result. However, I was actually relying on a paper on ‘pseudo-well-orderings’ by Harrison. The descending hierarchy of languages I define is a standard model. Yablo’s Paradox later emerged as a key to interpreting the result.

This is a review of A. Skodo (ed.) "Other Logics: Alternatives to Formal Logic in the History of Thought and Contemporary Philosophy".

This paper gives a definition of self-reference on the basis of the dependence relation given by Leitgeb (2005), and the dependence digraph by Beringer & Schindler (2015). Unlike the usual discussion about self-reference of paradoxes centering around Yablo's paradox and its variants, I focus on the paradoxes of finitary characteristic, which are given again by use of Leitgeb's dependence relation. They are called 'locally finite paradoxes', satisfying that any sentence in these paradoxes can depend on finitely many sentences. I prove (...) that all locally finite paradoxes are self-referential in the sense that there is a directed cycle in their dependence digraphs. This paper also studies the 'circularity dependence' of paradoxes, which was introduced by Hsiung (2014). I prove that the locally finite paradoxes have circularity dependence in the sense that they are paradoxical only in the digraph containing a proper cycle. The proofs of the two results are based directly on König's infinity lemma. In contrast, this paper also shows that Yablo's paradox and its nested variant are non-self-referential, and neither McGee's paradox nor the omega-cycle liar paradox has circularity dependence. (shrink)

This paper gives a definition of self-reference on the basis of the dependence relation given by Leitgeb (J Philos Logic 34(2):155–192, 2005), and the dependence digraph by Beringer and Schindler (Reference graphs and semantic paradox, 2015. https://www.academia.edu/19234872/reference_graphs_and_semantic_paradox). Unlike the usual discussion about self-reference of paradoxes centering around Yablo’s paradox and its variants, I focus on the paradoxes of finitary characteristic, which are given again by use of Leitgeb’s dependence relation. They are called ‘locally finite paradoxes’, satisfying that any sentence in (...) these paradoxes can depend on finitely many sentences. I prove that all locally finite paradoxes are self-referential in the sense that there is a directed cycle in their dependence digraphs. This paper also studies the ‘circularity dependence’ of paradoxes, which was introduced by Hsiung (Logic J IGPL 22(1):24–38, 2014). I prove that the locally finite paradoxes have circularity dependence in the sense that they are paradoxical only in the digraph containing a proper cycle. The proofs of the two results are based directly on König’s infinity lemma. In contrast, this paper also shows that Yablo’s paradox and its ∀∃\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\forall \exists $$\end{document}-unwinding variant are non-self-referential, and neither McGee’s paradox nor the ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega $$\end{document}-cycle liar has circularity dependence. (shrink)

Tarski's theorem essentially says that the Liar paradox is paradoxical in the minimal reflexive frame. We generalise this result to the Liar-like paradox $\lambda^\alpha$ for all ordinal $\alpha\geq 1$. The main result is that for any positive integer $n = 2^i(2j+1)$, the paradox $\lambda^n$ is paradoxical in a frame iff this frame contains at least a cycle the depth of which is not divisible by $2^{i+1}$; and for any ordinal $\alpha \geq \omega$, the paradox $\lambda^\alpha$ is paradoxical in a frame (...) iff this frame contains at least an infinite walk which has an arbitrarily large depth. We thus get that $\lambda^n$ has a degree of paradoxicality no more than $\lambda^m$ iff the multiplicity of 2 in the (unique) prime factorisation of $n$ is no more than that in the prime factorisation of $m$; and all tranfinite $\lambda^\alpha$ has the same degree of paradoxcality but has a higher degree of paradoxicality than any $\lambda^n$. (shrink)