"Semantic Truth Theories" uses the techniques of mathematical logic to develop a new semantic treatment of the concept of truth based on ideas of Saul Kripke. Yael Cohen goes on to solve the Liar paradox, Hempel's raven paradox in the philosophy of science, and other classical problems of philosophy. She does this by enlarging the scope of formal logic to include concepts of presupposition besides the usual implication. The book thus provides a unified treatment of many topics (...) having to do with truth, topics whose deep and unsuspected interconnections are not visible without the insights of mathematical knowledge which the author elaborates. The early chapters of the book contain an accessible introduction to semantic paradoxes which should be useful to students. (shrink)

In "Truth and Meaning", Davidson suggested that a truth theory can do the work of a theory of meaning: it can give the meanings of expressions of a language, and can explain the semantic competence of speakers of the language by stating information knowledge of which would suffice for competence. From the start, this program faced certain fundamental objections. One response to these objections has been to supplement the truth theory with additional rules of inference (e.g. from (...) T-sentences to meaning theorems). I argue that these modifications of Davidson's original idea fail to solve the problems with Davidsonian semantics, and that the prospects for a solution to these problems within the Davidsonian framework are dim. A general lesson to be drawn is that Davidsonian theories do not provide a viable alternative to Russellian and Fregean approaches to semantics which recognize the reality of language-independent contents. (shrink)

Mādhyamikas argue that ultimate reality, which is without any delimitation and hence cannot be verbalized in itself, can be expressed in words on the basis of the attribution or superimposition of the basis for the application of the word. The denotation theory of ultimate reality Bhartṛhari advances in the Dravyasamuddeśa of his Vākyapadīya convincingly explains that, insofar as ultimate reality is spoken of, we must say that it is denoted by the word; ultimate reality is said to be ineffable only (...) in the sense that it is far from what is conveyed as something by the word; language is a pointer to the ultimate reality. The point that the application of a word to ultimate reality depends on the attribution of the basis for the application of the word to it naturally leads to an idea that one should not hypostatize the basis, although without resorting to it any word cannot be used to convey the ultimate reality; otherwise, it would have to be said that the ultimate reality to which the word is applied has in essence the property which serves as the basis. Such a property is precisely what the Mādhyamikas consider to be the svabhāva ‘intrinsic nature’. What they understand by the term śūnyatā is precisely that everything has no real basis for the application of the word to it. (shrink)

The paper discusses the question whether T-theories explain how it is possible to understand new sentences, or learn an infinite language, as Davidson claimed. I argue against some commentators that for explanatory power we need not require that T-theories are implicitly known or mirror cognitive structures. I note contra Davidson that the recursive nature of T-theories is not sufficient for explanatory power, since humans can work out only what is computationally tractable, and recursiveness by itself allows for (...) intractable computational complexity. I finally consider the complexity of T-theories, transformed into term rewriting systems, and find that the complexity of such systems is indeed tractable. Therefore Davidson's claim stands, even though a further condition had to be met. (shrink)

This paper attempts to address the question what logical strength theories of truth have by considering such questions as: If you take a theory T and add a theory of truth to it, how strong is the resulting theory, as compared to T? It turns out that, in a wide range of cases, we can get some nice answers to this question, but only if we work in a framework that is somewhat different from those usually employed (...) in discussions of axiomatic theories of truth. These results are then used to address a range of philosophical questions connected with truth, such as what Tarski meant by "essential richness" and the so-called conservativeness argument against deflationism. -/- This draft dates from about 2009, with some significant updates having been made around 2011. Around then, however, I decided that the paper was becoming unmanageable and that I was trying to do too many things in it. I have therefore exploded the paper into several pieces, which will be published separately. These include "Disquotationalism and the Compositional Principles", "The Logical Strength of Compositional Principles", "Consistency and the Theory of Truth", and "What Is Essential Richness?" You should probably read those instead, since this draft remains a bit of a mess. Terminology and notation are inconsistent, and some of the proofs aren't quite right. So, caveat lector. I make it public only because it has been cited in a few places now. (shrink)

