Theories of Truth provides a clear, critical introduction to one of the most difficult areas of philosophy. It surveys all of the major philosophical theories of truth, presenting the crux of the issues involved at a level accessible to nonexperts yet in a manner sufficiently detailed and original to be of value to professional scholars. Kirkham's systematic treatment and meticulous explanations of terminology ensure that readers will come away from this book with a comprehensive general understanding of one (...) of philosophy's thorniest set of topics. -/- Included are discussions of the correspondence, coherence, pragmatic, semantic, performative, redundancy, appraisal, and truth-as-justification theories. There are also chapters or sections of chapters on the liar paradox, three-valued logic, Field's critique of Tarski, Davidson's program, Dummett's theory of linguistic competence, satisfaction, recursion, the extension/intension distinction, and an explanation of how theories of justification, properly understood, differ from theories of truth. -/- A persistent theme is that philosophers have too often failed to recognize that not all theories of truth are intended to answer the same question. When the various questions are made distinct, it is apparent that many of the "debates" in this field are really cases of philosophers talking past one another. There is much less disagreement within the field than has commonly been thought. (shrink)

There are often said to be five main 'theories of truth': correspondence, coherence, pragmatic, redundancy, and semantic theories. The coherence theory of truth equates the truth of a judgment with its coherence with other beliefs. Different versions of the theory give different accounts of coherence, but in all its forms the point is to exhibit truth as an internal relation between beliefs. The pragmatic theory of truth is akin to a coherence (...) class='Hi'>theory of this Kantian kind. No coherence theorist need deny the uncontentious claim that for a judgment to be true is for it to stand in a certain relationship, which can be called correspondence, with some state of affairs in the world. The conflict with the redundancy theory may be more apparent than real. For the redundancy theory is not a theory of what truth consists in, but a theory about the meaning of the words 'is true'. (shrink)

At the centre of the traditional discussion of truth is the question of how truth is defined. Recent research, especially with the development of deflationist accounts of truth, has tended to take truth as an undefined primitive notion governed by axioms, while the liar paradox and cognate paradoxes pose problems for certain seemingly natural axioms for truth. In this book, Volker Halbach examines the most important axiomatizations of truth, explores their properties and shows how (...) the logical results impinge on the philosophical topics related to truth. In particular, he shows that the discussion on topics such as deflationism about truth depends on the solution of the paradoxes. His book is an invaluable survey of the logical background to the philosophical discussion of truth, and will be indispensable reading for any graduate or professional philosopher in theories of truth. (shrink)

Three leading philosopher-logicians present a clear and concise overview of formal theories of truth, explaining key logical techniques. Truth is as central topic in philosophy: formal theories study the connections between truth and logic, including the intriguing challenges presented by paradoxes like the Liar.

Definitional and axiomatic theories of truth -- Objects of truth -- Tarski -- Truth and set theory -- Technical preliminaries -- Comparing axiomatic theories of truth -- Disquotation -- Classical compositional truth -- Hierarchies -- Typed and type-free theories of truth -- Reasons against typing -- Axioms and rules -- Axioms for type-free truth -- Classical symmetric truth -- Kripke-Feferman -- Axiomatizing Kripke's theory in partial logic -- Grounded truth (...) -- Alternative evaluation schemata -- Disquotation -- Classical logic -- Deflationism -- Reflection -- Ontological reduction -- Applying theories of truth. (shrink)

Nonclassical theories of truth have in common that they reject principles of classical logic to accommodate an unrestricted truth predicate. However, different nonclassical strategies give up different classical principles. The paper discusses one criterion we might use in theory choice when considering nonclassical rivals: the maxim of minimal mutilation.

