We argue against the disquotational meaning schema—‘φ’ means that φ—and suggest that rejecting it is the key to resolving further intensional paradoxes about the limits of thought.

Millianism is reasonable; that is, it is reasonable to think that all there is to the semantic value of a proper name is its referent. But Millianism appears to be undermined by the falsehood of Substitutivity, the principle that interchanging coreferential proper names in an intentional context cannot change the truth value of the resulting belief report. Mary might be perfectly rational in assenting to ‘Twain was a great writer’ as well as ‘Clemens was not a great writer’. Her confusion (...) does not seem to preclude her from assenting to those sentences in a normal, understanding manner. That is, Assent-for-Mary is true: Mary can knowingly assent to ‘Twain was a great writer’ and ‘Clemens was not a great writer’. By Disquotation—the rough principle that if in ordinary circumstances one assents to “P”, then one believes that P—Mary believes that Twain was a great writer and she believes that it’s not the case that Clemens was a great writer. If Substitutivity were true, then since ‘Mary believes that Twain was a great writer’ is true, ‘Mary believes that Clemens was a great writer’ would have to be true too. But then Mary would amount to a refutation of the plausible principle Consistency that, roughly put, no rational adult can have occurrently held and reflectively considered and compared contradictory beliefs. Since Disquotation, Assent-for-Mary, and Consistency are true, Substitutivity has to go. (shrink)

One of the main logical functions of the truth predicate is to enable us to express so-called ‘infinite conjunctions’. Several authors claim that the truth predicate can serve this function only if it is fully disquotational, which leads to triviality in classical logic. As a consequence, many have concluded that classical logic should be rejected. The purpose of this paper is threefold. First, we consider two accounts available in the literature of what it means to express infinite conjunctions with a (...) truth predicate and argue that they fail to support the necessity of transparency for that purpose. Second, we show that, with the aid of some regimentation, many expressive functions of the truth predicate can actually be performed using truth principles that are consistent in classical logic. Finally, we suggest a reconceptualisation of deflationism, according to which the principles that govern the use of the truth predicate in natural language are largely irrelevant for the question of what formal theory of truth we should adopt. Many philosophers think that the paradoxes pose a special problem for deflationists; we will argue, on the contrary, that deflationists are in a much better position to deal with the paradoxes than their opponents. (shrink)

It is argued that if there are truth-value gaps then the disquotational theory of truth is false. Secondly, it is argued that the same conclusion can be reached even without the assumption that there are truth-value gaps.

Truth predicates are widely believed to be capable of serving a certain logical or quasi-logical function. There is little consensus, however, on the exact nature of this function. We offer a series of formal results in support of the thesis that disquotational truth is a device to simulate higher-order resources in a first-order setting. More specifically, we show that any theory formulated in a higher-order language can be naturally and conservatively interpreted in a first-order theory with a disquotational truth or (...) truth-of predicate. In the first part of the paper we focus on the relation between truth and full impredicative sentential quantification. The second part is devoted to the relation between truth-of and full impredicative predicate quantification. (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)

Disquotationalism is the view that the only notion of truth we really need is one that can be wholly explained in terms of such trivialities as: “Snow is white” is true iff snow is white. The 'Classical Disquotational Strategy' attempts to establish this view case by case, by showing that each extant appeal to truth, in philosophical or scientific explanations, can be unmasked as an appeal only to disquotational truth. I argue here that the Classical Strategy fails in at least (...) two cases: attributions of truth to context-dependent utterances and uses of truth psychological explanations of behavioral success or, more fundamentally, appeals to falsity in psychological explanations of behavioral failure. -/- It's my intention to turn this paper into two papers. It's become quite unwieldy as it is---not unlike "The Strength of Truth Theories". (shrink)

We present an overview of typed and untyped disquotational truth theories with the emphasis on their (non)conservativity over the base theory of syntax. Two types of conservativity are discussed: syntactic and semantic. We observe in particular that TB—one of the most basic disquotational theories—is not semantically conservative over its base; we show also that an untyped disquotational theory PTB is a syntactically conservative extension of Peano Arithmetic.

