John MacFarlane explores how we might make sense of the idea that truth is relative. He provides new, satisfying accounts of parts of our thought and talk that have resisted traditional methods of analysis, including what we mean when we talk about what is tasty, what we know, what will happen, what might be the case, and what we ought to do.

Dialetheism is the view that some contradictions are true. This is a view which runs against orthodoxy in logic and metaphysics since Aristotle, and has implications for many of the core notions of philosophy. Doubt Truth to Be a Liar explores these implications for truth, rationality, negation, and the nature of logic, and develops further the defense of dialetheism first mounted in Priest's In Contradiction, a second edition of which is also available.

It is argued that a certain form of the view that the semantic paradoxes show that natural languages are "inconsistent" provides the best response to the semantic paradoxes. After extended discussions of the views of Kirk Ludwig and Matti Eklund, it is argued that in its strongest formulation the view maintains that understanding a natural language is sharing cognition of an inconsistent semantic theory for that language with other speakers. A number of aspects of this approach are discussed and a (...) few objections are entertained. (shrink)

In a number of influential articles published since 1972, Dorothy Grover has developed the prosentential theory of truth. Brought together and published with a new introduction, these essays are even more impressive as a group than they were as single contributions to philosophy and linguistics. Denying that truth has an explanatory role, the prosentential theory does not address traditional truth issues like belief, meaning, and justification. Instead, it focuses on the grammatical role of the truth predicate and asserts that “it (...) is true” is a prosentence, functioning much as a pronoun does. Grover defends the theory by indicating how it can handle notorious paradoxes like the Liar, as well as by analyzing some English truth-usages. The introduction to the volume surveys traditional theories of truth, including correspondence, pragmatic, and coherence theories. It discusses the essays to come and, finally, considers the implications of the prosentential theory for other theories. Despite the fact that the prosentential theory dismisses the “nature of truth” as a red herring, Grover shows that there are important aspects of traditional truth theories that prosentential theorists have the option of endorsing. (shrink)

It's often said that according to deflationary theories of truth, truth is not a ‘substantial’ property. While this is a fine slogan, it is far from transparent what deflationists mean (or ought to mean) in saying that truth is ‘insubstantial’. Focusing so intently upon the concept of truth and the word ‘true’, I argue, deflationists and their critics have been insufficiently attentive to a host of metaphysical complexities that arise for deflationists in connection with the property of truth. My aim (...) is to correct several misunderstandings as to what deflationists are after here—including some harboured by deflationists themselves—and to offer an account of the commitments about truth's nature that they ought to undertake. In developing this account, I focus particularly upon the issue of what metaphysics of truth a Horwichian minimalist ought to adopt. (shrink)

Correspondence theories are frequently either too vaguely expressed – “true statements correspond to the way things are in the world,” or implausible – “true statements mirror raw, mind-independent reality.” I address this problem by developing features and roles that ought to characterize what I call ldquo;modest” correspondence theories. Of special importance is the role of correspondence in directing our responses to cases of suspected non-factuality; lack of straightforward correspondence shows the need for, and guides us in our choice of, various (...) kinds of reconstrual projects. This, I argue, is in contrast to the approaches suggested by deflationism and coherence, and thus modest correspondence theories are appropriately distinct from rivals. (shrink)

Recasting important questions about truth and objectivity in new and helpful terms, his book will become a focus in the contemporary debates over realism, and ...

Every student of English-speaking analytical metaphysics is taught that the early twentieth century philosophical debate about truth confronted the correspondence theory, supported by Russell, Moore, the early Wittgenstein and, later, J.L. Austin, with the coherence theory advocated by the British Idealists. Sometimes the pragmatist conception of truth deriving from Dewey, William James, and C.S. Peirce is regarded as a third player. And as befits a debate at the dawn of analytical philosophy, the matter in dispute is normally taken to have (...) been the proper analysis of the concept.No doubt this conception nicely explains some of the characteristic turns taken in the debate. Analysis, as traditionally conceived, has to consist in the provision of illuminating conceptual equivalences; and illumination will depend, according to the standard rules of play, on the analysans’ utilizing only concepts which, in the best case, are in some way prior to and independent of the notion being analyzed — or, if that's too much to ask, then concepts which at least permit of some form of explication which does not in turn take one straight back to that notion. (shrink)

Philosophers have met with many problems in discussing the interconnected concepts being, identity, and truth, and have advanced many theories to deal with them. Williams argues that most of these problems and theories result from an inadequate appreciation of the ways in which the words "be," "same," and "true" work. By means of linguistic analysis he shows that being and truth are not properties, and identity is not a relation. He is thus able to demystify a number of metaphysical issues (...) concerning the meaning of the word "I," the relation between the mental and the physical, objects of thought, times and places, and the nature of reality. Williams presents his views clearly, with a minimum of technicality, and with rich and apt examples, so that they will be accessible to readers not versed in symbolic logic. (shrink)