I challenge the assumption that the pragmatist-, coherence-, identity- and deflationary theories of truth are essentially incompatible and rival views to the correspondence theory, without endorsing pluralism. With the exception of some versions of the identity theory, the alternative theories only appear to genuinely contradict the correspondence theory, either when they are wedded to a rejection of an objective reality, or when it is assumed that a ‘theory of truth’ is a theory of the function of (...) the truth-predicate. I argue that the correspondence theory should not be understood as a theory about the function of the truth-predicate, and that the core ideas of the alternative views, once separated from any anti-realist convictions, are best understood as complementary views about different aspects of a fairly complex phenomenon, notably of how our beliefs relate to their subject matter and how we reason and talk about that relation. (shrink)

We will present a three-valued consequence relation for metainferences, called CM, defined through ST and TS, two well known substructural consequence relations for inferences. While ST recovers every classically valid inference, it invalidates some classically valid metainferences. While CM works as ST at the inferential level, it also recovers every classically valid metainference. Moreover, CM can be safely expanded with a transparent truth predicate. Nevertheless, CM cannot recapture every classically valid meta-metainference. We will afterwards develop a hierarchy of consequence (...) relations CMn for metainferences of level n. Each CMn recovers every metainference of level n or less, and can be nontrivially expanded with a transparent truth predicate, but cannot recapture every classically valid metainferences of higher levels. Finally, we will present a logic CMω, based on the hierarchy of logics CMn, that is fully classical, in the sense that every classically valid metainference of any level is valid in it. Moreover, CMω can be nontrivially expanded with a transparent truth predicate. (shrink)

If we wish to formulate an axiomatic truth-theory interpreting a modal language and treat the symbol of necessity as a sentential operator and not as a quantifier over possible worlds, there arise various problems. These are due partly to the fact that words could have meant something other than what they actually mean and partly to certain principles of modal metaphysics. One of those principles is existentialism about propositions: a proposition that is expressed in a sentence containing a non-empty (...) name could not exist if the referent of the name did not exist. The paper explains how the problems arise. It also explains how we can avoid them using substitutional quantification in the metalanguage. The truth-theory we can construct in that way is compositional and homophonic, and its theorems interpreting the various sentences of the modal language are derived in a straightforward way. The paper develops one such theory for a propositional modal language and one for a first-order modal language. The first-order case involves a number of intricacies that are discussed. (shrink)

Evans envisaged a language containing both Russellian and descriptive names. A language with descriptive names, which can contribute to truth conditions even if they have no bearer, needs a free logical truth theory. But a metalanguage with this logic threatens to emasculate Russellian names. The paper details this problem and shows, on Evans's behalf, how it might be resolved.

This chapter argues that Davidson's truth-theoretic semantics was not intended to replace the traditional pursuit of providing a compositional meaning theory but rather to achieve the same aim indirectly by placing conditions on a truth theory that would enable someone who understood it to understand its object language. The chapter argues that by placing constraints on the axioms of a Tarski-style truth theory, namely, that they interpret the terms for which they give satisfaction conditions, and specifying a (...) suitable canonical proof procedure that issues in T-sentence that remove all the metalanguage semantic terms from the right hand side and draw intuitively only on the content of the axioms, we can use the theory to interpret object language sentences. It further argues that if we ask what body of knowledge one must be in possession of to interpret the language, it turns out to be a set of propositions about the truth theory but not the axioms of the truth theory itself. This shows how to avoid the problem of the semantic paradoxes and the problem of vagueness. (shrink)

