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

It's often said that according to deflationary theories of truth, truth is not a ‘substantial’ property. While this is a fine slogan, it is far from transparent what deflationists mean (or ought to mean) in saying that truth is ‘insubstantial’. Focusing so intently upon the concept of truth and the word ‘true’, I argue, deflationists and their critics have been insufficiently attentive to a host of metaphysical complexities that arise for deflationists in connection with the property of truth. My aim (...) is to correct several misunderstandings as to what deflationists are after here—including some harboured by deflationists themselves—and to offer an account of the commitments about truth's nature that they ought to undertake. In developing this account, I focus particularly upon the issue of what metaphysics of truth a Horwichian minimalist ought to adopt. (shrink)

Minimalists about truth contend that traditional inflationary theories systematically fail to explain certain facts about truth, and that this failure licenses a ‘reversal of explanatory direction’. Once reversed, they purport that their own minimal theory adequately explains all of the facts involving truth. But minimalists’ main objection to inflationism seems to misfire, and the subsequent reversal of explanatory direction, if it can be made sense of, leaves minimalism in no better explanatory position; and even if the objection were serviceable and (...) the reversal legitimate, minimalists’ adequacy thesis is still implausible. (shrink)

According to strong pluralist theories of truth, ‘true’ designates different properties depending on which sentences it’s applied to. An influential objection to strong pluralism claims it can’t make sense of logically complex sentences whose components have different truth-properties. For example, if ‘true’ designates correspondents for ‘Tabby is a cat’, and it designates coherence for ‘Tabby is beautiful’, what does it designate for ‘Tabby is a beautiful cat’ (Tappolet 1997)? Will Gamester (2019) has proposed a novel pluralist theory meant to avoid (...) the problem. The theory construes ‘true’ as designating a different property for each possible logical structure, and he has challenged monists to identify shortcomings of the theory in virtue of its pluralism. This paper answers Gamester’s challenge and identifies three such shortcomings. (1) The theory can’t make sense of the idea that all true conjunctions share the property of having true conjuncts, in virtue of which they are true. (2) The theory imposes unmotivated syntactic constraints on the language in which the theory of truth is formulated. (3) Avoiding the second shortcoming requires arbitrary choices among equally good candidates for “the” logical form of sentences and hence the designation of ‘true’ as applied to them. (shrink)

The paper proposes a strategy for understanding metaphysical grounding in deflationary terms and, more generally, proposes a form of methodological deflationism with respect to the notions of ground. The idea is to define a deflationary is grounded in-predicate by appeal to the two-place non-causal connective ‘because’ and a deflationary truth predicate. To this end, we discuss the explanatory role of the truth-predicate in non-causal explanations and develop a theory of truth for the language of the ‘because’-connective. We argue that at (...) least from a logical perspective our deflationary notion of ground is up to the task. (shrink)

Substantivism is a general philosophical methodology advocating a substantive approach to philosophical theorizing. In this article, I present an overview of this methodology with a special emphasis on the field of truth. I begin with a framework for understanding what is at stake in the substantivist–deflationist debate and describe the substantivist critique of deflationism. I then proceed to discuss contemporary substantivism as a positive methodology, present examples of recent substantivist theories of truth, delineate several principles of philosophical substantivism, and connect (...) it to contemporary thought about the nature and methods of philosophy. Due to limitations of space, I am unable to discuss all the forms contemporary substantivism has taken. But I try to give a clear sense of the central principles, challenges, and promise of this methodology. (shrink)

Horwich proposes a solution to the liar paradox that relies on a particular notion of grounding—one that, unlike Kripke’s notion of grounding, does not invoke any “Tarski-style compositional principles”. In this short note, we will formalize Horwich’s construction and argue that his solution to the liar paradox does not justify certain generalizations about truth that he endorses. We argue that this situation is not resolved even if one appeals to the \-rule. In the final section, we briefly discuss how Horwich (...) might respond to the situation. (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)

