Tarskian Theories of Truth

It is argued that the blind ascriptive role for the word true, its use, that is, in conjunction with descriptions of classes of sentences or with proper names of sentences (but not quote-names), is one which applies indiscriminately to sentences regardless of whether these are in languages we speak, can understand, or can translate into sentences that we do speak (and understand). Formal analogues of the ordinary word true as they arise in Tarskis seminal work, and in others, cannot replicate (...) this essential role of the ordinary word true. (shrink)

Many of Tarski’s better known papers are either about or include lengthy discussions of how to properly define various concepts: truth, logical consequence, semantic concepts, or definability. In general, these papers identify two primary conditions for successful definitions: formal correctness and material adequacy. Material adequacy requires that the concept expressed by the formal definition capture the intuitive content of truth. Our primary interest in this paper is to better understand Tarski’s thinking about material adequacy, and whether components of his view (...) developed over time. More precisely, we are concerned with how Tarski’s understanding of the content of the common-sense, every-day usage of truth may have developed over time. We distinguish this concern from the character of the extensional criterion of adequacy Tarski proposes: that a materially adequate definition must entail all instances of Convention T. We will develop our reading of Tarski as follows: first, we will review the “Polemical Remarks,” focusing primarily on §§14 and 17, and Tarski’s references to Naess’ empirical research. Next, we will provide a summary and discussion of Naess’ work, especially his findings with respect to Tarski’s definition of truth and his research that suggests there is no single common or everyday concept of truth. Third, we will consider several possible objections to our interpretation of the Tarski–Naess dialectic. We will conclude that Tarski’s conception of material adequacy developed over time, potentially because of what he had learned through his interactions with Naess. (shrink)

I here argue for a particular formulation of truth-deflationism, namely, the propositionally quantified formula, (Q) “For all p, <p> is true iff p”. The main argument consists of an enumeration of the other (five) possible formulations and criticisms thereof. Notably, Horwich’s Minimal Theory is found objectionable in that it cannot be accepted by finite beings. Other formulations err in not providing non-questionbegging, sufficiently direct derivations of the T-schema instances. I end by defending (Q) against various objections. In particular, I argue (...) that certain circularity charges rest on mistaken assumptions about logic that lead to Carroll’s regress. I show how the propositional quantifier can be seen as on a par with first-order quantifiers and so equally acceptable to use. While the proposed parallelism between these quantifiers is controversial in general, deflationists have special reasons to affirm it. I further argue that the main three types of approach the truth-paradoxes are open to an adherent of (Q), and that the derivation of general facts about truth can be explained on its basis. (shrink)

The paper discusses what kind of truth bearer, or truth-ascription, a deflationist should take as primary. I first present number of arguments against a sententialist view. I then present a deflationary theory which takes propositions as primary, and try to show that it deals neatly with a wide range of linguistic data. Next, I consider both the view that there is no primary truth bearer, and the most common account of sentence truth given by deflationists who take propositions as primary, (...) and argue that they both attribute an implausible type of ambiguity to “true”. This can be avoided, however, if truth-ascriptions to sentences are taken as a certain form of pragmatic ellipses. I end by showing how this hypothesis accommodates a number of intuitions involving truth-ascriptions to sentences. (shrink)

What is truth? Is there anything that all truths have in common that makes them true rather than false? Is truth independent of human thought, or does it depend in some way on what we believe or what we would be justified in believing? In what sense, if any, is it better for beliefs or statements to be true than to be false? In this engaging and accessible new introduction Chase Wrenn surveys a variety of theories of the nature of (...) truth and evaluates their philosophical costs and benefits. Paying particular attention to how the theories accommodate realist intuitions and make sense of truth’s value, he discusses a full range of theories from classical correspondence to relatively new deflationary and pluralist accounts. The book provides a clear, non-technical entry point to contemporary debates about truth for non-specialists. Specialists will also find new contributions to those debates, including a new argument for the superiority of deflationism to causal correspondence and pluralist theories. Drawing on a range of traditional and contemporary debates, this book will be of interest to students and scholars alike and anyone interested in the nature and value of truth. (shrink)

