I argue that on very weak assumptions about truth (in particular, that there are coherent norms governing the use of "true"), there is a proposition absolutely inexpressible with conventional language, or something very close. I argue for this claim "constructively": I use a variant of the Berry Paradox to reveal a particular thought for my readership to entertain that very strongly resists conventional expression. I gauge the severity of this expressive limitation within a taxonomy of expressive failures, and argue (...) that despite its strength there is nothing incoherent about admitting its existence. The argument forms part of a project of clarifying precisely what trade-offs are required to secure the kinds of expressive power truth theorists typically want, in the process showing that the admission of very strong expressive limitations may ultimately prove to be the lesser of two evils. (shrink)

We argue that Nietzsche's interest in truth is more than merely a critical one. He criticizes one historically prominent conception of truth while proposing his own theory, called "perspectivism". However, Nietzsche's truth perspectivism appears to face a self-referential paradox, which is explored in detail. We argue that no commentator has yet solved this puzzle, and then provide our own solution. This solution, which depends upon distinguishing between weak and strong perspectivism while promoting the former, supplies Nietzsche with (...) a consistent truth theory that preserves the bulk of his claims. (shrink)

I offer you some theories of intellectual obligations and rights (virtue Ethics): initially, RBT (a Right to Believe Truth, if something is true it follows one has a right to believe it), and, NDSM (one has no right to believe a contradiction, i.e., No right to commit Doxastic Self-Mutilation). Evidence for both below. Anthropology, Psychology, computer software, Sociology, and the neurosciences prove things about human beliefs, and History, Economics, and comparative law can provide evidence of value about theories of (...) rights. However, insofar as we have methods within Philosophy to help us formulate precise concepts of 'belief' and 'rights', methods that also help us to prove links (or absence thereof) amongst families of concepts of rights and belief, our discipline is in and of itself capable of sound reasoning about issues as puzzling as the following. Suppose a Jane who does not believe in God yet who believes she ought to so believe: Jane is undergoing doxastic moral regret (moral regret for lack of faith). We have all known such Janes and perhaps at one time or another even been one. Paradox: given RBT and NDSM, Jane as described not only does not exist, Jane cannot exist. Thus, to enrich the ways in which Philosophy need not get all its evidence from other academic disciplines, I present a brief introduction to what I call Neutral Universal Frames (NUFs). NUFs solve hard puzzles about interactions among modal concepts of belief and rights, concepts that occur in RBT, NDSM and the description of our Janes. NUFs for theories precisely articulated via any two or more modal concepts are a powerful and immensely general set of tools enabling us to define rich theories of truth ("models on frames") to test philosophical theories for internal consistency and to prove the existence of connections (or absence thereof) amongst alternative articulations of philosophical theories. NUFs thereby add to the constructive knowledge producing way Logics intersect with Philosophy of Religion. And we will soon see why Jane, be she named 'Jane' or known simply as you: cannot exist. Read on at your own risk. (shrink)

In this ingenious and powerfully argued book Tim Maudlin sets out a novel account of logic and semantics which allows him to deal with certain notorious paradoxes which have bedevilled philosophical theories of truth. All philosophers interested in logic and language will find this a stimulating read.

This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...

A selective background -- Broadly classical approaches -- Paracompleteness -- More on paracomplete solutions -- Paraconsistent dialetheism.

Classic work by one of the most brilliant figures in post-war analytic philosophy.

Awarded the 1988 Johnsonian Prize in Philosophy. Published with the aid of a grant from the National Endowment for the Humanities.

Ttler=‘Ttler is true’ says of itself that it is true. It is a truth-teller. I argue that we have equally telling arguments (i) to the effect that all truth-tellers must have the same truth-value (ii) and the effect that truth-tellers differ in truth-value. This is what I call the Truth-Tellers paradox. This paradox stems from the fact that the truth-value of a truth-teller like Ttler should be determined by the fact that it (...) says of itself that it is true (which entails (i)) but that it cannot be determined by that fact (as witnessed by (ii)). The Truth-Tellers paradox resem- bles the classical semantic paradoxes like the Liar. In both cases, a form of self-reference allows us to derive a contradiction from oth- erwise plausible semantic and logical principles. Furthermore the Truth-Tellers paradox can be formulated without using sentences which are in an intuitive sense ungrounded, it thus severs the link, almost universally taken for granted, between the semantic para- doxes and ungroundedness. Finally, some classical solutions to the Liar do not generalize to the Truth-Tellers paradox. (shrink)