We investigate axiomatizations of Kripke's theory of truth based on the Strong Kleene evaluation scheme for treating sentences lacking a truth value. Feferman's axiomatization KF formulated in classical logic is an indirect approach, because it is not sound with respect to Kripke's semantics in the straightforward sense: only the sentences that can be proved to be true in KF are valid in Kripke's partial models. Reinhardt proposed to focus just on the sentences that can be proved to be true in (...) KF and conjectured that the detour through classical logic in KF is dispensable. We refute Reinhardt's Conjecture, and provide a direct axiomatization PKF of Kripke's theory in partial logic. We argue that any natural axiomatization of Kripke's theory in Strong Kleene logic has the same proof-theoretic strength as PKF, namely the strength of the system RA< ωω ramified analysis or a system of Tarskian ramified truth up to ωω. Thus any such axiomatization is much weaker than Feferman's axiomatization KF in classical logic, which is equivalent to the system RA<ε₀ of ramified analysis up to ε₀. (shrink)

Predicates of personal taste (fun, tasty) and epistemic modals (might, must) share a similar analytical difficulty in determining whose taste or knowledge is being expressed. Accordingly, they have parallel behavior in attitude reports and in a certain kind of disagreement. On the other hand, they differ in how freely they can be linked to a contextually salient individual, with epistemic modals being much more restricted in this respect. I propose an account of both classes using Lasersohn’s (Linguistics and Philosophy 28: (...) 643–686, 2005) “judge” parameter, at the same time arguing for crucial changes to Lasersohn’s view in order to allow the extension to epistemic modals and address empirical problems faced by his account. (shrink)

Truth centered epistemology puts truth at the center in more ways than one. For one thing, it makes truth a main cognitive goal of inquiry. For another, it explains other main epistemic concepts in terms of truth. Knowledge itself, for example, is explained as belief that meets certain other conditions, among them being true. And a belief is said to be rationally or epistemically justified or apt, which it must be in order to be knowledge, only if it derives from (...) a truth-conducive faculty, an intellectual virtue. What defensible theories of truth are open to such truth-centered epistemology? That is our main question. (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)

In this collection of original papers, leading international authorities turn their attention to one of the most important questions in theoretical philosophy: ...

In The Things We Mean I argue that there exist such things as the things we mean and believe, and that they are what I call pleonastic propositions. The first two chapters offer an initial motivation and articulation of the theory of pleonastic propositions, and of pleonastic entities generally. The remaining six chapters bring that theory to bear on issues in the theory of content: the existence and nature of meanings; knowledge of meaning; the meaning relation and compositional semantics; the (...) relation between content-involving facts and underlying physical facts; vagueness and indeterminacy; conditionals; normative discourse; and the role of propositional content in explanation, prediction, and knowledge acquisition. (shrink)

Of the dozens of purported solutions to the liar paradox published in the past fifty years, the vast majority are "traditional" in the sense that they reject one of the premises or inference rules that are used to derive the paradoxical conclusion. Over the years, however, several philosophers have developed an alternative to the traditional approaches; according to them, our very competence with the concept of truth leads us to accept that the reasoning used to derive the paradox is sound. (...) That is, our conceptual competence leads us into inconsistency. I call this alternative the inconsistency approach to the liar. Although this approach has many positive features, I argue that several of the well-developed versions of it that have appeared recently are unacceptable. In particular, they do not recognize that if truth is an inconsistent concept, then we should replace it with new concepts that do the work of truth without giving rise to paradoxes. I outline an inconsistency approach to the liar paradox that satisfies this condition. (shrink)

Alston begins his exposition of the realist conception of truth in chapter 1 with a roughly Aristotelian formulation: “A statement is true if and only if what the statement says to be the case actually is the case”. This condition has the drawback that it defines truth via illocutionary acts; yet, as Alston argues, propositions are the most basic truth-bearers. Alston therefore turns to the universalized T-schema for a condition that characterizes the truth of propositions without mentioning illocutionary acts: “ (...) The proposition that p is true iff p”, where “” is a substitutional rather than objectual quantifier over propositions. Later Alston avers that this account of truth is equivalent to another that is overtly realist in characterizing truth in terms of facts, a minimalist correspondence theory: “ The proposition that p is true iff it is a fact that p”. (shrink)

This belongs to a symposium about Crispin Wright's Truth\nand Objectivity. Wright entertains the "possibility of a\npluralist view of truth." I suggest that this should not\nentail ambiguity in the word "true." For truth to amount to\ndifferent things for different kinds of subject matter no\nmore entails ambiguity than does the fact that existence\namounts to different things for different kinds of entity.\nTurning to cognitive command, I argue that it is trivially\nsatisfied: if I judge that p and you disagree, then under\nsuitable conditions I must (...) take it that something is wrong\nwith your cognitive mechanisms. (shrink)

