The concept of truth and competing philosophical theories on what truth amounts to have an important place in contemporary philosophy. The aim of this chapter is to give a synopsis of different theories of truth and the particular philosophical issues related to the concept of truth. The literature on this topic is vast, and we must necessarily be rather selective and very brief about complex questions of interpretation of various philosophers. The focus of the (...) chapter is mainly on selected systematic issues and the most influential and well-established philosophical theories and key concepts. (shrink)

The correspondence theory of truth is a precise and innovative account of how the truth of a proposition depends upon that proposition's connection to a piece of reality. Joshua Rasmussen refines and defends the correspondence theory of truth, proposing new accounts of facts, propositions, and the correspondence between them. With these theories in hand, he then offers original solutions to the toughest objections facing correspondence theorists. Addressing the Problem of Funny Facts, Liar Paradoxes, and traditional epistemological (...) questions concerning how our minds can access reality, he challenges recent objections, and defends what has traditionally been the most popular theory of truth. Written with clarity, precision, and sensitivity to a range of philosophical backgrounds, his book will appeal to advanced students and scholars seeking a deeper understanding of the relationship between truth and reality. (shrink)

The paradoxes about truth are the subject of extensive research. Developing an original approach, this book argues that we should diverge from classical logic and presents a number of formal theories of truth. Also included is a beginner-friendly introduction to semantic paradoxes, and a discussion of alternative non-classical theories.

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

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)

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)

In 1845, while developing a new world view, Marx introduced practice as the criterion of truth: "The question whether objective truth can be attributed to human thinking is not a question of theory but is a practical question. Man must prove the truth, i.e., the reality and power, the this-worldliness of his thinking in practice. The dispute over the reality or non-reality of thinking which is isolated from practice is a purely scholastic question."1 Whether a theory (...) correctly reflects the objectively existing objects with which it concerns itself, and whether it is the truth, cannot be determined within the sphere of thinking, or by means of theoretical argument, but only on the basis of testing in social practice. This is a basic principle and characteristic feature of Marxist philosophy. (shrink)

: According to C. S. Peirce, there are two ways of explaining what a sign means, namely, a definition and a precept. A precept tells the interpreters of a sign what the sign means by prescribing what they have to do in order to find or become acquainted with an object of the sign. A precept for a concept specifies how an interpreter can determine whether the concept is applicable to a given situation or object.Peirce accepted the scholastic definition (...) of truth, according to which a proposition is true if and only if its subject and predicate refer to the same thing, and applied this analysis to complex as well as singular propositions. However, this account does not tell how an interpreter can become acquainted with the objects of the predicate "true," that is, true propositions: it is not a good precept for the concept of truth. On the other hand, the so-called pragmatic conception of truth, truth as the limit or end of inquiry, can be regarded as a precept for truth, or as a general form of such a precept.The requirement that concepts should have precepts attached to them is a version of Peirce's principle of pragmatism. The availability of precepts should make it possible for an interpreter to determine whether a concept is applicable to a given situation, or whether a given proposition is true. Thus the principle of pragmatism is closely related to the principle knowability, according to which any truth should be knowable. Some formulations of the principle of knowability lead to a paradox. The paper discusses several forms of the principle of knowability, and it is argued that the existence of precept for a proposition entails only a relatively weak form of the principle.Keywords: Action. Inquiry. Knowledge. Meaning. Peirce. Pragmatism. Precept.Resumo: Segundo C. S. Peirce, há dois modos de explicar o que um signo significa, a saber, uma definição e um preceito. Um preceito diz aos intérpretes de um signo o que o signo significa, prescrevendo o que eles devem fazer para encontrar ou inteirar-se de um objeto do signo. Um preceito para um conceito especifica como um intérprete pode determinar se o conceito é aplicável a uma dada situação ou a um dado objeto.Peirce aceitou a definição escolástica de verdade, segundo a qual uma proposição é verdadeira se, e somente se, seu sujeito e seu predicado se referirem à mesma coisa, e aplicou essa análise tanto a proposições complexas quanto a singulares. Entretanto, essa visão não informa como um intérprete pode inteirar-se dos objetos do predicado "verdadeiro", ou seja, proposições verdadeiras: não é um bom preceito para o conceito de ver- On a Pragmatic Theory of Meaning and Knowledge dade. De outro lado, a assim chamada concepção pragmática de verdade, a verdade como o limite ou fim da investigação, pode ser vista como um preceito para a verdade, ou como uma forma geral de tal preceito.A exigência de que conceitos tenham preceitos ligados a eles é uma versão do princípio do pragmatismo de Peirce . A disponibilidade de preceitos deve tornar possível que um intérprete determine se um conceito é aplicável a uma dada situação, ou seja, se certa proposição é verdadeira. Portanto, o princípio do pragmatismo está intimamente ligado ao princípio da cognoscibilidade, segundo o qual toda verdade pode ser conhecida. Algumas formulações do princípio da cognoscibilidade levam a um paradoxo. O artigo discute algumas formas não-paradoxais do princípio da cognoscibilidade, defendendo que a existência de um preceito para uma proposição exige apenas uma forma relativamente fraca do princípio.Palavras-chave: Ação. Investigação. Conhecimento. Significação. Peirce. Pragmatismo. Preceito. (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.

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 (...) class='Hi'>truth -- Alternative evaluation schemata -- Disquotation -- Classical logic -- Deflationism -- Reflection -- Ontological reduction -- Applying theories of truth. (shrink)