Der semantischen Wahrheitsdefinition Tarskis wird of vorgeworfen, dass sie philosophisch uninteressant sei. Sie sei informativ leer, weil sie mit jeder erdenklichen Ansicht bezüglich der Natur der Wahrheit zu vereinbaren sei. Wir wollen zeigen, dass diese Meinung unhaltbar ist. Tarskis semantische Wahrheitsdefinition lässt sich im Besonderen mit den Versuchen der Epistemisierung und Pragmatisierung des Wahrheitsbegriffs nicht vereinbaren. (Vorausgesetzt, dass diese Versuche wirklich den Wahrheitsbegriff und nicht den Realitätsbegriff betreffen.) Darüber hinaus ist die Tatsache, dass Tarskis Definition eine Unterscheidung von Sprach¬ebenen voraus¬setzt, (...) für die Erklärung der Schwierigkeiten, die viele Philosophen mit dem klassischen Wahrheitsbegriff haben, sehr instruktiv. Wir argumentieren, dass diese Schwierigkeiten zum großen Teil mit der Grundhaltung zusammenhängen, die man als (im weiten Sinne) „Begriffsempirismus” bezeich¬nen kann. (shrink)

This paper describes Tarski’s project of rehabilitating the notion of truth, previously considered dubious by many philosophers. The project was realized by providing a formal truth definition, which does not employ any problematic concept.

It is well known that Tarski proved a result which can be stated roughly as: no sufficiently rich, consistent, classical language can contain its own truth definition. Tarski's way around this problem is to deal with two languages at a time, an object language for which we are defining truth and a metalanguage in which the definition occurs. An obvious question then is: under what conditions can we construct a definition of truth for a given object language. Tarski claims that (...) it is necessary and sufficient that the metalanguage be "essentially richer". Our contention, put bluntly, is that this claim deserves more scrutiny from philosophers than it usually gets and in fact is false unless "essentially richer" means nothing else than "sufficient to contain a truth definition for the object language.". (shrink)

Tarski's theory of truth brings out the question of whether he intended his theory to be a correspondence theory of truth and whether, whatever his intentions, his theory is in fact a correspondence theory. The aim of this paper is to answer both questions. The answer to the first question depends on Tarski's relevant assertions on semantics and his conception of truth. In order to answer the second question Popper's and Davidson's interpretations of Tarski's truth theory are examined; to this (...) end both Tarski's definition of truth in terms of satisfaction and the T-sentences are taken into account. (shrink)

In a language for arithmetic with a predicate T, intended to mean “ x is the Gödel number of a true sentence”, a set S of axioms and rules of inference has the truth disjunction property if whenever S ⊢ T ∨ T, either S ⊢ T or S ⊢ T. Similarly, S has the truth existence property if whenever S ⊢ ∃χ T ), there is some n such that S ⊢ T ). Continuing previous work, we establish whether (...) these properties hold or fail for a large collection of possible axiomatic systems. (shrink)

Monists say that the nature of truth is invariant, whichever sentence you consider; pluralists say that the nature of truth varies between different sets of sentences. The orthodoxy is that logic and logical form favour monism: there must be a single property that is preserved in any valid inference; and any truth-functional complex must be true in the same way as its components. The orthodoxy, I argue, is mistaken. Logic and logical form impose only structural constraints on a metaphysics of (...) truth. Monistic theories are not guaranteed to satisfy these constraints, and there is a pluralistic theory that does so. (shrink)

Criticism of Soames' understanding of Tarskian theories of truth.

Since the publication of Hartry Field’s influential paper “Tarski’s Theory of Truth” there has been an ongoing discussion about the philosophical import of Tarski’s definition. Most of the arguments have aimed to play down that import, starting with that of Field himself. He interpreted Tarski as trying to provide a physicalistic reduction of semantic concepts like truth, and concluded that Tarski had partially failed. Robert Stalnaker and Scott Soames claimed then that Field should have obtained a stronger conclusion, namely that (...) Tarski’s failure in his allegedly intended physicalistic reduction was total. From another front, Hilary Putnam argued for an even more sweeping thesis: “[a]s a philosophical account of truth, Tarski’s theory fails as badly as it is possible for an account to fail.” Scott Soames followed suit also on this count, endorsing Putnam’s argument in section iii of the aforementioned paper; and John Etchemendy used a very similar argument to contend that “a Tarskian definition of truth [...] cannot possibly illuminate the semantic properties of the object language.” The paper argues that these contentions are based on several misunderstandings about the nature of a definition like Tarski’s. Regarding the Putnam-Soames-Etchemendy argument, we must apply a distinction Frege found natural to draw—and is natural to draw anyway—between what he called “constructive” definitions, definitions properly so called, which are mere stipulations, and what he described as “analytic” definitions, definitions which aim to make explicit the meaning of a term already in use. Regarding the Field-Soames-Stalnaker criticism, the paper contends that the true aims of a Tarskian truth definition are perfectly well fulfilled without Field’s amendments. (shrink)