We introduce a variant of pointer structures with denotational semantics and show its equivalence to systems of boolean equations: both have the same solutions. Taking paradoxes to be statements represented by systems of equations (or pointer structures) having no solutions, we thus obtain two alternative means of deciding paradoxical character of statements, one of which is the standard theory of solving boolean equations. To analyze more adequately statements involving semantic predicates, we extend propositional logic with the assertion operator and (...) give its complete axiomatization. This logic is a sub-logic of statements in which the semantic predicates become internalized (for instance, counterparts of Tarski’s definitions and T-schemata become tautologies). Examples of analysis of self-referential paradoxes are given and the approach is compared to the alternative ones. (shrink)

Two proofs are given which show that if some set of truths fall under finitely many concepts (so-called Collectivity), then they all fall under at least one of them even if we do not know which one. Examples are given in which the result seems paradoxical. The first proof crucially involves Moorean propositions while the second is a reconstruction and generalization of a proof due to Humberstone free from any reference to such propositions. We survey a few solution routes including (...) Tennant-style restriction strategies. It is concluded that accepting Collectivity for some set of truths while also denying that any of the involved concepts in isolation capture all of them requires that one of these concepts cannot be closed under conjunction elimination. This is surprising since the paper surveys several applications in which Collectivity and the latter closure condition seemed jointly satisfiable for concepts of actual philosophical interest. (shrink)

Confronting the Liar Paradox is commonly viewed as a prerequisite for developing a theory of truth. In this paper I turn the tables on this traditional conception of the relation between the two. The theorist of truth need not constrain his search for a “material” theory of truth, i.e., a theory of the philosophical nature of truth, by committing himself to one solution or another to the Liar Paradox. If he focuses on the nature of (...) class='Hi'>truth (leaving issues of formal consistency for a later stage), he can arrive at material principles that prevent the Liar Paradox from arising in the first place. I argue for this point both on general methodological grounds and by example. The example is based on a substantivist theory of truth that emphasizes the role of truth in human cognition. The key point is that truth requires a certain complementarity of “immanence” and “transcendence”, and this means that some hierarchical structure is inherent in truth. Approaching the Liar Paradox from this perspective throws new light on its existent solutions: their differences and commonalities, their purported ad-hocness, and the relevance of natural language and bivalence to truth and the Liar. (shrink)

The article suggests a reading of the term ‘epistemic account of truth’ which runs contrary to a widespread consensus with regard to what epistemic accounts are meant to provide, namely a definition of truth in epistemic terms. Section 1. introduces a variety of possible epistemic accounts that differ with regard to the strength of the epistemic constraints they impose on truth. Section 2. introduces the paradox of knowability and presents a slightly reconstructed version of a related argument (...) brought forward by Wolfgang Künne. I accept the paradox and Künnes argument as sound objections to all the different epistemic accounts which are committed to one of the various constraints on truth introduced in section 1. Section 3. offers a modified epistemic constraint which, or so I argue, is immune to the paradox of knowability and plausible on independent grounds. (shrink)

The problem of truth and the liar paradox is one of the most extensive problems of philosophy. The liar paradox can be avoided by assuming a so-called theory of partial truth instead of a classical theory of truth. Theories of partial truth, however, cannot solve the so-called strengthened liar paradox, which is the problem that many semantic statements about the so-called strengthened liar cannot be true in a theory of partial truth. If such semantic statements (...) were true in the theory, another paradox would emerge. To proponents of contextual accounts, which assume that the concept of truth is context-dependent, the strengthened liar paradox is the core of the liar problem. This book provides an overview of current contextual approaches to the strengthened liar paradox. For this purpose, the author investigates formal theories of truth that result from formal reconstructions of such contextual approaches. (shrink)

After introducing semantic anti-realism and the paradox of knowability, the paper offers a reconstruction of the anti-realist argument from the theory of understanding. The proposed reconstruction validates an unrestricted principle to the effect that truth requires the existence of a certain kind of “demonstration”. The paper shows that the principle fails to imply the problematic instances of the original unrestricted knowability principle but that the overall view still has unrestricted epistemic consequences. Appealing precisely to the paradox of knowability, the (...) paper also argues, against BHK semantics, for the non-constructive character of the demonstrations envisaged by anti-realists, and contends that, in such a setting, one of the most natural arguments in favour of a revision of classical logic loses all its force. (shrink)