One of the main problems that Paul Horwich’s Minimalist theory of truth must face is the generalization problem, which shows that Minimalism is too weak to have the fundamental explanatory role Horwich claims it has. In this paper, I defend Horwich’s response to the generalization problem from an objection raised by Bradley Armour-Garb. I also argue that, given my response to Armour-Garb, Horwich’s proposal to cope with the generalization problem can be simplified. -/- L’un des principaux problèmes auxquels la théorie (...) minimaliste de la vérité de Paul Horwich doit faire face est le problème de la généralisation. Horwich soutient que le minimalisme a un rôle explicatif fondamental, mais le problème de la généralisation montre que cette théorie est trop faible pour tenir ce rôle. Dans cet article, je défends la réponse d’Horwich au problème de la généralisation à partir d’une objection soulevée par Bradley Armour-Garb. Je prétends également que ma réponse à Armour-Grab nous permet de formuler d’une manière plus simple la réponse d’Horwich au problème de la généralisation. (shrink)

In this paper I introduce Horwich’s deflationary theory of truth, called ‘Minimalism’, and I present his proposal of how to cope with the Liar Paradox. The proposal proceeds by restricting the T-schema and, as a consequence of that, it needs a constructive specification of which instances of the T-schema are to be excluded from Minimalism. Horwich has presented, in an informal way, one construction that specifies the Minimalist theory. The main aim of the paper is to present and scrutinize some (...) formal versions of Horwich’s construction. (shrink)

Deflationists about truth typically deny that truth is a causal-explanatory property. However, the now familiar 'success argument' attempts to show that truth plays an important causal-explanatory role in explanations of practical success. Deflationists have standardly responded that the truth predicate appears in such explanations merely as a logical device, and that therefore truth has not been shown to play a causal-explanatory role. I argue that if we accept Jackson and Pettit's account of causal explanations, the standard deflationist response is inconsistent, (...) for on this account even logical properties can be causally explanatory. Therefore the deflationist should remain neutral as to whether truth is a causal-explanatory property, and focus instead on the claim that truth, if it is a property, is a merely logical one. (shrink)

Recently, Paul Horwich has developed the minimalist theory of truth, according to which the truth predicate does not express a substantive property, though it may be used as a grammatical expedient. Minimalism shares these claims with Quine’s disquotationalism; it differs from disquotationalism primarily in holding that truth-bearers are propositions, rather than sentences. Despite potential ontological worries, allowing that propositions bear truth gives Horwich a prima facie response to several important objections to disquotationalism. In section I of this paper, disquotationalism is (...) given a careful exegesis, in which seven known objections are traced to the disquotational schema, and two new objections are raised. A version of disquotationalism which avoids two of the seven known objections is recommended. In section II, an examination of minimalism shows that it faces eight of the nine objections facing disquotationalism, plus a new objection. In section III, a finite formulation of minimalism proposed by Ernest Sosa is shown to meet five of the nine objections facing disquotationalism as well as the objection new to minimalism, though it faces another new objection. (shrink)

Restrictionism is a response to the Liar and other paradoxes concerning truth. Restrictionists—as I will call proponents of the strategy—respond to these paradoxes by giving up instances of the schema -/- <p> is true iff p. -/- My aim is to show that the current unpopularity of restrictionism is undeserved. I will argue that, whilst cautious versions of the strategy may face serious problems, a radical and previously overlooked version of restrictionism provides a strong and defensible response to the paradoxes.

Ascriptions of truth give rise to an explanatory asymmetry. For instance, we accept ‘ is true because Rex is barking’ but reject ‘Rex is barking because is true’. Benjamin Schnieder and other philosophers have recently proposed a fresh explanation of this asymmetry : they have suggested that the asymmetry has a conceptual rather than a metaphysical source. The main business of this paper is to assess this proposal, both on its own terms and as an option for deflationists. I offer (...) a pair of objections to the proposal and defend them from counter-objections. To conclude, I discuss how else to explain the asymmetry, and set out the implications for deflationism and correspondence theories of truth. (shrink)