Truth is one of the central subjects in philosophy. It is also one of the largest. Truth has been a topic of discussion in its own right for thousands of years. Moreover, a huge variety of issues in philosophy relate to truth, either by relying on theses about truth, or implying theses about truth.

A common objection to hierarchical approaches to truth is that they fragment the concept of truth. This paper defends hierarchical approaches in general against the objection of fragmentation. It argues that the fragmentation required is familiar and unprob-lematic, via a comparison with mathematical proof. Furthermore, it offers an explanation of the source and nature of the fragmentation of truth. Fragmentation arises because the concept exhibits a kind of failure of closure under reflection. This paper offers a more precise characterization of (...) the reflection involved, first in the setting of formal theories of truth, and then in a more general setting. (shrink)

This paper examines the question of the extensional correctness of Tarskian definitions of logical truth and logical consequence. I identify a few different informal properties which are necessary for a sentence to be an informal logical truth and look at whether they are necessary properties of Tarskian logical truths. I examine arguments by John Etchemendy and Vann McGee to the effect that some of those properties are not necessary properties of some Tarskian logical truths, and find them unconvincing. I stress (...) the point that since the hypothesis that Tarski's definitions are extensionally correct is deeply entrenched, the burden of proof is still on the shoulders of Tarski's critics, who have not lifted the burden. (shrink)

The Idea behind Tarski's Definition of Truth. In Tarski's presentations of his truth-definition, the steps of the construction are not sufficiently explained. It is not clear, on what general strategy the construction is based, what the fundamental ideas are, how some crucial steps work, and especially how the transition from the definition of satisfaction to the definition of truth should be understood. The paper shows that the account given in the model-theoretic literature, which is supported by Tarski's lemmata A and (...) B, is unsatisfactory, because Tarski's notion of truth can't be interpreted as ‘truth independent of the assignment of values to the variables’. Moreover, a satisfactory account of all the crucial steps is given. (shrink)

Popper welcomes Tarski's theory of truth as a vindication of the ‘objective or absolute or correspondence theory of truth’: -/- Tarski's greatest achievement, and the real significance of his theory for the philosophy of the empirical sciences, is that he rehabilitated the correspondence theory of absolute or objective truth … He vindicated the free use of the intuitive idea of truth as correspondence to the facts ….

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)

A theory of the transfinite Tarskian hierarchy of languages is outlined and compared to a notion of partial truth by Kripke. It is shown that the hierarchy can be embedded into Kripke's minimal fixed point model. From this results on the expressive power of both approaches are obtained.

The general notions of object- and metalanguage are discussed and as a special case of this relation an arbitrary first order language with an infinite model is expanded by a predicate symbol T0 which is interpreted as truth predicate for . Then the expanded language is again augmented by a new truth predicate T1 for the whole language plus T0. This process is iterated into the transfinite to obtain the Tarskian hierarchy of languages. It is shown that there are natural (...) points for stopping this process. The sets which become definable in suitable hierarchies are investigated, so that the relevance of the Tarskian hierarchy to some subjects of philosophy of mathematics are clarified. (shrink)

To the axioms of Peano arithmetic formulated in a language with an additional unary predicate symbol T we add the rules of necessitation and conecessitation T and axioms stating that T commutes with the logical connectives and quantifiers. By a result of McGee this theory is -inconsistent, but it can be approximated by models obtained by a kind of rule-of-revision semantics. Furthermore we prove that FS is equivalent to a system already studied by Friedman and Sheard and give an analysis (...) of its proof theory. (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)

John Etchemendy has argued that it is but "a fortuitous accident" that Tarski's work on truth has any signifance at all for semantics. I argue, in response, that Etchemendy and others, such as Scott Soames and Hilary Putnam, have been misled by Tarski's emphasis on definitions of truth rather than theories of truth and that, once we appreciate how Tarski understood the relation between these, we can answer Etchemendy's implicit and explicit criticisms of neo-Davidsonian semantics.

Halbach has argued that Tarski biconditionals are not ontologically conservative over classical logic, but his argument is undermined by the fact that he cannot include a theory of arithmetic, which functions as a theory of syntax. This article is an improvement on Halbach's argument. By adding the Tarski biconditionals to inclusive negative free logic and the universal closure of minimal arithmetic, which is by itself an ontologically neutral combination, one can prove that at least one thing exists. The result can (...) then be strengthened to the conclusion that infinitely many things exist. Those things are not just all Gödel codes of sentences but rather all natural numbers. Against this background inclusive negative free logic collapses into noninclusive free logic, which collapses into classical logic. The consequences for ontological deflationism with respect to truth are discussed. (shrink)