In truth theory one aims at general formal laws governing the attribution of truth to statements. Gupta’s and Belnap’s revision-theoretic approach provides various well-motivated theories of truth, in particular T* and T#, which tame the Liar and related paradoxes without a Tarskian hierarchy of languages. In property theory, one similarly aims at general formal laws governing the predication of properties. To avoid Russell’s paradox in this area a recourse to type theory is still popular, as testified (...) by recent work in formal metaphysics by Williamson and Hale. There is a contingent Liar that has been taken to be a problem for type theory. But this is because this Liar has been presented without an explicit recourse to a truth predicate. Thus, type theory could avoid this paradox by incorporating such a predicate and accepting an appropriate theory of truth. There is however a contingent paradox of predication that more clearly undermines the viability of type theory. It is then suggested that a type-free property theory is a better option. One can pursue it, by generalizing the revision-theoretic approach to predication, as it has been done by Orilia with his system P*, based on T*. Although Gupta and Belnap do not explicitly declare a preference for T# over T*, they show that the latter has some advantages, such as the recovery of intuitively acceptable principles concerning truth and a better reconstruction of informal arguments involving this notion. A type-free system based on T# rather than T* extends these advantages to predication and thus fares better than P* in the intended applications of property theory. (shrink)

We develop an argument sketched by Luna (2011) based on the Pinocchio paradox, which was proposed by Eldridge-Smith and Eldridge- Smith (2010). We show that, upon plausible assumptions, the claim that mental states supervene on bodily states leads to the conclusion that some proposition is both paradoxical and not paradoxical. In order to show how the presence of paradoxes can be harnessed for philosophical argumentation, we present as well a couple of related arguments.

In this paper we explain our pretense account of truth-talk and apply it in a diagnosis and treatment of the Liar Paradox. We begin by assuming that some form of deflationism is the correct approach to the topic of truth. We then briefly motivate the idea that all T-deflationists should endorse a fictionalist view of truth-talk, and, after distinguishing pretense-involving fictionalism (PIF) from error- theoretic fictionalism (ETF), explain the merits of the former over the latter. After presenting (...) the basic framework of our PIF account of truth-talk, we demonstrate a few advantages it offers over T-deflationist accounts that do not explicitly acknowledge pretense at work in the discourse. In turning to the Liar Paradox, we explain how the quasi-anaphoric functioning that our account attributes to truth-talk provides a diagnosis of the Liar Paradox (and other instances of semantic pathology) as having no content—in the sense of not specifying any of what we call M-conditions. At the same time, however, we vindicate the intuition that we can understand liar sentences, thereby avoiding one standard objection to “meaningless strategy” responses to the Liar Paradox. With this diagnosis in place, we then, by way of treatment, introduce a new predicate, ‘semantically defective’, and show how the explanation we give for its application allows for a consistent, yet revenge-immune, (dis)solution of the Liar Paradox, and semantic pathology generally. (shrink)

Truth and Paradox largely consists of three connected technical projects together with a more general account of the nature of truth. The first project is the most familiar: providing an account of how logically complex sentences get assigned truth values on the basis of the truth values assigned to the logically atomic sentences. The second is construction of valid, syntactically specifiable inference rules for a language that includes the familiar logical connectives and the truth predicate. (...) The third is an account of the normative rules governing the assertion of sentences. Let me sketch these in order. (shrink)

The article is part of a symposium on Hartry Field’s “Saving truth from paradox”. The book is one of the most significant intellectual achievements of the past decades, but it is not clear what, exactly, it accomplishes. I explore some alternatives, relating the developed view to the intuitive, pre-theoretic notion of truth.

Addresses the concept of truth in Chinese Daoist philosophy and ritual. Through wide-ranging research into Daoist ritual, both in history and as it survives in the present day, shows that the concept of true reality that informs this tradition posits being as a paradox anchored in the inexistent Way"--Provided by publisher.

A number of authors have noted that the key steps in Fitch’s argument are not intuitionistically valid, and some have proposed this as a reason for an anti-realist to accept intuitionistic logic (e.g. Williamson 1982, 1988). This line of reasoning rests upon two assumptions. The first is that the premises of Fitch’s argument make sense from an anti-realist point of view – and in particular, that an anti-realist can and should maintain the principle that all truths are knowable. The second (...) is that we have some independent reason for thinking that classical logic is not appropriate in this area. This paper explores these two assumptions in the context of Michael Dummett’s version of anti-realism, with particular reference to the argument from indefinite extensibility developed at various points in Dummett’s writings (e.g. Dummett 1991 Ch. 24). -/- Dummett argues that certain concepts, the indefinitely extensible concepts, are such that we cannot form a clear and determinate conception of all the objects that fall under them. The most familiar examples of indefinitely extensible concepts are mathematical. Dummett discusses the concepts ordinal number, real number, and natural number, which are indefinitely extensible because any conception that one might form of their complete extension can be extended to a more inclusive conception (as, for example, in Cantor’s proof of the non-denumerability of the set of real numbers). This paper argues that the concept of a truth is indefinitely extensible. This gives a Dummettian anti-realist an independent motivation for rejecting the classical understanding of the quantifiers in this area. At the same time, however, it places in doubt the admissibility of the knowability principle, which seems to involve quantification over the “totality” of truths. As Dummett is at pains to point out (1991: 316), some sentences that purport to quantify over the extension of an indefinitely extensible concept plainly have a truth-value (we can truly say, for example, that every ordinal number has a successor, even though when we say that we are not quantifying over the set of all ordinals). But is the knowability principle one of these sentences? (shrink)

