Tarski’s pioneering work on truth has been thought by some to motivate a robust, correspondence-style theory of truth, and by others to motivate a deflationary attitude toward truth. I argue that Tarski’s work suggests neither; if it motivates any contemporary theory of truth, it motivates conceptual primitivism, the view that truth is a fundamental, indefinable concept. After outlining conceptual primitivism and Tarski’s theory of truth, I show how (...) the two approaches to truth share much in common. While Tarski does not explicitly accept primitivism, the view is open to him, and fits better with his formal work on truth than do correspondence or deflationary theories. Primitivists, in turn, may rely on Tarski’s insights in motivating their own perspective on truth. I conclude by showing how viewing Tarski through the primitivist lens provides a fresh response to some familiar charges from Putnam and Etchemendy. (shrink)

Can Tarski's definition of truth be taken to be an analysis of truth – i.e., a method of defining formal truth predicates that are capable of playing the role of truth in all theoretical contexts in which that notion is needed? It is argued that although Tarski's truth predicates can play many of the roles demanded of truth, they cannot play the role of truth in theories of meaning and interpretation. Crucial (...) to the argument is the observation that there is a conceptual connection between our ordinary notions of truth and meaning, in virtue of which statements of the truth conditions of sentences provide some information about their meanings. Since there is no corresponding connection between Tarski's notion of truth and the notion of meaning, statements of the Tarski‐truth conditions of sentences provide no information about meaning. The chapter closes with a detailed defense of Tarski's model‐theoretic analysis of logical truth and logical consequence against John Etchemendy's objections to it. (shrink)

Many commentators on Alfred Tarski have, following Hartry Field, claimed that Tarski's truth-definition was motivated by physicalism—the doctrine that all facts, including semantic facts, must be reducible to physical facts. I claim, instead, that Tarski did not aim to reduce semantic facts to physical ones. Thus, Field's criticism that Tarski's truth-definition fails to fulfill physicalist ambitions does not reveal Tarski to be inconsistent, since Tarski's goal is not to vindicate physicalism. I argue (...) that Tarski's only published remarks that speak approvingly of physicalism were written in unusual circumstances: Tarski was likely attempting to appease an audience of physicalists that he viewed as hostile to his ideas. In later sections I develop positive accounts of: (1) Tarski's reduction of semantic concepts; (2) Tarski's motivation to develop formal semantics in the particular way he does; and (3) the role physicalism plays in Tarski's thought. (shrink)

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)

Tarski's definition of truth has rehabilitated the application of the word "true" to sentences of formalized languages. But a correspondence theory according to which a sentence is true if, And only if, It is related in the peculiar way of correspondence to the facts, Is incompatible with tarski's definition. Actually no theory of truth, Which claims to make proper assertions about sentences when calling them true, Is compatible with tarski's definition. Hence they all (...) have to find their own solution to the problem of the semantical antinomies and have to explain what it means to say that sentences are true. (shrink)

Alfred Tarski’s theory of truth, to which we will also refer as the classical theory,1 has a conspicuous place in mathematics as well as in general philosophy. The place in philosophy appears the more prominent of the two, although it is still somewhat unsettled, and perhaps even controversial.

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)

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)

SummaryIn developing his claim that meaning cannot be understood independently of truth, Donald Davidson argues that a theory of meaning will take the form of a Tarskian theory of truth. In this essay I seek to describe more fully the structure of a Davidsonian theory of meaning and the extent to which Davidson modifies Tarski's account. 1 consider and reject John Foster's claim that Davidson takes, or should take, truth as a formal primitive, (...) and argue that it is Davidson's principle of charity which plays the essential role in giving theories of truth empirical application. (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)

In his 1933 monograph on the concept of truth, Alfred Tarski claimed that his definition of truth satisfied “the usual conditions of methodological correctness”, which in a 1935 article he identified as consistency and back-translatability. Following the rules of defining for an axiomatized theory was supposed to ensure satisfaction of the two conditions. But Tarski neither explained the two conditions nor supplied rules of defining for any axiomatized theory. We can make explicit what (...) class='Hi'>Tarski understood by consistency and back-translatability, with the help of (1) an account by Ajdukiewicz (1936) of the criteria underlying the practice of articulating rules of defining for axiomatized theories and (2) a critique by Frege (1903) of definitions that conjure an object into existence as that which satisfies a specified condition without first proving that exactly one object does so. I show that satisfaction of the conditions of consistency and back-translatability as thus explained is guaranteed by the rules of defining articulated by Leśniewski (1931) for an axiomatized system of propositional logic. I then construct analogous rules of defining for the theory within which Tarski developed his definition of truth. Tarski’s 32 definitions in this theory occasionally violate these rules, but the violations are easily repaired. I argue that the Leśniewski-Ajdukiewicz theory of formal correctness of definitions within which Tarski worked is superior in some respects to the widely accepted analogous theory articulated by Suppes (1957). (shrink)