Ascriptions of truth give rise to an explanatory asymmetry. For instance, we accept ‘ is true because Rex is barking’ but reject ‘Rex is barking because is true’. Benjamin Schnieder and other philosophers have recently proposed a fresh explanation of this asymmetry: they have suggested that the asymmetry has a conceptual rather than a metaphysical source. The main business of this paper is to assess this proposal, both on its own terms and as an option for deflationists. I offer a (...) pair of objections to the proposal and defend them from counter-objections. To conclude, I discuss how else to explain the asymmetry, and set out the implications for deflationism and correspondence theories of truth. (shrink)

I want to promote what I shall call ‘the identity theory of truth’. I suggest that other accounts put forward as theories of truth are genuine rivals to it, but are unacceptable. A certain conception of thinkables belongs with the identity theory’s conception of truth. I introduce these conceptions in Part I, by reference to John McDowell’s Mind and World; and I show why they have a place in an identity theory, which I introduce by reference to Frege. In Part (...) II, I elaborate on the conception of thinkables, with a view to demonstrating that the identity theory’s conception of truth is defensible. Part III is concerned with the theory’s relation to some recent work on the concept of truth: I hope to show that the identity theorist not only has a defensible conception of truth, but also, in the present state of play, has appropriate ambitions. (shrink)

Minimalism is currently the received deflationary theory of truth. On minimalism, truth is a transparent concept and a deflated property of truth bearers. In this paper, I situate minimalism within current deflationary debate about truth by contrasting it with its main alternative―the redundancy theory of truth. I also outline three of the primary challenges facing minimalism, its formulation, explanatory adequacy and stability, and draw some lessons for the soundness of its conception of truth.

This paper has three main concerns. First, it proposes a deflationary theory of the concept of truth, arguing thatthe concept can be explicitly defined in terms of substitutionalquantification. Second, it attempts to describe and explainthe intuitions that have traditionally been thought tofavor correspondence theories of truth over deflationarytheories. And third, it argues that these intuitions areultimately compatible with deflationism, maintaining,among other things, that the relation of semantic correspondence can itself be characterized in terms ofsubstitutional quantification.

The standard truth-conditional semantics for substitutional quantification, due to Saul Kripke, does not specify what proposition is expressed by sentences containing the particular substitutional quantifier. In this paper, I propose an alternative semantics for substitutional quantification that does. The key to this semantics is identifying an appropriate propositional function to serve as the content of a bound occurrence of a formula containing a free substitutional variable. I apply this semantics to traditional philosophical reasons for interest in substitutional quantification, namely, theories (...) of truth and ontological commitment. (shrink)

I want to discuss, in some detail, a short section from Quine’s Philosophy of Logic. It runs from pages 10 to 13 of the second, revised edition of the book and carries the subheading ‘Truth and semantic ascent’.1 In these two and a half pages, Quine presents his well-known account of truth as a device of disquotation, employing what I call Quine’s Ladder. The section merits scrutiny, for it has become the central document for contemporary deflationary views about truth.

Formal theories, as in logic and mathematics, are sets of sentences closed under logical consequence. Philosophical theories, like scientific theories, are often far less formal. There are many axiomatic theories of the truth predicate for certain formal languages; on analogy with these, some philosophers (most notably Paul Horwich) have proposed axiomatic theories of the property of truth. Though in many ways similar to logical theories, axiomatic theories of truth must be different in several nontrivial ways. I explore what an axiomatic (...) theory of truth would look like. Because Horwich’s is the most prominent, I examine his theory and argue that it fails as a theory of truth. Such a theory is adequate if, given a suitable base theory, every fact about truth is a consequence of the axioms of the theory. I show, using an argument analogous to Gödel’s incompleteness proofs, that no axiomatic theory of truth could ever be adequate. I also argue that a certain class of generalizations cannot be consequences of the theory. (shrink)