In Truth Without Paradox, David Johnson purports to solve several of the traditional problems of metaphysics, pertaining to truth, logic, similitude, morality, and God.

Michael Lynch’s Truth as One and Many is a contribution to the large body of philosophical literature on the nature of truth. Within that genre, advocates of truth-as-correspondence, advocates of truth-as-coherence, and the like, all hold that truth has a single underlying metaphysical nature, but they sharply disagree as to what this nature is. Lynch argues that many of these views make good sense of truth attributions for a limited stretch of discourse, but he (...) adds that each of the contenders also faces a ‘scope problem’, in that none of them makes sense of all legitimate truth attributions. Some deflationists make similar observations – usually less concessive – and conclude that truth simply has no substantial, underlying nature. There is nothing for the philosopher to articulate and defend. Lynch agrees with deflationists that the realm of discourse is too diverse for any single ‘first-level’ property, such as correspondence or coherence, to fully characterize it, but against deflationism, he holds that truth does have a nature. He presents a functionalist theory. The definition is this: x is true if, and only if, x has a property that plays the truth-role. According to Lynch, the truth-role is given in terms of what he calls the ‘core truisms’ of the folk concept of truth. These are platitudes that hold of the everyday notion, and are such that anyone who denies all of them can be accused of changing the subject – of not talking about truth. A given property T plays the truth-role for a batch of propositions, just in case, for any proposition P in the batch: P is T if, and only if, where P is believed, things are as they are believed to be; other things being equal, it is a worthy goal …. (shrink)

We provide a 'verisimilitudinarian' analysis of the well-known Linda paradox or conjunction fallacy, i.e., the fact that most people judge the probability of the conjunctive statement "Linda is a bank teller and is active in the feminist movement" (B & F) as more probable than the isolated statement "Linda is a bank teller" (B), contrary to an uncontroversial principle of probability theory. The basic idea is that experimental participants may judge B & F a better hypothesis about Linda as compared (...) to B because they evaluate B & F as more verisimilar than B. In fact, the hypothesis "feminist bank teller", while less likely to be true than "bank teller", may well be a better approximation to the truth about Linda. (shrink)

This paper offers an analysis of a hitherto neglected text on insoluble propositions dating from the late XiVth century and puts it into perspective within the context of the contemporary debate concerning semantic paradoxes. The author of the text is the italian logician Peter of Mantua (d. 1399/1400). The treatise is relevant both from a theoretical and from a historical standpoint. By appealing to a distinction between two senses in which propositions are said to be true, it offers an (...) unusual solution to the paradox, but in a traditional spirit that contrasts a number of trends prevailing in the XiVth century. It also counts as a remarkable piece of evidence for the reconstruction of the reception of English logic in italy, as it is inspired by the views of John Wyclif. Three approaches addressing the Liar paradox (Albert of Saxony, William Heytesbury and a version of strong restrictionism) are first criticised by Peter of Mantua, before he presents his own alternative solution. The latter seems to have a prima facie intuitive justification, but is in fact acceptable only on a very restricted understanding, since its generalisation is subject to the so-called revenge problem. (shrink)

Semantic and soritical paradoxes display remarkable family resemblances. For one thing, several non-classical logics have been independently applied to both kinds of paradoxes. For another, revenge paradoxes and higher-order vagueness—among the most serious problems targeting solutions to semantic and soritical paradoxes—exhibit a rather similar dynamics. Some authors have taken these facts to suggest that truth and vagueness require a unified logical framework, or perhaps that the truth predicate is itself vague. However, a common core (...) of semantic and soritical paradoxes has not been identified yet, and no explanation of their relationships has been provided. Here we aim at filling this lacuna, in the framework of many-valued logics. We provide a unified diagnosis of semantic and soritical paradoxes, identifying their source in a general form of indiscernibility. We then develop our diagnosis into a theory of paradoxicality, which formalizes both semantic and soritical paradoxes as arguments involving specific instances of our generalized indiscernibility principle, and correctly predicts which logics can non-trivially solve them. (shrink)