According to Field’s influential incompleteness objection, Tarski’s semantic theory of truth is unsatisfactory since the definition that forms its basis is incomplete in two distinct senses: (1) it is physicalistically inadequate, and for this reason, (2) it is conceptually deficient. In this paper, I defend the semantic theory of truth against the incompleteness objection by conceding (1) but rejecting (2). After arguing that Davidson and McDowell’s reply to the incompleteness objection fails to pass muster, I argue that, within the constraints (...) of a non-reductive physicalism and a holism concerning the concepts of truth, reference and meaning, conceding Field’s physicalistic inadequacy conclusion while rejecting his conceptual deficiency conclusion is a promising reply to the incompleteness objection. (shrink)

Tarski avoids the liar paradox by relativizing truth and falsehood to particular languages and forbidding the predication to sentences in a language of truth or falsehood by any sentences belonging to the same language. The Tarski truth-schemata stratify an object-language and indefinitely ascending hierarchy of meta-languages in which the truth or falsehood of sentences in a language can only be asserted or denied in a higher-order meta-language. However, Tarski’s statement of the truth-schemata themselves involve general truth functions, and in particular (...) the biconditional, defined in terms of truth conditions involving truth values standardly displayed in a truth table. Consistently with his semantic program, all such truth values should also be relativized to particular languages for Tarski. The objection thus points toward the more interesting problem of Tarski’s concept of the exact status of truth predications in a general logic of sentential connectives. Tarski’s three-part solution to the circularity objection which he anticipates is discussed and refuted in detail. (shrink)

The article is a comprehensive review of Wolfgang Künne’s book CONCEPTIONS OF TRUTH OUP 2003). The review reports and discusses, in particular, Künne’s arguments for alethic realism. Künne dismisses Putnam’s and Dummett’s views that truth is epistemically constrained. He maintains that truths may exist which humans are constitutionally incapable of ever understanding, because the relevant propositions are beyond any human’s conceptual or perceptual capacities. In addition, Künne argues that some humanly comprehensible truths can never be rationally accepted. His master argument (...) for alethic realism is the argument from justification blindspots. It says that truth outruns rational acceptability because some true propositions can never become contents of any justified human beliefs. --- -/- Der Beitrag referiert und diskutiert die in Wolfgang Künnes Buch Conceptions of Truth entwickelte Wahrheitstheorie. Es handelt sich um eine realistische, also nichtepistemische, deflationistisch gefärbte Theorie mit Propositionen als Wahrheitswertträgern. Erörtert wird insbesondere der alethische Realismus dieser Theorie, genauer: die Auffassung, dass es Wahrheiten gibt, die niemals ein Mensch gerechtfertigt für wahr halten kann. Den nichtrealistischen Theorien, die Wahrsein an gerechtfertigtes Fürwahrhalten binden, hält Künne sein „Argument aus den blinden Flecken im Feld der Rechtfertigung“ entgegen, welches nicht die Möglichkeit nichtentdeckbaren Irrtums behauptet, sondern Fälle unvermeidlicher Unkenntnis anführt: Gewisse Wahrheiten können gar nicht erst zum Gegenstand einer Überprüfung werden. Es könne sogar wahre Propositionen geben, die Menschenwesen auf immer unverständlich bleiben, weil sie jenseits unserer begrifflichen und kognitiven Fähigkeiten liegen. Diese Möglichkeit zu leugnen laufe auf einen alethischen Speziezismus hinaus. – Der Beitrag erörtert auch weitere Aspekte von Künnes Buch. (shrink)

Truth is one of the most debated topics in philosophy; Wolfgang Kunne presents a comprehensive critical examination of all major theories, from Aristotle to the present day. He argues that it is possible to give a satisfactory 'modest' account of truth without invoking problematic notions like correspondence, fact, or meaning. The clarity of exposition and the wealth of examples will make Conceptions of Truth an invaluable and stimulating guide for advanced students and scholars.

This is the second part of a paper dealing with truth and translation. In Part A a revised version of Tarski's Convention T has been presented, which explicitly refers to a translation mapping from the object language to the metalanguage; the vague notion of a translation has been replaced by a precise definition. At the end of Part A it has been shown that interpreted languages exist, which allow for vicious self-reference but which nevertheless contain their own truth predicate - (...) this is possible if truth is based on a nonstandard translation mapping. However, this result has only been proved for languages without quantifiers. In Part B we now extend the result to first-order languages, and we show that this can be done in three different ways. In each case, the addition of a truth predicate to an interpreted language with a high degree of expressiveness leads to changes in the ontology of the language. (shrink)