I here defend a theory consisting of four claims about ‘property’ and properties, and argue that they form a coherent whole that can solve various serious problems. The claims are (1): ‘property’ is defined by the principles (PR): ‘F-ness/Being F/etc. is a property of x iff F’ and (PA): ‘F-ness/Being F/etc. is a property’; (2) the function of ‘property’ is to increase the expressive power of English, roughly by mimicking quantification into predicate position; (3) property talk should be understood at (...) face value: apparent commitments are real and our apparently literal use of ‘property’ is really literal; (4) there are no properties. In virtue of (1)–(2), this is a deflationist theory and in virtue of (3)–(4), it is an error theory. (1) is fleshed out as a claim about understanding conditions, and it is argued at length, and by going through a number of examples, that it satisfies a crucial constraint on meaning claims: all facts about ‘property’ can be explained, together with auxiliary facts, on its basis. Once claim (1) has been expanded upon, I argue that the combination of (1)–(3) provides the means for handling several problems: they help giving a happy-face solution to what I call the paradox of abstraction , they form part of a plausible account of the correctness of committive sentences, and, most importantly, they help respond to various indispensability arguments against nominalism. (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)

Most paradoxes of self-reference have a dual or ‘hypodox’. The Liar paradox (Lr = ‘Lr is false’) has the Truth-Teller (Tt = ‘Tt is true’). Russell’s paradox, which involves the set of sets that are not self-membered, has a dual involving the set of sets which are self-membered, etc. It is widely believed that these duals are not paradoxical or at least not as paradoxical as the paradoxes of which they are duals. In this paper, I argue that some paradox’s (...) duals or hypodoxes are as paradoxical as the paradoxes of which they are duals, and that they raise neglected and interestingly different problems. I first focus on Richard’s paradox (arguably the simplest case of a paradoxical dual), showing both that its dual is as paradoxical as Richard’s paradox itself, and that the classical, Richard-Poincaré solution to the latter does not generalize to the former in any obvious way. I then argue that my argument applies mutatis mutandis to other paradoxes of self-reference as well, the dual of the Liar (the Truth-Teller) proving paradoxical. (shrink)

A new approach to truth is offered which dispenses with the truth predicate, and replaces it with a special kind of quantifier which simultaneously binds variables in sentential and nominal positions. The resulting theory of truth for a (first-order) language is shown to be able to handle blind truth ascriptions, and is shown to be compatible with a characterization of the semantic and syntactic principles governing that language. Comparisons with other approaches to truth are drawn. An axiomatization of AU-quantifiers and (...) a model theory for them is given, and an appendix contains a completeness proof. (shrink)

Deflationists about truth generally regard the contribution that ‘true’ makes to utterances to be purely logical or expressive: it exists to facilitate communication, and remedy our expressive deficiencies that are due to ignorance or finitude. This paper presents a challenge to that view by considering alethic desires. Alethic desires are desires for one’s beliefs to be true. Such desires, I argue, do not admit of any deflationarily acceptable analysis, and so challenge the deflationist’s austere view about the semantic role of (...) ‘true’. I consider a number of deflationist proposals for analyzing alethic desires, and find them all problematic. (shrink)

I argue that there is no metaphysically substantive property of truth. Although many take this thesis to be central to deflationism about truth, it is sometimes left unclear what a metaphysically substantive property of truth is supposed to be. I offer a precise account by relying on the distinction between the property and concept of truth. Metaphysical substantivism is the view that the property of truth is a sparse property, regardless of how one understands the nature of sparse properties. I (...) then offer two new arguments against metaphysical substantivism that employ ideas involving recombination and truthmaking. First, I argue that there are no theoretically compelling reasons to posit the existence of a metaphysically substantive property of truth. Secondly, I argue that if we do posit the existence of such a property, then we end up with a view that is either contradictory or unmotivated. What we’re left with is a metaphysically deflationary account of the property of truth that fully respects the metaphysical ambitions of truthmaker theory, and that is consistent with both the view that truth is a deflated, explanatorily impotent concept and the view that truth is an explanatorily powerful concept. (shrink)

