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)

Tarski is famous for his widely accepted conceptual analysis (or, in his terms, “explication”) of the notion of truth for formal languages and the allied notions of satisfaction, definability, and logical consequence. From an historical point of view, two questions are of interest. First, what motivated Tarski to make these analyses, and second, what led to their particular form? The latter question is easy to answer at one level: Tarski was heavily influenced by the visible success of conceptual analysis in (...) set-theoretic topology as practiced by the leading mathematicians at the University of Warsaw in the 1920s, and so formulated his analyses of semantical concepts in general set-theoretical terms. But the actual forms which his definitions took are puzzling in a number of respects. The question of motivation is also difficult because there was no prima facie compelling reason for dealing in precise terms with the semantical notions. These had been used quite confidently, without any such explication, by a number of Tarski’s contemporaries, including Skolem and Gödel. The aim of this paper is to throw greater light on both the “why” and “how” questions concerning Tarski’s conceptual analysis of semantical notions, especially that of truth. (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)

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 Kripkes minimal fixed point model. From this results on the expressive power of both approaches are obtained.

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)

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)

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.

According to Tarski's Convention T, the adequacy of a truth definition is (implicitly) defined relatively to a translation mapping from the object language to the metalanguage; the translation mapping itself is left unspecified. This paper restates Convention T in a form in which the relativity to translation is made explicit. The notion of an interpreted language is introduced, and a corresponding notion of a translation between interpreted languages is defined. The latter definition is stated both in an algebraic version, and (...) in an equivalent possible worlds version. It is a consequence of our definition that translation is indeterminate in certain cases. Finally, we give an application of our revised version of Convention T and show that interpreted languages exist, which allow for vicious self-reference but which nevertheless contain their own truth predicate. This is possible if only truth is based on a nonstandard translation mapping by which, e.g., the Liar sentence is translated to its own negation. In this part of the paper this existence result is proved only for languages without quantifiers; in Part B the result will be extended to first-order languages. (shrink)

Of his numerous investigations ... Tarski was most proud of two: his work on truth and his design of an algorithm in 1930 to decide the truth or falsity of any sentence of the elementary theory of the high school Euclidean geometry. [...] His mathematical treatment of the semantics of languages and the concept of truth has had revolutionary consequences for mathematics, linguistics, and philosophy, and Tarski is widely thought of as the man who "defined truth". The seeming simplicity of (...) his famous example that the sentence "Snow is white" is true just in case snow is white belies the depth and complexity of the consequences which can be drawn from the possibility of giving a general treatment of the concept of truth in formal mathematical languages in a rigorous mathematical way. (J.W. Addison). (shrink)

Quines ontological relativity is related to Tarskis theory of truth in two ways: Quine repudiates term-by-term-correspondence, as does Tarskis rule of truth; and Quines proxy argument in support of relativity finds exact formulation in Tarskis truth definition.Unfortunately, relativity is threatened by the fact that the proxy argument doesnt comply with the rule of truth (Tarskis celebrated condition (T)). Despite Quines express allegiance to (T), use of proxy schemes does not generate all of the true sentences condition (T) requires.

A hallmark of correspondence theories of truth is the principle that sentences are made true by some truth-makers. A well-known objection to treating Tarski’s definition of truth as a correspondence theory has been put forward by Donald Davidson. He argued that Tarski’s approach does not relate sentences to any entities (like facts) to which true sentences might correspond. From the historical viewpoint, it is interesting to observe that Tarski’s philosophical teacher Tadeusz Kotarbinski advocated an ontological doctrine of reism which accepted (...) only concrete individuals and rejected all such abstract entities as facts, states of affairs, properties, and sets. Kotarbinski’s physicalism influenced Tarski who also avoided concepts like “fact” and “property” in his theory of truth, but—unlike Kotarbinski—he used freely set-theoretical terminology. In his mature work in model theory in the 1950s, Tarski used systematically the notion of a relational system (i.e., a domain of objects with designated elements, subsets, and relations). Wilfrid Hodges has argued that the notions of “structure” and “truth in a structure” appeared in Tarski’s work only in 1950. In my view, one can find the main ingredients of the model-theoretic account of truth already in the 1930s. These considerations suggest, against Davidson, that Tarski’s definition presupposes that material truth is always related to some kind of truth-maker. Further, facts as truth-makers can be reconstructed by employing the resources of model theory. (shrink)

The essays can be seen as addressing Tarski's seminal treatment of four basic questions about logical consequence. (1) How are we to understand truth, one of ...

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)

Tarski’s Convention T is often taken to claim that it is both sufficient and necessary for adequacy in a definition of truth that it imply instances of the T-schema where the embedded sentence translates the mentioned sentence. However, arguments against the necessity claim have recently appeared, and, furthermore, the necessity claim is actually not required for the indefinability results for which Tarski is justly famous; indeed, Tarski’s own presentation of the results in the later Undecidable Theories makes no mention of (...) an assumption to the effect that the definition of truth implies the biconditionals. This raises a question: was Tarski in fact committed to the necessity claim in the important papers of the 1930s and 40s? I argue that he was not. The discussion of this apparently esoteric interpretive issue in fact gets to the heart of many important questions about truth, and in the final sections of the paper I discuss the importance of the T-biconditionals in the theory of meaning and the relation of deflationary and inflationary theories of truth to the semantic paradoxes. (shrink)