This article outlines what a formal theory of truth should be like, at least at first glance. As not all of the stated constraints can be satisfied at the same time, in view of notorious semantic paradoxes such as the Liar paradox, we consider the maximal consistent combinations of these desiderata and compare their relative advantages and disadvantages.

Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology (...) suffered by at least some of these sentences as infectious. This leads us to consider four distinct four-valued logics: one where truth-value gaps are infectious, but gluts are not; one where truth-value gluts are infectious, but gaps are not; and two logics where both gluts and gaps are infectious, in some sense. Additionally, we focus on the proof theory of these systems, by offering a discussion of two related topics. On the one hand, we prove some limitations regarding the possibility of providing standard Gentzen sequent calculi for these systems, by dualizing and extending some recent results for infectious logics. On the other hand, we provide sound and complete four-sided sequent calculi, arguing that the most important technical and philosophical features taken into account to usually prefer standard calculi are, indeed, enjoyed by the four-sided systems. (shrink)

Every deflationist semantic theory has its inflationist correlate: this is the semantic theory the deflationist theory is designed to deflate. This chapter presents Radical Inflationism and Radical Deflationism as stipulatively defined theories, without regard to who might subscribe to them, or to one or another of their parts. Radical Deflationism is based on a view worked out over a number of important publications by Hartry Field. In other words, radical inflationist is on board with the view Hartry (...) Field had when he wrote 'Tarski's theory of truth', that our notions of reference and truth are correspondence notions that stand in need of physicalistic explications. This is that Radical Deflationism's claim that the only reason we need a notion of truth is as a device of disquotation is hostage to the theory's ability to meet what we will presently see is its greatest challenge. (shrink)

This chapter attempts to give a brief overview of nonclassical (-logic) theories of truth. Due to space limitations, we follow a victory-through-sacrifice policy: sacrifice details in exchange for clarity of big-picture ideas. This policy results in our giving all-too-brief treatment to certain topics that have dominated discussion in the non-classical-logic area of truth studies. (This is particularly so of the ‘suitable conditoinal’ issue: §4.3.) Still, we present enough representative ideas that one may fruitfully turn from this essay to (...) the more-detailed cited works for further study. Throughout – again, due to space – we focus only on the most central motivation for standard non-classical-logic-based truth theories: namely, truth-theoretic paradox (specifically, due to space, the liar paradox). (shrink)

This book examines different views on the concept of truth in early Chinese philosophy, and considers a variety of theories of truth in Chinese and comparative thought.

Primitivists about truth maintain that truth cannot be analysed in more fundamental terms. Defences of primitivism date back to the early years of analytic philosophy, being offered by G.E. Moore, Bertrand Russell, and Gottlob Frege. In more recent years, a number of contemporary philosophers—including Donald Davidson, Ernest Sosa, Trenton Merricks, Douglas Patterson, and Jamin Asay—have followed suit, defending their own versions of primitivism. I'll begin by offering a brief history of primitivism, situating each of these views within the (...) landscape of primitivist truth theories and detailing some of their core motivations and apparent shortcomings. To close the discussion, I'll offer a diagnosis of the prospects of primitivism, focusing on the mystery challenge, which has loomed large throughout the history of primitivist truth theories, and the methodology that should be used in evaluating primitivist (and other) truth theories going forward. (shrink)

A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.

This papers deals with the class of axiomatic theories of truth for semantically closed languages, where the theories do not allow for standard models; i.e., those theories cannot be interpreted as referring to the natural number codes of sentences only (for an overview of axiomatic theories of truth in general, see Halbach[6]). We are going to give new proofs for two well-known results in this area, and we also prove a new theorem on the nonstandardness of a certain (...) theory of truth. The results indicate that the proof strategies for all the theorems on the nonstandardness of such theories are "essentially" of the same kind of structure. (shrink)

Recent work on formal theories of truth has revived an approach, due originally to Tarski, on which syntax and truth theories are sharply distinguished—‘disentangled’—from mathematical base theories. In this paper, we defend a novel philosophical constraint on disentangled theories. We argue that these theories must be epistemically stable: they must possess an intrinsic motivation justifying no strictly stronger theory. In a disentangled setting, even if the base and the syntax theory are individually stable, they may be (...) jointly unstable. We contend that this flaw afflicts many proposals discussed in the literature; we defend a new, stable disentangled theory, double second-order arithmetic. (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)