Disquotational theories of truth, that is, theories of truth based on the T-sentences or similar equivalences as axioms are often thought to be deductively weak. This view is correct if the truth predicate is allowed to apply only to sentences not containing the truth predicate. By taking a slightly more liberal approach toward the paradoxes, I obtain a disquotational theory of truth that is proof theoretically as strong as compositional theories such as the Kripket probe the compositional axioms.

In this paper I respond to Jacquette’s criticisms, in (Jacquette, 2008), of my (Barker, 2008). In so doing, I argue that the Liar paradox is in fact a problem about the disquotational schema, and that nothing in Jacquette’s paper undermines this diagnosis.

Russian translation of Horwich P. Disquotation and Cause in the Theory of Reference // Philosophical Issues, 6, 1995. Translated by Alena Gorbunova, Nikita Kravtsov, Alexandra Proskurjakova with kind permission of the author.

It has been known for some time that context-dependence poses a problem for disquotationalism, but the problem has largely been regarded as one of detail: one that will be solved by the right sort of cleverness. I argue here that the problem is one of principle and that extant solutions, which are based upon the notion of translation, cannot succeed.

The uniform reflection principle for the theory of uniform T-sentences is added to PA. The resulting system is justified on the basis of a disquotationalist theory of truth where the provability predicate is conceived as a special kind of analyticity. The system is equivalent to the system ACA of arithmetical comprehension. If the truth predicate is also allowed to occur in the sentences that are inserted in the T-sentences, yet not in the scope of negation, the system with the reflection (...) schema for these T-sentences assumes the strength of the Kripke-Feferman theory KF, and thus of ramified analysis up to go. (shrink)

The so-called “disquotational theory of truth” has not previously been developed much beyond the thesis that saying, for example, that ‘Snow is white’ is true amounts only to saying that snow is white. Marian David has set out to see what further sense can be made of the disquotational theory, and to compare its merits with those of correspondence theories of truth. His prognosis is that an intelligible disquotational theory of truth can be developed but will suffer from drastic shortcomings (...) that make it all but unusable. (shrink)

Hartry Field has suggested that we should adopt at least a methodological deflationism: [W]e should assume full-fledged deflationism as a working hypothesis. That way, if full-fledged deflationism should turn out to be inadequate, we will at least have a clearer sense than we now have of just where it is that inflationist assumptions ... are needed. I argue here that we do not need to be methodological deflationists. More pre-cisely, I argue that we have no need for a disquotational truth-predicate; (...) that the word true, in ordinary language, is not a disquotational truth-predicate; and that it is not at all clear that it is even possible to introduce a disquotational truth-predicate into ordinary language. If so, then we have no clear sense how it is even possible to be a methodological deflationist. My goal here is not to convince a committed deflationist to abandon his or her position. My goal, rather, is to argue, contrary to what many seem to think, that reflection on the apparently trivial character of T-sentences should not incline us to deflationism. (shrink)

They reject the correspondence theory, insist truth is anemic, and advance an "anti-theory" of truth that is essentially a collection of platitudes: "Snow is white" is true if and only if snow is white; "Grass is green" is true if and only if grass is green. According to disquotationalists, the only profound insight about truth is that it lacks profundity. David contrasts the correspondence theory with disquotationalism and then develops the latter position in rich detail - more than has been (...) available in previous literature - to show its faults. (shrink)

(2000). DEFLATIONISM AND THE DISQUOTATIONAL SCHEMA: LETTING THE AIR OUT OF WRIGHT'S ARGUMENT AGAINST MINIMAL TRUTH. Philosophical Papers: Vol. 29, No. 1, pp. 43-59.

Hartry Field has suggested that we should adopt at least a methodological deflationism: "[W]e should assume full-fledged deflationism as a working hypothesis. That way, if full-fledged deflationism should turn out to be inadequate, we will at least have a clearer sense than we now have of just where it is that inflationist assumptions... are needed". I argue here that we do not need to be methodological deflationists. More precisely, I argue that we have no need for a disquotational truth-predicate; that (...) the word 'true', in ordinary language, is not a disquotational truth-predicate; and that it is not at all clear that it is even possible to introduce a disquotational truth-predicate into ordinary language. If so, then we have no clear sense how it is even possible to be a methodological deflationist. My goal here is not to convince a committed deflationist to abandon his or her position. My goal, rather, is to argue, contrary to what many seem to think, that reflection on the apparently trivial character of T-sentences should not incline us to deflationism. (shrink)