In defense of the minimalist conception of truth, Paul Horwich(2001) has recently argued that our acceptance of the instances of the schema,`the proposition that p is true if and only if p', suffices to explain our acceptanceof truth generalizations, that is, of general claims formulated using the truth predicate.In this paper, I consider the strategy Horwich develops for explaining our acceptance of truth generalizations. As I show, while perhaps workable on its own, the strategy is in conflictwith his response to (...) the liar paradox. Something must give. I consider and reject variousalternatives and emendations to the strategy. In order to resolve the conflict,I propose an alternative approach to the liar, one that supports Horwich's strategywhile leaving minimalism maximally uncompromised. (shrink)

Deflationism about truth, what is often simply called “deflationism”, is really not so much a theory of truth in the traditional sense, as it is a different, newer sort of approach to the topic. Traditional theories of truth are part of a philosophical debate about the nature of a supposed property of truth. Philosophers offering such theories often make suggestions like the following: truth consists in correspondence to the facts; truth consists in coherence with a set of beliefs or propositions; (...) truth is what is acceptable in the ideal limit of inquiry. According to deflationists, such suggestions are mistaken, and, moreover, they all share a common mistake. The common mistake is to assume that truth has a nature of the kind that philosophers might find out about and develop theories of. The main idea of the deflationary approach is (a) that all that can be significantly said about truth is exhausted by an account of the role of the expression ‘true’ or of the concept of truth in our talk and thought, and (b) that, by contrast with what traditional views assume, this role is neither metaphysically substantive nor explanatory. For example, according to deflationary accounts, to say that ‘snow is white’ is true, or that it is true that snow is white, is in some sense strongly equivalent to saying simply that snow is white, and this, according to the deflationary approach, is all that can be said significantly about the truth of ‘snow is white’. Philosophers looking for some underlying nature of some truth property that is attributed with the use of the expression ‘true’ are bound to be frustrated, the deflationist says, because they are looking for something that isn’t there. Deflationism comprises a variety of different versions, each of which have gone by different names, including at least the following: disquotationalism, minimalism, prosententialism, the redundancy theory, the disappearance theory, the no-truth theory. There has not always been terminological consensus in the literature about how to use these labels: sometimes they have been used interchangeably; sometimes they have been used to mark distinctions between different developments of the same general approach. The actual variety of deflationary views has not always been clear in discussions of this approach, especially in the earlier literature, where important differences are occasionally missed. To help clear this up, we will use ‘deflationism’ to denote the general approach we want to discuss and reserve other names for specific versions of that approach. (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)

One’s life can be meaningful, but not worth living, or worth living, but not meaningful, which demonstrates that an evaluation of whether life is worth living differs from an evaluation of whether one’s life is meaningful. But how do these evaluations differ? As I will argue, an evaluation of whether life is worth living is a more comprehensive evaluation than the evaluation of whether one’s individual life is meaningful. In judging whether one finds life worth living, one takes into account, (...) not only whether one’s life is meaningful, but undesirable aspects of life such as chronic pain and suffering. For example, a person who is suffering greatly, but who has lived a meaningful life, might still conclude that his or her life is not worth living. Although the famed question about the meaning of life has received most of the attention, I argue that the better and more fruitful question is “Is life worth living?” One should want, not just for one’s life to be meaningful, but for it to be worth living. (shrink)

In this dissertation, I argue that we should be pluralists about truth and in turn, eliminativists about the property Truth. Traditional deflationists were right to suspect that there is no such property as Truth. Yet there is a plurality of pluralities of properties which enjoy defining features that Truth would have, were it to exist. So although, in this sense, truth is plural, Truth is non-existent. The resulting account of truth is indebted to deflationism as the provenance of the suspicion (...) that Truth doesn't exist. But it would be hasty to simply classify the account as deflationary. Each of the 'truth-like' properties that it recognizes is highly substantive--that is, complex and explanatorily potent. So we should deflate Truth by recognizing that it doesn't exist, but we should also recognize that one of the most vital tasks in truth theory is to discover the essences of the many truth-like properties. My aim here is to do precisely this. (shrink)