The paper is concerned with the idea that the world is the totality of facts, not of things – with what is involved in thinking of the world in that way, and why one might do so. It approaches this issue through a comparison between Wittgenstein’s Tractatus and the identity theory of truth proposed by Hornsby and McDowell.The paper’s positive conclusion is that there is a genuine affinity between these two. A negative contention is that the modern identity (...) theory is vulnerable to a complaint of idealism that the Tractatus can deflect. (shrink)

Theories of Truth introduces readers to issues that have been connected with truth—the only book of its kind. Richard Kirkham has an easy writing style and a good sense of what needs to be explained to students new to the literature. These facts make Theories of Truth a serious contender for use in the classroom. As with most introductions, use of the book should be supplemented with readings from the major authors covered. Beyond that supplementation, however, the (...) text still needs to be used with some caution, for there are shortcomings that could seriously mislead students. (shrink)

This book argues that correspondence theories of truth fail because the relation that holds between a true thought and a fact is that of identity, not correspondence. Facts are not complexes of worldly entities which make thoughts true they are merely true thoughts. According to Julian Dodd, the resulting modest identity theory, while not defining truth, correctly diagnoses the failure of correspondence theories, and thereby prepares the ground for a defensible deflation of the concept of truth.

Arguments pro and contra convergent realism - underdetermination of theory by observational evidence and pessimistic meta-induction from past falsity- are considered. It is argued that, to meet the counter-arguments challenge, convergent realism should be considerably changed with a help of modification of the propositions from this meta-programme’s “hard core” and “protecting belt”. Maybe one of the ways out is to turn to the coherent theory of truth. Some of the works of Hegel (as interpreted by Merab Mamardashvili (...) and Alexandre Kojev), Husserl and Heidegger can help to dig still deeper into the background of this theory. Key words: Husserl, Heidegger, Hegel, convergent realism, internal realism, coherent theory of truth. -/- . (shrink)

Much recent work in the philosophy of language has been concerned with the project of constructing a theory of reference and truth for natural languages. I shall discuss certain assumptions which have been tacitly in the background of most of this work; what I hope my rather sceptical discussion will show is that the project of giving a theory of reference and truth is much more problematic - and more closely tied to questions of general philosophical (...) interest - than is usually suspected. (shrink)

Partly due to the influence of Tarski's work, it is commonly assumed that any good theory of truth implies biconditionals of the sort mentioned in Convention T: instances of the T-Schema "s is true in L if and only if p" where the sentence substituted for "p" is equivalent in meaning to s. I argue that we must take care to distinguish the claim that implying such instances is sufficient for adequacy in an account of truth from (...) the claim that doing so is necessary. The claim that doing so is sufficient is a common component of deflationary theories of truth, while the claim that it is necessary, though often assumed, must be denied by proponents of rival inflationary theories of truth. I discuss the clarification of the debate between these views of truth that results from distinguishing the necessity and the sufficiency claims, and examine the prospects for its resolution. (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)

One of the most intuitive concepts of truth is the classical correspondence theory of truth. Aside from the theoretical cogency and plausibility, this truth theory has two fundamental problems. I shall explore both of these problems. This will not be to reveal the problematic nature of the classical correspondence theory of truth itself, but to demonstrate the implications it has on Islam. I shall establish that the problems of this truth theory (...) contribute in the failure to determine the truth of a particular notion of an Islamic God. Consequently this truth theory would prove inconsistent with a particular notion of God within the Islamic tradition. (shrink)