In the first paragraph, the focus is on the early Wittgenstein's conception of truth: the Disquotational Schema is shown to be derivable from the semantic and ontological principles of the picture theory. Then, the article scrutinises the way the Disquotational Schema provides the basis for what the later Wittgenstein takes as a philosophically appropriate description of the practice of making assertions. The general abstract notion of truth makes room for a situated notion of warranted assertibility as the key-notion. Last, the (...) issue of how Wright's Argument from Informational Neutrality could be neutralised from the later Wittgenstein's viewpoint is dealt with. (shrink)

One of the three central issues in Lloyd Humberstone's ‘Sufficiency and Excess’ is what he calls ‘the Complete Thought Issue’ (CTI, for short). This is the question of whether some declarative sentences have proposition radicals, rather than full-blown propositions, as their semantic values. My focus in this reply is exclusively on Humberstone's comments about CTI and on CTI more generally. The goal of Humberstone's discussion of CTI is to defend ‘[Kent] Bach's claim against Cappelen and Lepore's attacks’ (Humberstone, 2006, p. (...) 316). These ‘attacks’ on Bach are found in Cappelen and Lepore (2004). In section one I present CTI, in section two I evaluate Humberstone's defence of Bach, and in section three I discuss two solutions to CTI. (shrink)

Truth-theoretic deflationism holds that truth is simple, and yet that it can fulfil many useful logico-linguistic roles. Deflationism focuses on axioms for truth: there is no reduction of the notion of truth to more fundamental ones such as sets or higher-order quantifiers. In this paper I argue that the fundamental properties of reasonable, primitive truth predicates are at odds with the core tenets of classical truth-theoretic deflationism that I call fix, express, and quantify. Truth may be regarded as a broadly (...) logical, sui generis notion. However, this has little to do with the original aims of the deflationary theory of truth. (shrink)

Questions about the relative priorities of mind and language suffer from a double obscurity. First, it is often not clear which mental and linguistic facts are in question: we can ask about the relationship between any of the semantic or syntactic properties of public languages and the judgments, intentions, beliefs, or other propositional attitudes of speakers of those languages. Second, there is an obscurity about what 'priority' comes to here.We can approach the first problem by way of the second. Often, (...) talk about one class of facts being prior to another is glossed in terms of the claim that we can give an account of the latter in terms of the former. This gloss might seem to be a small advance, since it is .. (shrink)

ABSTRACTFregeans hold that predicates denote things, albeit things different in kind from what singular terms denote. This leads to a familiar problem: it seems impossible to say what any given predicate denotes. One strategy for avoiding this problem reduces the Fregean position to form of nominalism. I develop an alternative strategy that lets the Fregean hold on to the view that predicate denote things by reconceiving the nature of singular denotation and of Fregean objects.

among philosophers and therefore a short reminder will do. Pierre was a normal speaker of French, before he moved to London and learnt English without ever using any dictionary or similar devices. During his time in France he had heard about London, and because of what he..

This paper is a defence of Putnam's claim that the proposition expressed by the sentence 'I am a brain-in-a-vat' is necessarily false. In particular, the paper defends the anti-sceptical conclusion against an attack by Noonan.

Some discourse (e.g. involving vague or indeterminate terms, normative language, or conditionals) can seem ‘factually defective’: it generates issues about which there seems to be ‘no fact of the matter’. But there seems to be a difficulty in making sense of factually defective discourse, and in explaining the division between it and other discourse, if one holds that the basic notion of truth is a fairly minimal one. The chapter argues that we can overcome the difficulty: we can recognize and (...) account for several different kinds of factual defectiveness while adhering to a very minimal notion of truth. (shrink)

Perhaps the most important argument against deflationism is the so-called Success Argument: The success of certain behavioral strategies depends upon the truth of a person's beliefs. If so, then the notion of truth appears to play an important role in psychological explanation, contradicting the central thesis of deflationism. I argue here that this type of argument poses a particularly difficult problem for disquotationalism, but that the important case concerns the role that the falsity of a person's beliefs plays in explaining (...) behavioral failure. (shrink)