In this article we present a number of axiomatic theories of truth which are conservative extensions of arithmetic. We isolate a set of ten natural principles of truth and prove that every consistent permutation of them forms a theory conservative over Peano arithmetic.

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.

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)

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.

In lieu of an abstract, here is a brief excerpt of the content:Martin Heidegger and OntologyEmmanuel Levinas (bio)The prestige of Martin Heidegger 1 and the influence of his thought on German philosophy marks both a new phase and one of the high points of the phenomenological movement. Caught unawares, the traditional establishment is obliged to clarify its position on this new teaching which casts a spell over youth and which, overstepping the bounds of permissibility, is already in vogue. For once, (...) Fame has picked one who deserves it and, for that matter, one who is still living. Anyone who has studied philosophy cannot, when confronted by Heidegger’s work, fail to recognize how the originality and force of his achievements, stemming from genius, are combined with an attentive, painstaking, and close working-out of the argument—with that craftsmanship of the patient artisan in which phenomenologists take such pride. In this study, it is important for us to understand, above all, the true intentions of our author, to illuminate what he thinks really needs to be said, and to surmise what is most critical for him.To get to the heart of Heidegger’s system, it seems fitting to begin with a problem that is generally familiar. We choose the problem of knowledge, a deeper understanding of which takes us to the very threshold of Heidegger’s thought. For this problem, central to modern philosophy, is one of the main obstacles of modern philosophy that Heidegger wishes to surmount. Neo-Kantianism, which takes knowledge as the philosophical problem of the first rank, is the movement against which Heidegger rebels with all his strength. We have, thus, every chance of gaining access to his thought by the main door, so to speak. Once inside the system we will try to trace its outlines, 2 reserving, for a second part of our work, the determination of Heidegger’s place in the history of ideas, especially in the phenomenological movement, as well as of his relations with the philosopher to whom he owes so much—Edmund Husserl. 31In its most general form, the problem of the theory of knowledge has a critical significance. It consists in delineating a domain where knowledge can be certain and in determining the criteria for the legitimate scope of knowledge. But this problem, as normal and as simple as it may appear, has deeper roots. That knowledge should need a criterion at all presupposes that truth is not identical to all that is known and that the course [End Page 11] of things can fail to correspond with the course of thought. “How does knowledge correspond to being?” is a more profound formulation of the problem of knowledge.But we are not going to touch anymore on the primordial phenomenon that generates the problem. The problem of correspondence between thing and thought presupposes a free activity of thought and its isolation in relation to the object. It is precisely this presupposition which renders their harmony and even their contact problematic. “How does the subject take leave of itself to attain the object?” is what the problem of knowledge, in the last analysis, boils down to. Its true source is thus the concept of “subject” as elaborated by modern philosophy. The cogito presided over the subject’s birth. The cogito was the affirmation of the privileged nature of the subject’s immanent sphere, of its unique place in existence; hence, the cogito was the specificity of the subject’s connection to the rest of reality, the sui generis nature which opens up the passage from immanence to transcendence, the passage from ideas contained in the thinking substance to 4 their “formal existence.”The concept of the subject, understood as a substance having a specific position in the entire domain of being, presents us with difficulties of two kinds. First, how do we understand this leave-taking from the self which the thinking substance brings about and which displays an entirely original aspect? Indeed, we could say that thought, in reaching out toward objects, does not actually take leave of itself, since its objects—considered as ideas and contents of thought—are, in a certain sense, already within it. In order to make sense of this paradox, Descartes... (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)

Those philosophers who are interested in the contemporary philosophy of all countries have come to recognize the importance of the “neo-scholastic” or “neo-thomist” movement. This current of ideas is not least strong in France, owing much at the present time to the work of Jacques Maritain. In this essay I propose to consider neo-thomist ideas in the field of art, limiting myself somewhat arbitrarily to their expression by Maritain and their application to French art throughout the period in which (...) thomism has appeared in “modern dress,” i.e. since 1879, the date of the famous papal encyclical Æterni Patris . This limitation is arbitrary, since in the first place there are living thomists who do not agree entirely with Maritain's interpretation of St. Thomas, and in the second place scholastic principles, if true, must from their nature apply to art as such—Greek, mediaeval, and modern, to say nothing of Oriental and primitive art. (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)

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

È possibile connettere la concezione hegeliana della verità con alcune teorie filosofiche a noi contemporanee? Il presente lavoro esplora gli aspetti più rilevanti della concezione hegeliana della verità attraverso la ‘lente’ del confronto con quella che oggi viene chiamata identity theory of truth. Tale confronto si articola intorno ad alcune nozioni chiave: ‘pensiero’, ‘contenuto di pensiero’, ‘giudizio’, ‘contenuto del giudizio’, ‘realtà’ e ‘identità’. Lo scopo che viene perseguito non è una traduzione della filosofia di Hegel dentro schemi, categorie e (...) linguaggi caratteristici del pensiero contemporaneo. L’analisi mostra, piuttosto, come il potenziale teorico della riflessione hegeliana sulla verità sia ancora in grado di mettere in discussione e stimolare le nostre elaborazioni sul tema. (shrink)

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)

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)

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)

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)

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)

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)

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 (...) class='Hi'>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)

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

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)

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)

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)

In this entry, we offer a very brief overview of Dorothy Grover's prosentential theory of truth.

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)