There are three questions associated with Simpson’s paradox (SP): (i) Why is SP paradoxical? (ii) What conditions generate SP? and (iii) How to proceed when confronted with SP? An adequate analysis of the paradox starts by distinguishing these three questions. Then, by developing a formal account of SP, and substantiating it with a counterexample to causal accounts, we argue that there are no causal factors at play in answering questions (i) and (ii). Causality enters only in connection with action.

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)

A lot has been written on solutions to the semantic paradoxes, but very little on the topic of general theories of paradoxicality. The reason for this, we believe, is that it is not easy to disentangle a solution to the paradoxes from a specific conception of what those paradoxes consist in. This paper goes some way towards remedying this situation. We first address the question of what one should expect from an account of paradoxicality. We then present (...) one conception of paradoxicality that has been offered in the literature: the fixed-point conception. According to this conception, a statement is paradoxical if it cannot obtain a classical truth-value at any fixed-point model. In order to assess this proposal rigorously we provide a non-metalinguistic characterization of paradoxicality and we evaluate whether the resulting account satisfies a number of reasonable desiderata. (shrink)

This dissertation is a study of some recent theories of truth. The theories fall into three groups: The Revision Theories, the context-sensitive theories, and the "Chrysippian theories". ;The "Chrysippian theories" are based on the intuition that pathologicalities arising from the concept of truth can be recognized and acknowledged with the concept of truth itself. Thus, from the pathologicality of the Liar, for example, we can conclude that the Liar is not true. This leads to immediate difficulties since (...) the Liar claims just that--that it is not true--and it would thus seem to be true. The Chrysippian theories are designed to avoid these difficulties while preserving the motivating intuition. Haim Gaifman's Pointer Semantics, and Brian Skyrms' Intensional Fixed-Point Theory of Truth are examples of such theories. They are exposited and criticized. ;The context-sensitive theories dealt with are Tyler Burge's Indexical Theory of Truth and the theory of Jon Barwise and John Etchemendy. These theories claim that an ambiguity due to a contextual parameter is the reason for the difficulties we encounter. Burge offers a theory of Tarskian levels coupled with a pragmatic theory that explains the assignment of levels to occurrences of 'true'. Barwise and Etchemendy make explicit a situational parameter in their account of propositions. They consider the ambiguity with respect to the situation a propositions is about a main source of the paradoxes. ;Finally, the Revision Theories of Truth of Anil Gupta and Nuel Belnap and two variations of this theory are considered. One is due to Aladdin Yaqub, the other, the "fully-varied theory", is due to Gupta and Belnap but remains largely unexplored. Revision theories are put forward as the most promising account of the difficulties. They are based on a definitional reading of all Tarski biconditionals. The circularity implied by such a reading is handled by Gupta's and Belnap's general theory of definitions. ;Yaqub's objections raised against the standard theory are examined, and his proposed solution is shown to be inadequate. The fully-varied Revision Theory is shown to provide a better solution. (shrink)

The liar paradox results from a line of reasoning that starts with the liar sentence, ‘This sentence is false’ and ends with a contradictory conclusion, ‘The liar sentence is both true and false’. There have been solutions to the paradox that preserve the standard conception of truth and the classical notion of logical validity. In this paper, I explore nonstandard solutions to it. In particular, I focus on two non-classical solutions to the liar paradox; viz., the gappy and the (...) glutty solutions. According to the gappy solution, the liar sentence is neither true nor false, and the reasoning that leads to the paradoxical conclusion is unsound. On the other hand, according to the glutty solution, the paradoxical conclusion is correct, but any subsequent reasoning from it is invalid. I show some ways of motivating each of these solutions. Next, I show what each implies about the notions of truth and validity, and how each solves the paradox. Finally, I highlight some of the more recent problems that could be pitted against each of these solutions. (shrink)

Consider the sentence 'This sentence is not true'. It seems that the sentence can be neither true nor not true, on pain of contradiction. Certain notorious paradoxes like this have bedevilled philosophical theories of truth. Tim Maudlin presents an original account of logic and semantics which deals with these paradoxes, and allows him to set out a new theory of truth-values and the norms governing claims about truth. All philosophers interested in logic and language will (...) find Truth and Paradox a stimulating read. (shrink)

Classic work by one of the most brilliant figures in post-war analytic philosophy.