In the early 20th century, scepticism was common among philosophers about the very meaningfulness of the notion of truth – and of the related notions of denotation, definition etc. (i.e., what Tarski called semantical concepts). Awareness was growing of the various logical paradoxes and anomalies arising from these concepts. In addition, more philosophical reasons were being given for this aversion.1 The atmosphere changed dramatically with Alfred Tarski’s path-breaking contribution. What Tarski did was to show that, assuming that the syntax of (...) the object language is specified exactly enough, and that the metatheory has a certain amount of set theoretic power,2 one can explicitly define truth in the object language. And what can be explicitly defined can be eliminated. It follows that the defined concept cannot give rise to any inconsistencies (that is, paradoxes). This gave new respectability to the concept of truth and related notions. Nevertheless, philosophers’ judgements on the nature and philosophical relevance of Tarski’s work have varied. It is my aim here to review and evaluate some threads in this debate. (shrink)

Philosopher’s judgements on the philosophical value of Tarski’s contributions to the theory of truth have varied. For example Karl Popper, Rudolf Carnap, and Donald Davidson have, in their different ways, celebrated Tarski’s achievements and have been enthusiastic about their philosophical relevance. Hilary Putnam, on the other hand, pronounces that “[a]s a philosophical account of truth, Tarski’s theory fails as badly as it is possible for an account to fail.” Putnam has several alleged reasons for his dissatisfaction,1 but one of them, (...) the one I call the modal objection (cf. Raatikainen 2003), has been particularly influential. In fact, very similar objections have been presented over and over again in the literature. Already in 1954, Arthur Pap had criticized Tarski’s account with a similar argument (Pap 1954). Moreover, both Scott Soames (1984) and John Etchemendy (1988) use, with an explicit reference to Putnam, similar modal arguments in relation to Tarski. Richard Heck (1997), too, shows some sympathy for such considerations. Simon Blackburn (1984, Ch. 8) has put forward a related argument against Tarski. Recently, Marian David has criticized Tarski’s truth definition with an analogous argument as well (David 2004, p. 389-390).2 This line of argument is thus apparently one of the most influential critiques of Tarski. It is certainly worthy of serious attention. Nevertheless, I shall argue that, given closer scrutiny, it does not present such an acute problem for the Tarskian approach to truth as many philosophers think. But I also believe that it is important to understand clearly why this is so. Moreover, I think that a careful consideration of the issue illuminates certain important but somewhat neglected aspects of the Tarskian approach. (shrink)

Hilary Putnam's famous arguments criticizing Tarski's theory of truth are evaluated. It is argued that they do not succeed to undermine Tarski's approach. One of the arguments is based on the problematic idea of a false instance of T-schema. The other ignores various issues essential for Tarski's setting such as language-relativity of truth definition.

The aim of this paper is to show that it is the explicativecharacter of Tarski's semantic definition of truth given in his study of 1933 that allows forconsideration of a philosophical background of this definition in the proper sense. Given the explicativecharacter of this definition it is argued that the philosophical tradition that should be taken intoaccount with regard to this philosophical background is the tradition of the Lvov-Warsaw Schoolin its connections with the School of Brentano. As an example of (...) the explanatory power ofconsidering this tradition as far as Tarski's philosophical choices are concerned I use here thenotion of sentence-inscription, i.e., the notion of that entity of which truth is predicated inthe definition in question. One of the consequences of these statements is that philosophicaldiscussions concerning the semantic definition of truth can be regarded from two points ofview. On the one hand, they may take the perspective of its explicational function, i.e., theperspective of its philosophical background. On the other hand, they might consider the philosophicalconsequences of the definition with respect to the goal of the explication, i.e., they may considerits philosophical content independently of its historical background. (shrink)

The volume opens with a substantial introduction to theories of truth, aimed at readers with little or no prior knowledge of philosophy.

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)

I ON THE PRIMITIVE TERM OF LOGISTICf IN this article I propose to establish a theorem belonging to logistic concerning some connexions, not widely known, ...

This paper was written with two aims in mind. A large part of it is just an exposition of Tarski's theory of truth. Philosophers do not agree on how Tarski's theory is related to their investigations. Some of them doubt whether that theory has any relevance to philosophical issues and in particular whether it can be applied in dealing with the problems of philosophy (theory) of science.In this paper I argue that Tarski's chief concern was the following question. Suppose a (...) language L belongs to the class of languages for which, in full accordance with some formal conditions set in advance, we are able to define the class of all the semantic interpretations the language may acquire. Every interpretation of L can be viewed as a certain structure to which the expressions of the language may refer. Suppose that a specific interpretation of the language L was singled out as the intended one. Suppose, moreover, that the intended interpretation can be characterized in a metalanguage L +. If the above assumptions are satisfied, can the notion of truth for L be defined in the metalanguage L + and, if it can, how can this be done? (shrink)