Epistemic theories of truth, such as those presumed to be typical for anti-realism, can be characterised as saying that what is true can be known in principle: p → ◊Kp. However, with statements of the form “p & ¬Kp”, a contradiction arises if they are both true and known. Analysis of the nature of the paradox shows that such statements refute epistemic theories of truth only if the the anti-realist motivation for epistemic theories of truth is not (...) taken into account. The motivation in a link of understandability ans meaningful- ness suggests to change the above principle and to restrict the theory to logically simple sentences, in which case the paradox does not arise. This suggestion also allows to see the deep philosophical problems for anti-realism those counterexamples are pointing at. (shrink)

The paper is concerned with the idea that the world is the totality of facts, not of things – with what is involved in thinking of the world in that way, and why one might do so. It approaches this issue through a comparison between Wittgenstein's Tractatus and the identity theory of truth proposed by Hornsby and McDowell. The paper's positive conclusion is that there is a genuine affinity between these two. A negative contention is that the modern (...) identity theory is vulnerable to a complaint of idealism that the Tractatus can deflect. (shrink)

The fact that a group of axioms use the word 'true' does not guarantee that that group of axioms yields a theory of truth. For Davidson the derivability of certain biconditionals from the axioms is what guarantees this. We argue that the test does not work. In particular, we argue that if the object language has truth-value gaps, the result of applying Davidson''s definition of a theory of truth is that no correct theory of (...) truth for the language is possible. (shrink)

Neo-Kantian philosophers sometimes divided the history of philosophy in three periods: philosophy before Kant, Kant, and philosophy after Kant. The admirers of Alfred Tarski are prone, with good justification, to propose a similar division of theories of truth. But even in our post-Tarskian period, the nature and significance of Tarski’s theory of truth is still a matter of controversy.1 Therefore, to understand better Tarski’s achievement and some of our present puzzles, it is instructive to go back to (...) the pre-Tarskian problem situation in the late 1920s and the early 1930s, and to see how Tarski’s treatment of truth in Warsaw was related to alternative views current in Vienna and Berlin. (shrink)

The connection between theories of truth and meaning is explored. Theories of truth and meaning are connected in a way such that differences in the conception of what it is for a sentence to be true are engendered by differences in the conception of how meanings depend on each other, and on a base of underlying facts. It is argued that this view is common ground between Davidson and Dummett, and that their dispute over realism is really a (...) dispute in the theory of meaning over holism and molecularism. The view offered is contrasted with influential pragmatist and modest views. (shrink)

In this rigorous investigation into the logic of truth Anil Gupta and Nuel Belnap explain how the concept of truth works in both ordinary and pathological..

T-biconditionals have often been regarded as insufficient as axioms for truth. This verdict is based on Tarski’s observation that the typed T-sentences suffer from deductive weakness. As indicated by McGee, the situation might change radically if we consider type-free disquotational theories of truth. However, finding a well-motivated set of untyped T-biconditionals that is consistent and recursively enumerable has proven to be very difficult. Moreover, some authors ) have argued that any solution to the semantic paradoxes necessarily involves ‘inflationary’ (...) means, thus spelling doom to deflationist and minimalist truth theories in particular. The situation is indeed worrisome as formal theories of minimalist truth are missing so far. This makes it very hard to properly evaluate the tenets of minimalism. In the present article, we will show how to find safe instances of the T-schema just by relying on syntactic features of the sentences of our language—in particular, we will explore Quine’s idea of stratification. Based on that, we will introduce some disquotational truth theories that are deductively very strong. (shrink)

Truth and philosophy -- A short history of truth -- Coherence -- Pragmatism -- Deflationism -- Correspondence -- Phenomenology -- Realism -- Truth and freedom, economics, and religion.