Davidsonian analyses of action reports like ‘Alvin chased Theodore around a tree’ are often viewed as supporting the hypothesis that sentences of a human language H have truth conditions that can be specified by a Tarski-style theory of truth for H. But in my view, simple cases of adverbial modification add to the reasons for rejecting this hypothesis, even though Davidson rightly diagnosed many implications involving adverbs as cases of conjunct-reduction in the scope of an (...) existential quantifier. I think the puzzles in this vicinity reflect “framing effects,” which reveal the implausibility of certain assumptions about how linguistic meaning is related to truth and logical form. We need to replace these assumptions with alternatives, instead of positing implausible values of event-variables or implausible relativizations of truth to linguistic descriptions of actual events. (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)

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.

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

The Semantic Theory of Truth The semantic theory of truth was developed by Alfred Tarski in the 1930s. The theory has two separate, although interconnected, aspects. First, it is a formal mathematical theory of truth as a central concept of model theory, one of the most important branches of mathematical logic. Second, it … Continue reading Semantic Theory of Truth →.

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

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)

Donald Davidson's work has been of seminal importance in the development of analytic philosophy and his views on the nature of language, mind and action remain the starting point for many of the central debates in the analytic tradition. His ideas, however, are complex, often technical, and interconnected in ways that can make them difficult to understand. This introduction to Davidson's philosophy examines the full range of his writings to provide a clear succinct overview of his ideas. This book begins (...) with an account of the assumptions and structure of Davidson's philosophy of language, introducing his compositionalism, extensionalism and commitment to a Tarski-style theory of truth as the model for theories of meaning. It goes on to show how that philosophical framework is to be applied and how it challenges the traditional picture. Marc Joseph examines Davidson's influential work on action theory and events and discusses the commonly made charge that his theory of action and mind leaves the mental as a mere 'epiphenomenon' of the physical. The final section explores Davidson's philosophy of mind, some of its consequences for traditional views of subjectivity and objectivity and, more generally, the relation between minded beings and the physical and mental world they occupy. (shrink)

Davidson conjectured that suitably formulated Tarski-style theories of truth can “do duty” as theories of meaning for the spoken languages that humans naturally acquire. But this conjecture faces a pair of old objections that are, in my view, fatal when combined. Foster noted that given any theory of the sort Davidson envisioned, for a language L, there will be many equally true theories whose theorems pair endlessly many sentences of L with very different specifications of whether (...) or not those sentences are true. And if L includes words ‘true’, then for reasons stressed by Tarski, it’s hard to see how any truth theory for L could be correct. Moreover, each of these concerns amplifies the other. Appealing to possible worlds will not help with Foster’s Problem, for reasons that Chomsky discussed in the 1950s, and appealing to trivalent models of truth will not avoid concerns illustrated with Liar Sentences. (shrink)

Davidsonian analyses of action reports like ‘Alvin chased Theodore around a tree’ are often viewed as supporting the hypothesis that sentences of a human language H have truth conditions that can be specified by a Tarski-style theory of truth for H. But in my view, simple cases of adverbial modification add to the reasons for rejecting this hypothesis, even though Davidson rightly diagnosed many implications involving adverbs as cases of conjunct-reduction in the scope of an (...) existential quantifier. I think the puzzles in this vicinity reflect “framing effects,” which reveal the implausibility of certain assumptions about how linguistic meaning is related to truth and logical form. We need to replace these assumptions with alternatives, instead of positing implausible values of event-variables or implausible relativizations of truth to linguistic descriptions of actual events. (shrink)

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

Many discussions of holism fail to see the scope ambiguity and the subject ambiguity involved in the doctrine. With the different scopes or sizes, there are both moderate and extreme versions of holism. With respect to the different subjects, meaning holism can be distinguished from holism about confirmation or disconfirmation, about belief-fixation or belief-content, or about interpretation or understanding. The principal aim of this study is to disentangle the distinct doctrines involved in holism and to characterize and assess meaning holism (...) in the works of Quine and Davidson. ;The Duhem-Quine thesis is generally considered as the origin of holism. Following Duhem's thesis concerning scientific confirmation or disconfirmation, Quine put forth a stronger and wider claim that our statements about the external world face the tribunal of sense experience not individually but only as a corporate body. The views held in common by Duhem and Quine have come to be called "confirmation holism". ;In addition to the epistemic thesis of confirmation holism, it will be shown that Quine holds the distinct semantic thesis of meaning holism. Quine's new nonreductivist perspective on the verification theory of meaning is a bridge from confirmation holism to meaning holism. Quine also argues for what he calls "moderate" meaning holism by proceeding through a naturalistic account of children's language learning and the thought experiment of radical translation. ;Davidson's disagreement with Quine's behavioristic approach toward semantic studies leads him to construct his own holistic theory of meaning--an "extreme holism" which employs a Tarski-style theory of truth as part of its fundamental structure. According to Davidson, if we can put appropriate formal and empirical constraints on the theory as a whole, a satisfactory theory of meaning will finally emerge as a result of applying the theory of truth in interpreting or understanding the utterances of others. ;Finally, a response is given to Fodor's criticisms of meaning holism. It will be explained that Fodor's worries about the disastrous consequences of meaning holism can be addressed; and it will also be shown that his arguments against meaning holism, especially when directed at Quine and Davidson, are unfounded. (shrink)

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