In Contradiction advocates and defends the view that there are true contradictions, a view that flies in the face of orthodoxy in Western philosophy since Aristotle. The book has been at the center of the controversies surrounding dialetheism ever since its first publication in 1987. This second edition of the book substantially expands upon the original in various ways, and also contains the author’s reflections on developments over the last two decades. Further aspects of dialetheism are discussed in the companion (...) volume, Doubt Truth to be a Liar, also published by Oxford University Press in 2006. (shrink)

Deflationists about truth typically deny that truth is a causal-explanatory property. However, the now familiar 'success argument' attempts to show that truth plays an important causal-explanatory role in explanations of practical success. Deflationists have standardly responded that the truth predicate appears in such explanations merely as a logical device, and that therefore truth has not been shown to play a causal-explanatory role. I argue that if we accept Jackson and Pettit's account of causal explanations, the standard deflationist response is inconsistent, (...) for on this account even logical properties can be causally explanatory. Therefore the deflationist should remain neutral as to whether truth is a causal-explanatory property, and focus instead on the claim that truth, if it is a property, is a merely logical one. (shrink)

In recent work on context­dependency, it has been argued that certain types of sentences give rise to a notion of relative truth. In particular, sentences containing predicates of personal taste and moral or aesthetic evaluation as well as epistemic modals are held to express a proposition (relative to a context of use) which is true or false not only relative to a world of evaluation, but other parameters as well, such as standards of taste or knowledge or an agent. Thus, (...) a sentence like chocolate tastes good would express a proposition p that is true or false not only at a world of evaluation, but relative to the additional parameter as well, such as a parameter of taste or an agent. I will argue that the sentences that apparently give rise to relative truth should be understood by relating them in a certain way to the first person. More precisely, such sentences express what I will call first­person­based genericity, a form of generalization that is based on or directed toward an essential first­person application of the predicate. The account differs from standard relative truth account in crucial respects: it is not the truth of the proposition expressed that is relative to the first person; the proposition expressed by a sentence with a predicate of taste rather has absolute truth conditions. Instead it is the propositional content itself that requires a first­personal cognitive access whenever it is entertained. This account, I will argue, avoids a range of problems that standard relative truth theories of the sentences in question face and explains a number of further peculiarities that such sentences display. (shrink)

Identity, existence, predication, necessity, and truth are fundamental philosophical concerns. Colin McGinn treats them both philosophically and logically, aiming for maximum clarity and minimum pointless formalism. He contends that there are real logical properties that challenge naturalistic metaphysical outlooks. These concepts are not definable, though we can say a good deal about how they work. The aim of Logical Properties is to bring philosophy back to philosophical logic.

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)

What is truth? Michael Lynch defends a bold new answer to this question. Traditional theories of truth hold that truth has only a single uniform nature. All truths are true in the same way. More recent deflationary theories claim that truth has no nature at all; the concept of truth is of no real philosophical importance. In this concise and clearly written book, Lynch argues that we should reject both these extremes and hold that truth is a functional property. To (...) understand truth we must understand what it does, its function in our cognitive economy. Once we understand that, we'll see that this function can be performed in more than one way. And that in turn opens the door to an appealing pluralism: beliefs about the concrete physical world needn't be true in the same way as our thoughts about matters -- like morality -- where the human stain is deepest. (shrink)

In Truth as One and Many, Michael Lynch offers a new theory of truth. There are two kinds of theory of truth in the literature. On the one hand, we have logical theories, which seek to construct formal systems that are consistent, while also containing a predicate which have as many as possible of the properties which we ordinarily take the English predicate ‘is true’ to have; salient examples include Tarski’s and Kripke’s theories of truth. On the other hand, we (...) have metaphysical theories, which seek to give a non-formal account of the nature of truth – of what truth consists in, of what it means to say that something is true; salient examples include correspondence, coherence and deflationary theories of truth. Lynch’s theory – functionalism about truth – is of the second sort.The theory takes its start from a number of principles which Lynch classifies as truisms about truth:Objectivity: The belief that p is true if, and only if, with respect to the belief that p, things are as they are believed to be.Norm of Belief: It is prima facie correct to believe that p if and only if the proposition that p is true.End of Inquiry: Other things being equal, true beliefs are a worthy goal of inquiry.Lynch argues that other familiar principles can be derived from these: for example, Objectivity together with some auxiliary principles and definitions yields versions of the T-schema, and of the principle that beliefs can be true without being warranted and vice versa. These principles are supposed to give the nominal essence of truth – to constitute our folk theory of truth. Lynch …. (shrink)