Robert cummins has recently attacked this line of argument: if p is a semantically primitive predicate of a first order language l, then p requires its own clause in the definition of satisfaction integral to a definition of truth of l. thus if l has infinitely many such p, the satisfaction clause cannot be completed and truth for l will remain undefined. against this cummins argues that a single clause in a general base theory for l can (...) specify satisfaction conditions for even infinitely many semantically primitive predicates of l. against cummins we argue that a general base theory contains a primitive expression 'applies to' and that to make his case cummins would need to prove this expression stands for a semantical relation sufficient to a truth definition for l. not only is such a proof lacking but we show the claim to be altogether dubious. (shrink)

The classic and contemporary readings in this collection represent the four most influential theories of truth – correspondence, pragmatist, coherence, and deflationary theories. A collection of classic and contemporary philosophical reflections on the nature of truth. Opens with an introduction to theories of truth, designed for readers with little or no prior knowledge of the subject. Divided into four sections on the most important theories of truth - correspondence, pragmatist, coherence, and deflationary theories. Brings together articles (...) in the recent debate over the correspondence theory and deflationism that are not otherwise available in one place. Includes contributions by C.S. Peirce, William James, Bertrand Russell, Alfred Tarski, Hartry Field, Dorothy Grover, Anil Gupta and others. Concludes with an extensive bibliography of recent articles on truth. (shrink)

The classic and contemporary readings in this collection represent the four most influential theories of truth – correspondence, pragmatist, coherence, and deflationary theories. A collection of classic and contemporary philosophical reflections on the nature of truth. Opens with an introduction to theories of truth, designed for readers with little or no prior knowledge of the subject. Divided into four sections on the most important theories of truth - correspondence, pragmatist, coherence, and deflationary theories. Brings together articles (...) in the recent debate over the correspondence theory and deflationism that are not otherwise available in one place. Includes contributions by C.S. Peirce, William James, Bertrand Russell, Alfred Tarski, Hartry Field, Dorothy Grover, Anil Gupta and others. Concludes with an extensive bibliography of recent articles on truth. (shrink)

Jamin Asay's book offers a fresh and daring perspective on the age-old question 'What is truth?', with a comprehensive articulation and defence of primitivism, the view that truth is a fundamental and indefinable concept. Often associated with Frege and the early Russell and Moore, primitivism has been largely absent from the larger conversation surrounding the nature of truth. Asay defends primitivism by drawing on a range of arguments from metaphysics, philosophy of language and philosophy of logic, and (...) navigates between correspondence theory and deflationism by reviving analytic philosophy's first theory of truth. In its exploration of the role that truth plays in our cognitive and linguistic lives, The Primitivist Theory of Truth offers an account of not just the nature of truth, but the foundational role that truth plays in our conceptual scheme. It will be valuable for students and scholars of philosophy of language and of metaphysics. (shrink)

Narrowly speaking, the correspondence theory of truth is the view that truth is correspondence to a fact -- a view that was advocated by Russell and Moore early in the 20 th century. But the label is usually applied much more broadly to any view explicitly embracing the idea that truth consists in a relation to reality, i.e., that truth is a relational property involving a characteristic relation (to be specified) to some portion of reality (...) (to be specified). During the last 2300 years this basic idea has been expressed in many ways, resulting in a rather extended family of views, theories, and theory sketches. The members of the family employ various concepts for the relevant relation (correspondence, conformity, congruence, agreement, accordance, copying, picturing, signification, representation, reference, satisfaction) and/or various concepts for the relevant portion of reality (facts, states of affairs, situations, events, objects, sequences of objects, sets, properties, tropes). The resulting multiplicity of versions and reformulations of the theory is due to a blend of substantive and terminological differences. (shrink)

The main thesis of this paper is that John McDowell (in his Mind and World) tries to occupy a position that is not coherently statable; namely, that facts have objects and properties as constituents and are yet identical with true (Fregean) Thoughts. This position is contrasted with two other identity theories of truth: the robust theory, in which true propositions are identified with facts (which are understood to have objects and properties as constituents); and the modest theory, (...) in which facts are identified with true Fregean Thoughts. I argue that the modest theory is to be preferred. (shrink)