So-called `disentangled' truth-theories are supposed to prevent assumptions about the truth of statements in the object-language from inadvertently strengthening the background syntax. In earlier work, I proved some limitative results in an attempt to show that the strategy works, but those results leave several questions unanswered. We address some of them here. We also discuss a subtlety that has so far been overlooked in discussions of these theories.

What requirements must deflationary formal theories of truth satisfy? This chapter argues against the widely accepted view that compositional and Tarskian theories of truth are substantial or otherwise unacceptable to deflationists. First, two purposes that a formal truth theory can serve are distinguished: one descriptive, the other logical (i.e., to characterise the correctness of inferences involving ‘true’). The chapter argues that the most compelling arguments for the incompatibility of compositional and Tarskian theories concern descriptive (...) theories only. -/- Second, two requirements that any deflationist truth theory intended to serve a logical purpose must satisfy are put forward. These requirements, it is argued, suggest that (i) many well-known compositional and Tarskian theories are acceptable from a deflationist standpoint (including CT); (ii) certain other popular theories of truth (including KF and FS) are not similarly acceptable; (iii) there are no conclusive reasons to impose a conservativeness requirement on deflationary theories of truth. (shrink)

Truth is one of the main concepts of Philosophy, some even consider it the most important of all (W. Künne). This concept is also a foundation for other philosophical concepts. Some of them even depend intrinsically on it, such as the concepts of belief (to believe in something is to believe this something is true), knowledge (if you know something then that something is true), fact (facts are what make our statements true), existence (true reality is the external world (...) that exists) and modality (there are propositions that can be true in all possible worlds), among many others. Truth is also a crucial concept for other domains. Science is said to be the search for the truth of the Natural World and the good life is said to be the pursuit of the good (Aristotle). If one considers that the good and the just are objects of knowledge (R. Campbell), then, there could be no good or justice without truth, insofar as knowledge needs truth. Also, our confidence in the robustness of western political and social institutions has always rested on truth. Unfortunately, this basis, which is the foundation of trust and, therefore, of the robustness of our institutions, is being eroded by external forces, deniers and nihilists, by undermining the concept of Truth, endangering in that way the democratic model (H. Frankfurt). The troubled events we have recently experienced – the raise of populisms, conspiracy theories, pandemic skepticism, the conflict in Ukraine not only in the battleground but also in the info space – could, to some extent, make us question whether, in fact, there is still any theoretical interest in “truth”. As several authors have noted, it seems that today we live in a society of “post-truth” (A. Szakolczai) or “veritophobia” (A. Goldman), where lies are tolerated and facts ignored. Also, for this reason, understanding what truth is by reflecting on its nature and function, from the most sophisticated conceptual schemes to its most everyday uses, seems to be a philosophical task of the utmost importance. This is why the Revista Portuguesa de Filosofia has decided to dedicate this special issue to the subject of truth. (shrink)

According to Tarski, a theory of truth for a language L is a theory which logically implies for each sentence S of L a sentence of the form:S is true-in-L if and only if p,where rS1 is replaced by a canonical description of a sentence of L and rp1 is replaced by that sentence if L is contained in the metalanguage or by a translation of S if it is not so contained. Tarski constructed consistent and finitely axiomatized (...) class='Hi'>theories of truth for various formal languages and showed how to explicitly define ‘is true in L’ within these theories. We all agree that Tarski's theories of truth have enormous philosophical significance, but there is much less agreement on precisely what that significance consists in. (shrink)

We investigate the properties of Yablo sentences and for- mulas in theories of truth. Questions concerning provability of Yablo sentences in various truth systems, their provable equivalence, and their equivalence to the statements of their own untruth are discussed and answered.

In this paper a logic for reasoning disquotationally about truth is presented and shown to have a standard model. This work improves on Hartry Field's recent results establishing consistency and omega-consistency of truth-theories with strong conditional logics. A novel method utilising the Banach fixed point theorem for contracting functions on complete metric spaces is invoked, and the resulting logic is shown to validate a number of principles which existing revision theoretic methods have heretofore failed to provide.

Bruno Whittle (2019) has recently extended Kripke’s semantical theory of truth to languages containing generalized quantifiers. There are reasons for axiomatizing semantical theories, and for regarding Halbach and Horsten’s PKF as a good axiomatization of Kripke’s. PKF is a theory in Partial Logic. The present paper complements Whittle’s by showing how Partial Logic, and then PKF, may be extended to cover binary quantifiers meaning ‘every’, ‘some’, and ‘most’.

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)

The present paper suggests relative truth definability as a tool for comparing conceptual aspects of axiomatic theories of truth and gives an overview of recent developments of axiomatic theories of truth in the light of it. We also show several new proof-theoretic results via relative truth definability including a complete answer to the conjecture raised by Feferman in [13].

I argue that the many disparate meanings of truth in John’s Gospel ought to be con­sidered “prolegomena” for any Christian truth theory. That is to say, insofar as any theory of truth in Christian philosophy fails to accommodate the multifaceted character of truth evidenced in John, it fails as a theory. After demonstrating some of the most important meanings of truth in John, I argue that the “correspondence” theory advocated by many contemporary Christian analytic philosophers (...) is a reductionism when considered in light of these prolegomena. Finally, I defend a more adequate alternative from Anselm’s De Veritate. (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)

This article responds to the arguments put forth by Peter Lamarque and Stein Haugom Olsen in Truth, Fiction, and Literature: A Philosophical Perspective (1994). It argues that the said work is representative of the widespread tendency in literary theory today to discard the possibility of literary truth, and it provides counterarguments to the work’s main theses. Consequently, it criticizes the philosophy of pragmatism and its implications, and it offers a theory that defines fictional objects as existing and solves (...) contradictions that commonly affect our debates on the ontology of fiction. The article does not provide a positive theory of literary truth, but it undermines its denials, which have become popular in recent decades. (shrink)

In this chapter, we defend the view that Davidson aimed not to replace the theory of meaning with the theory of truth, or to capture only certain features of the ordinary notion of meaning for certain theoretical purposes, but rather to pursue the traditional project of explaining in the broadest terms “what it is for words to mean what they do” through a clever bit of indirection, namely, by exploiting the recursive structure of a Tarskian‐style truth theory, which (...) meets certain constraints in an illuminating way, to generate theorems that give truth conditions for object language sentences that at the same time provide interpretations of them. (shrink)

It is part of the current wisdom that the Liar and similar semantic paradoxes can be taken care of by the use of certain non-classical multivalued logics. In this paper I want to suggest that bivalent logic can do just as well. This is accomplished by using a non-deterministic matrix to define the negation connective. I show that the systems obtained in this way support a transparent truth predicate. The paper also contains some remarks on the conceptual interest of (...) such systems. (shrink)

Examines the aims and tools of science for creating theories and explanations of phenomena, with an eye to answering the question of whether or not science ...

I argue that ‘conspiracy theory’ and ‘conspiracy theorist’ as commonly employed are ‘tonkish’ terms (as defined by Arthur Prior and Michael Dummett), licensing inferences from truths to falsehoods; indeed, that they are mega-tonkish terms, since their use is governed by different and competing sets of introduction and elimination rules, delivering different and inconsistent results. Thus ‘conspiracy theory’ and ‘conspiracy theorist’ do not have determinate extensions, which means that generalizations about conspiracy theories or conspiracy theorists do not have determinate (...) class='Hi'>truth-values. Hence conspiracy theory theory – psychological or social scientific research into conspiracy theorists and what is wrong with them – is often about as intellectually respectable as an enquiry into bastards and what makes them so mean. (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)

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)

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)

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)

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)

one hand, it raises fundamental doubts about the Davidsonian project, which seems to involve isolating specifically semantic knowledge from any other knowledge or skill in a way reflected by the ideal of homophony. Indexicality forces a departure from this ideal, and so from the aspiration of deriving the truth conditions of an arbitrary utterance on the basis simply of axioms which could hope to represent purely semantic knowledge. In defence of Davidson, I argue that once his original idea for (...) dealing with the familiar indexical expressions is suitably implemented, in terms of theorems expressing conditional truth-conditions, the contrast between semantic and nonsemantic knowledge occurs in an appropriate place: between knowledge of the conditional truth conditions themselves (semantic), and knowledge of their antecedents (non-semantic). For example, a simplified version of a conditional truth condition for an utterance u of “That is a cat” will say that for all x, if the utterer in uttering “that” in u thereby referred to x, u is true iff x is a cat. The conditional fact belongs to semantic knowledge; non-semantic knowledge is required to work out what the utterer referred to; the two kinds of knowledge conspire to enable a truth condition to be detached. The other kind of worry relates to difficult technical questions, relating to specific idioms, raised by context-dependence. I consider whether an argument by Travis (2006), designed to establish that there can be no correct truth conditional semantics, can be turned on its head, and used to establish a general method for bringing all forms of context-dependence within Davidsonʼs framework (using quantification into the qualifier “on understanding U”). I argue that this will not work, and that we are committed to a piecemeal examination of various cases, of which I give some examples. One of these relates directly to Travisʼs argument concerning the context-dependence of “grunt”. In addition, Davidsonians need to have a sharp eye for the distinction between pragmatic and semantic content, to be specified by a test akin to Griceʼs notion of cancelability; they should treat sentences like “Itʼs raining” by the conditional truth-condition method; and they should treat possessives as semantically very unspecific. It is part of the thesis of the paper that this list of examples by no means exhausts the cases a Davidsonian needs to address. (shrink)