Gila Sher interviewed by Chen Bo: -/- I. Academic Background and Earlier Research: 1. Sher’s early years. 2. Intellectual influence: Kant, Quine, and Tarski. 3. Origin and main Ideas of The Bounds of Logic. 4. Branching quantifiers and IF logic. 5. Preparation for the next step. -/- II. Foundational Holism and a Post-Quinean Model of Knowledge: 1. General characterization of foundational holism. 2. Circularity, infinite regress, and philosophical arguments. 3. Comparing foundational holism and foundherentism. 4. A post-Quinean model of (...) knowledge. 5. Intellect and figuring out. 6. Comparing foundational holism with Quine’s holism. 7. Evaluation of Quine’s Philosophy -/- III. Substantive Theory of Truth and Relevant Issues: 1. Outline of Sher’s substantive theory of truth. 2. Criticism of deflationism and treatment of the Liar. 3. Comparing Sher’s substantive theory of truth with Tarski’s theory of truth. -/- IV. A New Philosophy of Logic and Comparison with Other Theories: 1. Foundational account of logic. 2. Standard of logicality, set theory and logic. 3. Psychologism, Hanna’s and Maddy’s conceptions of logic. 4. Quine’s theses about the revisability of logic. -/- V. Epilogue. (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)

This chapter discusses formal theories of truth: the redundancy theory and its ilk, distinguished by the attempt to characterize truth in terms of its structural properties, in the context of the position adopted by Putnam in his John Dewey Lectures, here styled ‘Common-sense Realism’. This position is described, combining two principles called the Thesis of the Internality and the Thesis of World-Embeddedness, with a formal account of truth. It is argued that Common-sense Realism, along with all (...) theories comprising a formal account of truth, should be committed to the flames, because they are cut off from exploiting the Fregean model of meaning, based on a recursion on truth. (shrink)

Following the finitist’s rejection of the complete totality of the natural numbers, a finitist language allows only propositional connectives and bounded quantifiers in the formula-construction but not unbounded quantifiers. This is opposed to the currently standard framework, a first-order language. We conduct axiomatic studies on the notion of truth in the framework of finitist arithmetic in which at least smash function $\#$ is available. We propose finitist variants of Tarski ramified truth theories up to rank $\omega $, (...) of Kripke–Feferman truth theory and of Friedman–Sheard truth theory, and show that all of these have the same strength as the finitist arithmetic of one higher level along Grzegorczyk hierarchy. On the other hand, we also show that adding Burgess-style groundedness schema, adjusted to the finitist setting, makes Kripke–Feferman truth theory as strong as primitive recursive arithmetic. Meanwhile, we obtain some basic results on finitist theories of (full and hat) inductive definitions and on the second order axiom of hat inductive definitions for positive operators. (shrink)

Frederic Stoutland (1982a, 1982b) has argued that a Davidsonian theory of meaning is incompatible with a realist view of truth, on which the truth-conditions of sentences consist of mind-independent states of affairs or concatenations of extra-linguistic objects. In this paper we show that Stoutland’s argument is a failure.

First published in 1975, The Correspondence Theory of Truth examines the simplest statements of empirical fact and establishes what we can mean when we say that such statements are true. In particular, the author has considered whether any or all of beliefs, sentences, statements, or propositions are properly said to be true or false. He proceeds to examine what we mean by the term 'fact' and what possible relation between facts and beliefs could be meant by the term (...) 'correspondence'. The second part of the book is a critical survey of important contemporary accounts of truth. The author examines Tarski's semantic theory to see if it offers a satisfactory reconstruction of the essence of the traditional notion of correspondence, then J.L. Austin's recent and famous version of the correspondence theory and some criticisms of it by Professor P. E. Strawson. A final chapter summarizes the viable content of the correspondence theory and suggests what problems about truth still remain for discussion if the theory is accepted. This book will be an essential read for students and scholars of Philosophy. (shrink)