In Logical Properties, Colin McGinn offers a new theory of truth, which he describes as “thick disquotationalism.” In keeping with wider theme of the book, truth emerges as conceptually primitive. Echoing Moore, it is simple and unanalyzable. Though truth cannot be analyzed, in the sense of giving a conceptual decomposition, McGinn argues that truth can be defined. A non-circular statement of its application conditions can be given. This makes truth a singularly remarkable property. Indeed, by McGinn’s lights, it is the (...) only property which enjoys being both unanalyzable and definable. (shrink)

In a number of influential papers, Hartry Fieldhas advanced an account of truth and referencethat we might dub quasi-disquotationalism. According to quasi-disquotationalism, truth and reference are to be explained in terms of disquotationand facts about what constitute a goodtranslation into our language. Field suggeststhat we might view quasi-disquotationalism aseither (a) an analysis of our ordinarytruth-theoretic concepts of reference andtruth, or (b) an account of certain otherconcepts that improve upon our ordinaryconcepts. In this paper, I argue that (i) ifthe view is (...) understood along the lines of (a)it fails, and (ii) if it is construed along thelines of (b) it is, at best, under-motivated. (shrink)

Returning to the debate itself, does a full account of how humans use language require a correspondence theory of truth and reference? This chapter argues that disquotationalism is fully up to the job of explaining how our language use succeeds in guiding our worldly actions — because our beliefs are good indicators of the facts (often not because they are true) — and also what happens when language is vague or non-factual or indeterminate. Indeed the second-philosophical disquotationalist's analysis of well-trod (...) cases like Priestley's talk of ‘dephlogisticated air’ involve careful analyses of indications relations that run parallel to the detailed work of causal theorists of reference. Word-world relations are as central to her account of language use as they are to correspondence theories; it's just that she doesn't share the belief that, e.g., the facts about Priestley and the world determine whether or not a given one of his utterances refers to oxygen. For her, this is a matter of how we interpret him into our current language, and that may vary with the context and goals of the interpretation. (shrink)

This paper offers three objections to Leslie’s recent and already influential theory of generics :375–403, 2007a, Philos Rev 117:1–47, 2008): her proposed metaphysical truth-conditions are subject to systematic counter-examples, the proposed disquotational semantics fails, and there is evidence that generics do not express cognitively primitive generalisations.

I apply the notions of alethic reference introduced in previous work in the construction of several classical semantic truth theories. Furthermore, I provide proof-theoretic versions of those notions and use them to formulate axiomatic disquotational truth systems over classical logic. Some of these systems are shown to be sound, proof-theoretically strong, and compare well to the most renowned systems in the literature.

The paper challenges Smith's contention that disquotational knowledge amounts to substantial knowledge, arguing that nothing more than such knowledge, thinly conceived, is needed to account for first‐personal knowledge of one's meanings. However, a distinction is offered between the kind of authority that attaches to disquotational claims and that which attaches to our intuitive judgements about what we mean. The latter may fall short of genuine knowledge while still involving entitlement and a presumption of correctness. Each species of authority is assessed (...) with respect to issues in Smith's paper, and the view is defended that neither species is threatened by externalism. The extent of our linguistic knowledge is further explored with respect to a particular range of linguistic data. (shrink)

Answering a question formulated by Halbach (2009), I show that a disquotational truth theory, which takes as axioms all positive substitutions of the sentential T-schema, together with all instances of induction in the language with the truth predicate, is conservative over its syntactical base.

This chapter argues for a form of partiality in semantics. In particular, it argues that semantics, narrowly construed as part of our linguistic competence, is only a partial determinant of truth‐conditional content. Likewise, truth‐conditional semantic theories in linguistics function as partial theories of content. It offers an account of where and how this partiality arises, which focuses on how lexical meaning combines elements of distinctively linguistic competence with elements from our broader cognitive resources. This account shows how we can accommodate (...) some partiality in semantic theories without falling into skepticism about semantics or its place in linguistic theory. Along the way, the chapter reexamines the roles disquotation and model theory play in semantic theories. It argues that disquotation plays an ineliminable role, but that this shows us a way in which semantic theories are explanatorily partial. (shrink)