The aim of this dissertation is to offer and defend a correspondence theory of truth. I begin by critically examining the coherence, pragmatic, simple, redundancy, disquotational, minimal, and prosentential theories of truth. Special attention is paid to several versions of disquotationalism, whose plausibility has led to its fairly constant support since the pioneering work of Alfred Tarski, through that by W. V. Quine, and recently in the work of Paul Horwich. I argue that none of these (...) theories meets the correspondence intuition---that a true sentence or proposition in some way corresponds to reality---despite the explicit claims by each to capture this intuition. I distinguish six versions of the correspondence theory, and defend two against traditional objections, standardly taken as decisive against them, and show, plainly, that these two theories capture the correspondence intuition. Due to the importance of meeting this intuition, only these two theories stands a chance of being a satisfactory theory of truth. I argue that the version of the correspondence theory incorporating a simple semantic representation relation is preferable to its rival, for which the representation relation is complex. I present and argue for a novel version of this correspondence theory according to which truth is a correspondence property sensitive to semantic context. One consequence of this context-sensitivity is that an ungrounded sentence does not express a proposition. In addition to accounting for the similarity between the Liar and Truth-Teller sentences, this theory of truth is immune to the Liar Paradox, including empirical versions. It is argued that the Liar Paradox is devastating to all of the other theories above, and even formal theories of truth designed to solve it, such as the revision and vagueness theories. Customized versions of the Liar Paradox besetting this theory are handled by its context-sensitivity, and by enforcing the distinction between truth and truth value. This same pair of considerations also yields solutions to Lob's Paradox and Grelling's Paradox. Arguments similar to those given to defend this correspondence theory show that with one minor alteration, Kripke's fixed point theory may be used to model this correspondence notion of truth. (shrink)

Any "classical" theory of truth will satisfy tarski's criterion ("p" is true if and only if p), And the principle of bivalence (every proposition is either true or false). A non-Classical theory may be obtained by rejecting these principles: - in fact it is shown that rejection of the second entails rejection of the first. If the resulting non-Classical theory is formalized, A system structurally isomorphic to either s4 or s5 is obtained. An attempt is (...) made to show that the essential insights of intuitionist logic may be preserved if we replace their complex and in many respects "unintuitive" propositional logic by a theory of truth which is non-Classical in the sense described above. (shrink)

In Quine's philosophy stance, the most clearly is not his "real" view. Perhaps he is most concerned about the experience and the theoretical relationship between the content of experience, evidence, and the wide expanse between scientific theories associated. "True," this concept in his theoretical philosophy, it seems to swing in between different stance. For example, speaking, Quine's theory of experience equal to what is really home and country-style stance , Davidson is the support that the coherence theory (...) of truth management results. On the other hand, Quine seems to think that Tarski's truth language management frame, the true theory should provide management In order to meet reasonable description. Of course, Quine is also abbreviated true doctrine of the early advocates of management theory, one clear description of the "truth is quoted to eliminate ". This will be Quine's own theory, based on digestion of Quine quotes for "real" coherence "true" symbol should be "true" or inner "true" of諸-like ideas. I want regardless permit, we must take seriously Quine's digestion quotes "true" theory, so in order for him above on the "real"諸as of speech, proposed the same explanation. In my opinion, not in the digestion Quine quotes "real," but also suggested that regardless of any knowledge or ontology of "true." All his report on the "real" considerations, are can and should to counteract quotes "true" interpretation of the theory as a starting point. "Real" word in the context of the emergence of many, should be regarded as a collection of words, abbreviations or the expression is a common feature associated with the "real" language sentence only. Among Quine's philosophy, his account on truth is probably the mistiest part. Perhaps what concerns him most is the relation between experience and scientific theories, is the relation between empirical content, evidence, and scientific theories in the broad sense. His attitude toward the conception of truth seems to vacillate between different theories, due to his various philosophical positions. For instance, regarding Quine's sectarian position of which empirically equivalent theories should be taken as true, Davidson thinks that it is the consequence of holding the coherence theory of truth. On the other hand, Quine appears to consider Tarski's T schema as giving the correspondence theory of truth a sensible account. Moreover, Quine is one of the trail-blazers of the deflationary theory of truth, stating specifically "Truth is disquotation". This paper is based on Quine's own theory, discussing his multiple claims regarding disquotational truth, coherent truth, correspondence truth, or immanent truth. What I would like to argue is that, in order to consistently explain his various claims concerning truth, we have to take Quine's disquotational theory of truth seriously. I think that, except his disquotational account, Quine does not make any claim of epistemological truth or ontological truth. All of his consideration regarding truth can be and should be explained in terms of his disquotational theory of truth. The appearance of the word 'true' / 'truth' in many contexts should be seen as playing a collective term, as abbreviating or expressing true sentences with the same feature. (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? Once the question has been properly formulated, the answer turns out to be about as elegant as one could want: Adding a theory of truth to a finitely axiomatized theory (...) T is more or less equivalent to a kind of abstract consistency statement. A large part of the interest of the paper lies in the way syntactic theories are 'disentangled' from object theories. (shrink)