Abstract
Deflationists argue that ‘true’ is merely a logicolinguistic device for expressing blind ascriptions and infinite generalisations. For this reason, some authors have argued that deflationary truth must be conservative, i.e. that a deflationary theory of truth for a theory S (that interprets a sufficient amount of mathematics, or syntax) must not entail sentences in S’s language that are not already entailed by S. However, it has been forcefully argued that any adequate theory of truth for S must be nonconservative and that, for this reason, truth cannot be deflationary (Shapiro in J Philos XCVI(10):493–521, 1998; Ketland in Mind 108(429):69–94, 1999). We consider two defences of conservative deflationism, respectively proposed by Waxman (Mind 126(502):429–463, 2017) and Tennant (Mind 111(443):551–582, 2002), and argue that they are both unsuccessful. In Waxman’s hands, deflationists are committed either to a nonpurely expressive notion of truth, or to a conception of mathematics that does not allow them to justifiably exclude nonconservative theories of truth. Tennant’s conservative deflationism fares no better: if deflationist truth must be conservative over arithmetic, it can be shown to collapse into a nonconservative variety of deflationism.
Keywords
Truth Deflationism Conservativeness Categoricity Reflection principles Isaacson's thesisDeflationism about truth has it that ‘true’ is a logicolinguistic device for expressing blind ascriptions and infinite generalisations (as in ‘All of Peano Arithmetic’s theorems are true’). As Vann McGee puts it, according to deflationists truth ‘doesn’t have any legitimate applications beyond its logical uses, so it cannot play a significant theoretical role in scientific inquiry or causal explanation’ (McGee 2016, p. 3153).^{1} Some authors go further and argue that a theory of truth for a theory S ought to yield a conservative extension of S, i.e. it shouldn’t entail sentences in the truthfree language that aren’t already entailed by S.^{2} In a slogan, deflationary truth must be conservative.
However, Stewart Shapiro (1998) and Jeffrey Ketland (1999) have long argued that any minimally adequate theory of truth cannot be conservative. A theory of truth for firstorder Peano Arithmetic (PA), their argument goes, must allow one to prove sentences such as \(G_{\mathsf {PA}}\), the Gödel sentence for PA, and Con(PA), a sentence expressing PA’s consistency.^{3} But neither \(G_{\mathsf {PA}}\) nor Con(PA) are entailed by PA, if PA is consistent. They conclude that truth cannot be deflationary, since it allows one to prove substantive arithmetical truths. Call this the conservativeness argument.
In a recent paper, Waxman (2017) observes that the conservativeness requirement is ambiguous between two readings, a semantic and a syntactic one, corresponding to two different conceptions of arithmetic. On the first reading, arithmetic is understood categorically, i.e. as given by the standard model \({\mathbb {N}}\). On the second reading, arithmetic is understood axiomatically, i.e. as exhausted by the acceptance of some noncategorical (typically firstorder) theory such as PA. According to Waxman, deflationary truth can be conservative on either reading and the conservativeness argument does not go through. More precisely, on the categorical conception, every (consistent) theory of truth is semantically conservative over its arithmetical base theory; on the syntactic conception, sentences such as \(G_{\mathsf {PA}}\) and Con(PA) are not part of one’s conception of arithmetic, whence one ought not to be able to prove them in the first place. Either way, Waxman maintains, deflationary truth can be conservative.
We argue that Waxman’s defence of deflationary but conservative truth is unsuccessful. By our lights, the semantic horn of Waxman’s argument has already been shown to be problematic. Waxman’s categorical deflationists resort to a notion of truthinahigherorderstructure that appears to be in tension with the purely expressive deflationary conception of truth (Shapiro 1998; Cieśliński 2015).^{4} Accordingly, we mostly focus on the syntactic horn. We suggest that the axiomatic conception of arithmetic is both unduly restrictive and selfundermining: it excludes standard pieces of mathematical knowledge such as \(G_{\mathsf {PA}}\) and Con(PA), and it does not even allow the axiomatic deflationist to coherently justify her refusal to accept such sentences. Along the way, we suggest that a strategy advocated by Tennant (2002) for escaping the conservativeness argument while at the same time retaining knowledge of \(G_{\mathsf {PA}}\) and Con(PA) is also problematic. Assuming with Tennant that an acceptable deflationary theory of truth over PA must be conservative over PA, we notice that the deflationist who wishes to recover standard mathematical knowledge must also accept theories of arithmetic in which a nonconservative truth predicate can be defined.
While our arguments do not tell against deflationism in general, they suggest that there is little conceptual space, if any, for conservative deflationism, especially if one’s conception of mathematics is axiomatic, i.e. exhausted by one’s acceptance of the axioms of a firstorder theory such as PA. The idea that our grasp of mathematical notions is given by our acceptance of axiomatic theories is both appealing and persistent.^{5} Our arguments show that, on such a conception, irrespective of which mathematical axioms are accepted, one cannot reject nonconservative theories of truth on the grounds that they are not conservative. More precisely, conservative deflationists whose conception of mathematics is axiomatic cannot reject mathematical claims on the grounds that they don’t follow from the axioms of their theory. We take this to be evidence that the deflationist’s commitment to a conservative conception of truth is misguided.^{6}
The remainder of the paper is organised as follows. Section 1 sets up the scene. Section 2 presents Waxman’s disjunctive argument. Sections 3–5 articulate our responses to Waxman and Tennant. Section 6 concludes.
1 Technical preliminaries
Following Waxman, we define the following two notions of conservativeness of a theory \(S^+\) with language \({\mathcal {L}}_{S^+}\) over a theory S with language \({\mathcal {L}}_S\), where \({\mathcal {L}}_S \subseteq {\mathcal {L}}_{S^+}\):
Definition 1
(Syntactic conservativeness) \(S^+\) is a syntactic conservative extension of S if, for every \(\varphi \in {\mathcal {L}}_S\), if \(S^+ \vdash \varphi \), then \(S \vdash \varphi \).
Definition 2
(Semantic conservativeness) \(S^+\) is a semantic conservative extension of S if, for every \(\varphi \in {\mathcal {L}}_S\), if \( S^+\, \vDash\, \varphi \), then \(S \,\vDash\, \varphi \).
These two notions are coextensive if the consequence relation expressed by \(\vDash \) is complete; they may come apart otherwise (for instance, completeness fails for secondorder consequence).
We can distinguish between two versions of the compositional theory: \({\mathsf {PA}}_{\mathsf {Tr}}\), which is given by PA together with the compositional axioms for \({\mathsf {Tr}}\); and \({\mathsf {PA}}_{\mathsf {Tr}}^+\), which is given by adding to \({\mathsf {PA}}_{\mathsf {Tr}}\) all the instances of the Induction Schema that in which the truth predicate occurs.^{8} It is wellknown that that while \({\mathsf {PA}}_{\mathsf {Tr}}\) is syntactically conservative over PA, \({\mathsf {PA}}_{\mathsf {Tr}}^+\) isn’t. In particular, the socalled semantic argument, an argument establishing the consistency of PA, can be carried out in \({\mathsf {PA}}_{\mathsf {Tr}}^+\). The argument proceeds as follows. First, one observes in \({\mathsf {PA}}_{\mathsf {Tr}}^+\) that all of PA’s axioms are true and that all of PA’s inference rules preserve truth. Second, one infers, reasoning in \({\mathsf {PA}}_{\mathsf {Tr}}^+\), that all of PA’s theorems are true. Third, one notices that \({\mathsf {PA}}_{\mathsf {Tr}}^+\) proves \(\lnot {\mathsf {Tr}}(\ulcorner 0=1\urcorner )\), and hence that \(0=1\) is not a theorem of \({\mathsf {PA}}\), since \({\mathsf {PA}}_{\mathsf {Tr}}^+\) proves that every theorem of \({\mathsf {PA}}\) is true. But the sentence ‘\(0=1\) is not a theorem of \({\mathsf {PA}}\)’ is formalized in \({\mathcal {L}}_{\mathsf {PA}}\) as \({\mathsf {Con(PA)}}\), the canonical consistency statement for \({\mathsf {PA}}\). So, \({\mathsf {PA}}_{\mathsf {Tr}}^+\) proves the consistency of PA, which by Gödel’s Second Incompleteness Theorem is not provable in PA itself, if PA is consistent. Moreover, since \(G_{\mathsf {PA}}\) is provably equivalent to \({\mathsf {Con(PA)}}\) in PA, the semantic argument also establishes that \({\mathsf {PA}}_{\mathsf {Tr}}^+\) proves \(G_{\mathsf {PA}}\). Crucially, the semantic argument requires that the Induction Schema be extended to formulas containing \({\mathsf {Tr}}\), and therefore cannot be carried out in \({\mathsf {PA}}_{\mathsf {Tr}}\).
Waxman disagrees. In his view, deflationary truth can be both conservative and adequate.our ability to recognize the truth of Gödel sentences involves a theory of truth ...which significantly transcends the deflationary theories. (Ketland 1999, p. 88)
2 Waxman’s disjunctive argument
On the categorical conception, conservativeness is defined in semantic terms; on the axiomatic conception, conservativeness is defined in syntactic terms. Waxman contends that, irrespective of how arithmetic is understood, the conservativeness argument breaks down.[t]he first conception is broadly modeltheoretic in nature: for lack of a better term, let us call it the categorical conception of arithmetic. It holds that arithmetic is a subject about a particular mathematical structure—the natural numbers, \([{\mathbb {N}}]\), the elements of which are obtained by beginning with 0 and iterating the successor operation finitely many times. By contrast, the other conception is broadly prooftheoretic in nature: let us call it the axiomatic conception of arithmetic. It holds that our best understanding of arithmetic consists in (and is exhausted by) the prooftheoretic consequences of a particular set of axioms, namely, firstorder PA. (Waxman 2017, p. 447; emphases added)
Consider now the second case. If one’s conception of arithmetic isn’t categorical, it cannot be said to be constituted by a grasp of the standard model \( {\mathbb {N}} \). Waxman maintains that it must be exhausted by one’s acceptance of some fixed theory, such as PA. However, Waxman argues, if one’s conception of arithmetic is exhausted by PA, the deflationist can justifiably reject \({\mathsf {PA}}_{\mathsf {Tr}}^+\) in favour of \({\mathsf {PA}}_{\mathsf {Tr}}\), on the grounds that the former, unlike the latter, allows one to prove sentences such as \(G_{\mathsf {PA}}\) and Con(PA), and therefore exceeds one’s conception of arithmetic (Waxman 2017, p. 456).^{10} Waxman concludes that, irrespective of whether one’s conception of arithmetic is categorical or axiomatic, ‘[e]ither way, the deflationist is in the clear’ (p. 431). Before turning in Sects. 4–5 to the second horn of Waxman’s argument, a few words on the first horn are in order.
Shapiro (1998, p. 509) already observed that ‘[a]rithmetic truth is semantically conservative over arithmetic, in the sense that any model of secondorder arithmetic can be extended to a model of arithmeticplusarithmetictruth’ and that, for this reason, ‘secondorder logic may be the salvation for the deflationist’. However, Shapiro correctly points out that establishing the semantic conservativeness of a given theory of truth doesn’t help the deflationist establishing the ‘thinness’ of truth: all it shows is that truth isn’t ‘thicker’ than truthinasecond order structure.^{11} But, it might be insisted, such a notion is already ‘thick’. For instance, as Shapiro (1991) points out, ‘a considerable amount of mathematics can be expressed in (pure) secondorder languages and, moreover, secondorder logic is thoroughly intertwined with set theory’ (Shapiro 1991, p. 97).^{12} In what follows, we focus on the first horn of Waxman’s argument, and on syntactic ways of circumventing the conservativeness argument more generally.
3 The implicit commitment thesis
 (ICT)

Anyone who accepts the axioms of a mathematical theory S is thereby also committed to accepting various additional statements which are expressible in the language of S but which are formally independent of its axioms. (Dean 2015, p. 31)
However, it is well known that not all instances or \({\mathsf {RFN}}_{\mathsf {PA}}\) are provable in PA: since any theory that proves all instances of \({\mathsf {RFN}}_{\mathsf {PA}}\) also proves \({\mathsf {Con(PA)}}\), PA does not prove all instances of \({\mathsf {Prov}}_{\mathsf {PA}}(\ulcorner \varphi \urcorner ) \rightarrow \varphi \).when we are justified in believing a theory, we do not need extra justification for adopting a reflection principle for that theory. In such a situation, we are entitled to adopt a reflection principle without giving additional justification for accepting it. (Leigh and Horsten 2017, p. 211)
Intuitive though it may seem, the implicit commitment thesis is precluded to the axiomatic deflationist.presupposes the falsity of the axiomatic conception of arithmetic, for it requires the acceptance of truths in the language of arithmetic that do not follow (in the relevant sense) from its axioms. (Waxman 2017, p. 456, fn. 34)
4 Two problems
According to the axiomatic conception of arithmetic, ‘our best understanding of arithmetic consists in (and is exhausted by) the prooftheoretic consequences of a particular set of axioms, namely, firstorder PA’ (Waxman 2017, p. 447). A conservativeness requirement seemingly follows from such a conception: if one’s conception of arithmetic is exhausted by PA, one shouldn’t accept arithmetical sentences that are not derivable in PA. More precisely, the axiomatic deflationist should be agnostic about sentences such as \(G_{\mathsf {PA}}\), i.e. she should neither accept nor reject them. Nonconservative theories of truth are therefore to be rejected, on the grounds that they prove arithmetical sentences one doesn’t accept. In particular, if one’s understanding of arithmetic is exhausted by PA, one should accept \({\mathsf {PA}}_{\mathsf {Tr}}\) as opposed to \({\mathsf {PA}}_{\mathsf {Tr}}^+\), since \({\mathsf {PA}}_{\mathsf {Tr}}^+\) allows one to prove \(G_{\mathsf {PA}}\) and \(G_{\mathsf {PA}}\) is not provable in PA.
Knowledge of sentences like \(G_ {\mathsf {PA}}\) is ‘intuitively obvious’. Yet, it seems necessarily precluded to the axiomatic deflationist, who must thereby place herself outside the community of mathematical practitioners.We see that the [Gödel] sentence \(G_ {\mathsf {PA}}\) is intuitively obvious and does not represent any difficult mathematical problem the solution of which would surpass our mathematical knowledge. (Mostowski 1952, p. 107, cited in Dean (2015))
The second problem is that, even though the axiomatic deflationist demurs from accepting \(G_ {\mathsf {PA}}\), her argument against nonconservative theories assumes \(G_ {\mathsf {PA}}\). More precisely, the justification Waxman attributes to the axiomatic deflationist for demurring from accepting sentences like \(G_{\mathsf {PA}}\), and nonconservative theories of truth more generally, is selfundermining. Let us explain.
However, Waxman’s reason for not ‘requiring the derivation of [\(G_{\mathsf {PA}}\)]’ is that \(G_{\mathsf {PA}}\) ‘is not derivable from the axioms [of PA]’ (Waxman 2017, p. 431). Yet this very sentence, i.e. ‘\(G_{\mathsf {PA}}\) is not provable in \({\mathsf {PA}}\)’, is provably equivalent to \(G_{\mathsf {PA}}\) in PA. More specifically, ‘\(G_{\mathsf {PA}}\) is not provable in \({\mathsf {PA}}\)’ is expressed in \({\mathsf {PA}}\) itself as \(\lnot {\mathsf { Prov}}_{\mathsf {PA}}(\ulcorner G_{\mathsf {PA}}\urcorner )\), which in PA is provably equivalent to \(G_{\mathsf {PA}}\). Thus, the claim that \(G_{\mathsf {PA}}\) isn’t derivable in PA requires accepting \(G_{\mathsf {PA}}\) itself, and hence cannot be accepted by someone whose conception of arithmetic is exhausted by \({\mathsf {PA}}\). In conclusion, the axiomatic deflationist’s justification for not accepting theories that prove sentences she cannot accept requires accepting these very sentences.[the] deflationist has a principled reason to accept \({\mathsf {PA}}_{\mathsf {Tr}}\) [...] and in particular to demur from accepting \({\mathsf {PA}}_{\mathsf {Tr}}^+\). The reason for resisting the move to \({\mathsf {PA}}_{\mathsf {Tr}}^+\) more or less falls out of the axiomatic characterization of arithmetic: extending induction to cover sentences containing [Tr] allows the derivation of \([G_{\mathsf {PA}}]\)—a sentence that is (on this view) not licensed by the background understanding of arithmetic, since it is not derivable from the axioms. (Waxman 2017, p. 456; emphases added)
5 Three unsuccessful strategies
How can the axiomatic deflationist respond to the above problems? We see at least three avenues of reply, which we explore in turn.
5.1 Silence
In response to the objection from the selfundermining nature of her demurral from accepting nonconservative theories of truth, the axiomatic deflationist might just bite the bullet, and simply refrain from offering a principled reason for not accepting sentences like \(G_{\mathsf {PA}}\). That is, she might insist that accepting a theory S while simply demurring from accepting its Gödel sentence \(G_{S}\) (as well as theories that are nonconservative over S) results in a perfectly stable position—if not one she is able to explicitly justify.
This seems deeply unsatisfactory, though, for at least two reasons. First, when presented with \({\mathsf {PA}}_{\mathsf {Tr}}\) and \({\mathsf {PA}}_{\mathsf {Tr}}^+\) as candidate theories of truth for PA, the axiomatic deflationist who adopts this line of reply is forced to choose blindly: in order to motivate her choice, she cannot offer grounds that are in line with her conservative conception of truth. To be sure, such a deflationist will prefer \({\mathsf {PA}}_{\mathsf {Tr}}\) over \({\mathsf {PA}}_{\mathsf {Tr}}^+\). However, she will do so for reasons that are in principle not accessible to her, as required by her ‘strategy of silence’. Second, this response does not address the first problem mentioned above, that sentences like \(G_{\mathsf {PA}}\) are simply common mathematical knowledge.
5.2 Iasaacson’s thesis and Tennant’s strategy
In response to the two problems mentioned in Sect. 4, the axiomatic deflationist might retort that she does have a reason to demur from accepting nonconservative theories of truth while at the same time accepting \(G_{\mathsf {PA}}\). It is just that such a reason is not part of her conception of arithmetic. More precisely, the axiomatic deflationist might follow Daniel Isaacson (1987, 1992) and distinguish between two kinds of \({\mathcal {L}}_{\mathsf {PA}}\)sentences. On one hand, there are sentences that are ‘directly perceivable as true from our grasp of the fundamental nature and structure of the natural numbers’ (Isaacson 1992, p. 95), which extensionally coincide with the set of PA’s theorems. On the other hand, there are sentences of \({\mathcal {L}}_{\mathsf {PA}}\) that are unprovable in PA, such as \(G_{\mathsf {PA}}\), that are ‘shown to be true by an argument in terms of truths concerning some higherorder notion’ (Isaacson 1987, p. 220). The axiomatic deflationist might then endorse Isaacson’s Thesis, viz. the idea that the set of arithmetical truths is to be identified with the set of theorems of PA, and that the proofs of true \({\mathcal {L}}_{\mathsf {PA}}\)sentences that are unprovable in PA require ‘ideas that go beyond those that are required in understanding PA’ (Smith 2008, p. 1). Armed with such a thesis, she might insist that any proof of the nonconservativeness of \({\mathsf {PA}}_{\mathsf {Tr}}^+\) over PA should be seen as extraarithmetical, so that the assertion of sentences of \({\mathcal {L}}_{\mathsf {PA}}\) that are unprovable in PA need not exceed her conception of arithmetic.
Unfortunately, though, neither Isaacson’s Thesis nor Tennant’s Strategy help the axiomatic deflationist addressing the problems mentioned in Sect. 4. For if the axiomatic deflationist ought to accept \(G_{\mathsf {PA}}\) on the grounds that it is a standard piece of mathematical knowledge, she ought to arguably also accept other standard pieces of mathematical knowledge. However, this leads her to accept mathematical theories that reintroduce a nonconservative notion of arithmetical truth. More specifically, the axiomatic deflationist who wishes to retain common mathematical knowledge arguably ought to accept ACA, a subsystem of secondorder arithmetic that can be seen as a formalisation of a fragment of analysis.^{15} But here lies the problem. ACA and \({\mathsf {PA}}_{\mathsf {Tr}}^+\) are intertranslatable, in a sense made precise by the following result:
Theorem 3
(Halbach 2014, Theorem 8.42, pp. 108–115) The systems \({\mathsf {PA}}_{\mathsf {Tr}}^+\) and ACA are prooftheoretically equivalent. More precisely, \({\mathsf {PA}}_{\mathsf {Tr}}^+\)’s truth predicate can be defined in ACA and there is a relative interpretation of ACA in \({\mathsf {PA}}_{\mathsf {Tr}}^+\) that does not reinterpret arithmetical expressions.
For our purposes, the crucial part of the theorem is the definability of \({\mathsf {PA}}_{\mathsf {Tr}}^+\)’s truth predicate in ACA. This shows that, if one accepts ACA, then one ipso facto also accepts the truth predicate of \({\mathsf {PA}}_{\mathsf {Tr}}^+\), since that truth predicate is implicitly contained, and can be explicitly defined, in ACA. However, recall, \({\mathsf {PA}}_{\mathsf {Tr}}^+\)’s truth predicate is arithmetically nonconservative, and hence unacceptable by (conservative) deflationist lights. Thus, the conservative deflationist who wishes to retain common mathematical knowledge must reject not only \({\mathsf {PA}}_{\mathsf {Tr}}^+\), but also, implausibly, ACA together with the standard fragment of mathematics it encodes.
In conclusion, the axiomatic deflationist might appeal to Isaacson’s Thesis to retain knowledge of sentences such as \({G}_{\mathsf {PA}}\) while at the same time rejecting nonconservative notions of truth. Furthermore, she might invoke Tennant’s Strategy to show how, more precisely, such sentences might be established, without making use of a nonconservative truth predicate. However, this is not enough: since an arithmetically nonconservative truth predicate is definable within ACA, the conservative deflationist must either adopt a nonconservative conception of arithmetical truth, or give up standard pieces of mathematical knowledge such as the fragment of analysis encoded by ACA.
5.3 Conservative deflationism beyond PA?
The deflationist might object at this point that she is out to defend syntactically conservative mathematical truth—not just conservative arithmetical truth. That is, she might consider a strong mathematical theory representing all or most of our mathematical knowledge, call it M, and demand that truth be conservative over it. To be sure, sentences such as Con(M), a sentence expressing M’s consistency, or \(G_M\), a Gödel sentence for the theory M, would still fall out of the deflationist’s conception of mathematics. However, the deflationist might reasonably argue that this need not be a problem. In the case of M, agnosticism about M’s consistency statement and its Gödel sentence seems justified, on the grounds that Con(M) and \(G_M\) (and more generally sentences independent from M), are not common mathematical knowledge.
Even if one thinks that the consistency of ZF is quite safe, the spirit of Boolos’s remark still stands: if M is sufficiently powerful and complex, it is at least doubtful that we can be in a position to know M’s consistency.I suggest that we do not know that we are not in the same situation visàvis ZF that Frege was in with respect to naive set theory [...] before receiving [...] the famous letter from Russell, showing the derivability in his system of Russell’s paradox. It is, I believe, a mistake to think that we can see that mathematics as a whole is consistent, a mistake possibly fostered by our ability to see the consistency of certain of its parts. (Boolos 1990, p. 390)
Nevertheless, considering strong mathematical theories does not help the axiomatic deflationist with the problem at hand: she still cannot coherently justify her demurral from accepting nonconservative theories of truth over M. For suppose the deflationist’s conception of mathematics is exhausted by her acceptance of M. Suppose moreover she is given the choice between two theories of truth over M: a conservative one, call it \(M_{\mathsf {Tr}}\), and a nonconservative one, call it \(M_{\mathsf {Tr}}^+\). How can she justify her choice of \(M_{\mathsf {Tr}}\) over \(M_{\mathsf {Tr}}^+\)? As before, such a deflationist cannot simply reject \(M_{\mathsf {Tr}}^+\) on the grounds that it proves \(G_M\), on pain of presupposing \(G_M\) itself.
Could the problem be solved by appealing, once again, to an analogue of Isaacson’s Thesis for M? More precisely, could an analogue of Isaacson’s Thesis be invoked to claim that \(G_M\) is nonmathematical? Perhaps, but we see two difficulties with this suggestion. For one thing, it is unclear whether an analogue of Isaacson’s Thesis for M is available. Leon Horsten (2001, p. 173) defends an analogue of the thesis for ZFC, to the effect that ‘the collection of mathematical truths is identical with the set of theorems of ZFC’. However, as far as we can see, Horsten’s thesis has been effectively criticised by Luca Incurvati (2008). For another, it is unclear what kind of nonmathematical knowledge sentences such as Con(M) and \(G_M\) could possibly represent. In the case of arithmetic it is at least plausible to claim that certain sentences of \({\mathcal {L}}_{\mathsf {PA}}\) are extraarithmetical and yet still mathematical, on the grounds that they are not about natural numbers, but about metatheoretic notions such as provability. By contrast, in the case of M it is unclear what kind of subject matter sentences such as Con(M) and \(G_M\) could possibly have.
Theories based on arithmetic differ from theories of truth based on set theory in an important respect: unlike arithmetic, ‘set theory intrinsically contains a theory of syntax and is ‘rich’ enough to implement substantial metamathematics on the basis of it’ (p. 17). As a result, typed theories of compositional truth with unrestricted induction over set theory, i.e. settheoretical analogues of \({\mathsf {PA}}_{\mathsf {Tr}}^+\), are conservative over their base theories (Fujimoto 2017, Theorems 1 and 2, pp. 18–19). Axiomatic deflationists might appeal to results such as these in order to claim that deflationary theories of truth can be both conservative and adequate, in spite of the conservativeness argument.the appropriate formal setting for evaluating the adequacy or inadequacy of the conservativeness argument is provided not by theories of truth over arithmetic but by those over much ‘richer’ subject matters such as set theory. (Fujimoto 2017, p. 4)
However, the objection fails to convince, for at least two reasons. First, not all theories of truth over strong base theories are conservative. Fujimoto (2017, Theorem 3, p. 20) himself provides an example of a nonconservative theory of truth over a strong base theory. Second, the adoption of a conservative theory of truth still won’t help the axiomatic deflationist offering a nonselfundermining reason to demur from accepting nonconservative theories in favour of conservative ones: this would require, again, accepting sentences not provable in the base theories in question.
In summary, the axiomatic deflationist is free to identify her conception of mathematics with the adoption of a strong mathematical theory, thereby retaining standard pieces of mathematical knowledge such as \(G_{\mathsf {PA}}\), fragments of analysis, and beyond. However, our second objection still applies. As before, the axiomatic deflationist is not in a position to justify her demurral from accepting sentences such as Con(M) and \(G_M\) (and hence nonconservative theories of truth) because they exceed their conception of mathematics.
6 Concluding remarks
Both Waxman and Tennant point to the existence of syntactic ways out of the conservativeness argument. In Waxman’s view, the axiomatic deflationist can coherently reject nonconservative theories of truth on the grounds that they exceed her conception of arithmetic. As for Tennant, he suggests that standard pieces of mathematical knowledge such as \(G_{\mathsf {PA}}\) and \({\mathsf {Con}}({\mathsf {PA}})\) can be recaptured via prooftheoretic means, without resorting to truththeoretic resources. However, we have argued that the axiomatic deflationist faces at least two difficulties. First, even if she can come to know \(G_{\mathsf {PA}}\) and \({\mathsf {Con}}({\mathsf {PA}})\), she still seems unable to recover other standard pieces of mathematical knowledge, such as the fragment of analysis encoded by ACA, on pain of being committed to a nonconservative conception of arithmetical truth. Second, the deflationist does not seem to be in a position to explain why sentences such as \(G_{\mathsf {PA}}\) and \({\mathsf {Con}}({\mathsf {PA}})\), and nonconservative theories of truth more generally, are not to be accepted. Even if the former problem can be addressed by restricting one’s attention to strong base theories, and requiring one’s theory of truth to be conservative over them, the second problem is not easily solved. As soon as the axiomatic deflationist explicitly articulates her reason for demurring from accepting sentences that are not provable in the theory the acceptance of which she takes to constitute her conception of mathematics, she thereby accepts sentences that exceed such a conception.
Footnotes
 1.
See also Picollo and Schindler (2017, Sect. 6).
 2.
 3.
 4.
In Waxman’s reconstruction, the categorical deflationist resorts to secondorder arithmetic. Going beyond arithmetic, we also notice that a notion of consequence that exceeds firstorder logical consequence is required for the quasicategoricity or categoricity of stronger mathematical theories such as (secondorder versions of) ZFC or ZFC with Urelemente. We thank an anonymous referee for drawing our attention on this point.
 5.
The view can be traced back to Hilbert [see e.g. Hilbert (1959) and the letters to Frege of December 29, 1899 and September 22, 1900 (Hilbert 1935)] and still counts a number of supporters [see e.g. Curry (1951), Robinson (1969), Detlefsen (1986), Tennant (1997), Gabbay (2010) and Weir (2010)]. As we will see in Sect. 5.2, the position articulated in Isaacson (1987) can also be added to the list: if correct, his arguments can be seen as establishing that all of the true arithmetical sentences that are properly about natural numbers are derivable in Peano Arithmetic, in spite of the incompleteness theorems.
 6.
 7.More precisely, the Tarskian compositional axioms for conjunction, conditional, and universal quantifier are as follows:\({\mathsf {Sent}}_{\mathcal {L}_{\mathsf {PA}}}\) is an arithmetically definable predicate that represents the sentences of \({\mathcal {L}}_{\mathsf {PA}}\) in \({\mathcal {L}}_{\mathsf {PA}}\), while dotted logical operators (e.g. \({\mathop {\wedge }\limits _{\cdot }}\)) indicate their representation in \({\mathcal {L}}_{\mathsf {PA}}\).$$\begin{aligned} (\wedge )\quad&\forall x \forall y ({\mathsf { Sent}}_{\mathcal {L}_{\mathsf {PA}}}(x {\mathop {\wedge }\limits _{\cdot }} y) \rightarrow ({\mathsf { Tr}}(x {\mathop {\wedge }\limits _{\cdot }} y) \leftrightarrow {\mathsf {Tr}}(x) \wedge {\mathsf {Tr}}(y)))\\ (\rightarrow )\quad&\forall x \forall y ( {\mathsf {Sent}}_{\mathcal {L}_{\mathsf {PA}}}(x {\mathop {\rightarrow }\limits _{\cdot }} y) \rightarrow ({\mathsf {Tr}}(x {\mathop {\rightarrow }\limits _{\cdot }} y) \leftrightarrow {\mathsf {Tr}}(x) \rightarrow {\mathsf {Tr}}(y)))\\ (\forall )\quad &\forall x \forall y ({\mathsf {Sent}}_{\mathcal {L}_{\mathsf {PA}}}({\mathop {\forall }\limits _{\cdot }}xy) ({\mathsf {Tr}}({\mathop {\forall }\limits _{\cdot }}xy) \leftrightarrow \forall t{\mathsf {Tr}}(x[t/y]))) \end{aligned}$$
 8.
For a detailed analysis of \({\mathsf {PA}}_{\mathsf {Tr}}\) and \({\mathsf {PA}}_{\mathsf {Tr}}^+\), see Halbach (2014, Ch. 8)
 9.
As Waxman acknowledges, this fact had long been pointed out by Shapiro (1998, p. 509 and ff.). To be sure, suitable choices of \({\mathsf {PA}}_{\mathsf {2Tr}}\) may yield a nonconservative extension of \({\mathsf {PA}}_{\mathsf {2}}\) in the syntactic sense. However, the semantic deflationist can reasonably maintain that this should be no cause of concern, since one’s notion of consequence is then given by the full (much more powerful) secondorder consequence relation (see Waxman 2017, p. 457).
 10.
As Waxman points out, Azzouni (1999) already argues in favour of \({\mathsf {PA}}_{\mathsf {Tr}}\) on precisely these grounds.
 11.
We thank [redacted] for a very helpful discussion on this point.
 12.
In a similar vein, Cezary Cieśliński has recently argued that ‘describ[ing] arithmetical truth—truth simpliciter—as truth is some chosen (intended) model of arithmetic, while treating the last notion as indispensable and primary’ is incompatible with the deflationary doctrine that ‘truth simpliciter is fully characterised by nothing other than [\(\ldots \)] basic truth axioms’ (Cieśliński 2015, p. 73).
 13.
Versions of the thesis have been famously proposed and explored by Solomon Feferman in a number of articles [see e.g. Feferman (1962), Feferman (1991); see also Franzen (2004)]. It is sometimes objected that ICT is incompatible with certain foundational positions in the philosophy of mathematics. For a recent discussion, see e.g. Dean (2015, p. 32) and Nicolai and Piazza (2017).
 14.
 15.
Notes
Acknowledgements
Open access funding provided by Austrian Science Fund (FWF). We are grateful to the FWF (Grant No. P29716G24) for generous Financial support during the time this paper was written, to Dan Waxman for very helpful exchanges on some of the topics discussed herein, and to Cezary Cieśliński, Henri Galinon, Leon Horsten, Lavinia Picollo, Stewart Shapiro, and an anonymous referee for invaluable feedback on early drafts of this paper.
References
 Azzouni, J. (1999). Comments on Shapiro. Journal of Philosophy, XCVI(10), 541–544.CrossRefGoogle Scholar
 Boolos, G. (1990). On “seeing” the truth of the Gödel sentence. Behavioral and Brain Sciences, 13, 655–656. (Reprint in Boolos, 1998, pp. 389–391).CrossRefGoogle Scholar
 Boolos, G. (1998). Logic, Logic, and Logic. Cambridge: Harvard University Press. (Mass.).Google Scholar
 Cieśliński, C. (2010). Truth, conservativeness, and provability. Mind, 119(474), 409–422.CrossRefGoogle Scholar
 Cieśliński, C. (2015). The innocence of truth. Dialectica, 69(1), 61–85.CrossRefGoogle Scholar
 Curry, H. (1951). Outlines of formalist philosophy of mathematics. Amsterdam: North Holland.Google Scholar
 Dean, W. (2015). Arithmetical reflection and the provability of soundness. Philosophia Mathematica, 23(1), 31–64.CrossRefGoogle Scholar
 Detlefsen, M. (1986). Hilbert’s program. Dordrecht: Reidel.CrossRefGoogle Scholar
 Feferman, S. (1962). Transfinite recursive progressions of axiomatic theories. Journal of Symbolic Logic, 27, 259–316.CrossRefGoogle Scholar
 Feferman, S. (1991). Reflecting on incompleteness. The Journal of Symbolic Logic, 56(1), 1–49.CrossRefGoogle Scholar
 Field, H. (1999). Deflating the conservativeness argument. Journal of Philosophy, XCVI(10), 533–540.CrossRefGoogle Scholar
 Franzen, T. (2004). Inexhaustibility: A nonexhaustive treatment. New York: Taylor & Francis.CrossRefGoogle Scholar
 Friedman, H., & Simpson, S. G. (2000). Issues and problems in reverse mathematics. In M. L. Peter, A. Cholak, & S. Lempp (Eds.), Computability theory and its applications (pp. 127–144). Providence, RI: American Mathematical Society.CrossRefGoogle Scholar
 Fujimoto, K. (2017). Deflationism beyond arithmetic. Forthcoming in Synthese.Google Scholar
 Gabbay, M. (2010). A formalist philosophy of mathematics, part I: Arithmetic. Studia Logica, 96, 162–213.CrossRefGoogle Scholar
 Galinon, H. (2015). Deflationary truth: conservativity or logicality? Philosophical Quarterly, 65(259), 268–274.CrossRefGoogle Scholar
 Halbach, V. (2001). How innocent is deflationism? Synthese, 126(1/2), 167–194.CrossRefGoogle Scholar
 Halbach, V. (2014). Axiomatic theories of truth (2nd ed.). Cambridge: Cambrdige University Press.CrossRefGoogle Scholar
 Hilbert, D. (1935). Gesammelte abhandlungen, dritter band. Berlin: Julius Springer.Google Scholar
 Hilbert, D. (1959a). 1899, Grundlagen der Geometrie. Leipzig: Teubner. (English translation in Hilbert, 1959b).Google Scholar
 Hilbert, D. (1959b). Foundations of geometry. La Salle, IL: Open Court.Google Scholar
 Horsten, L. (2001). Platonistic formalism. Erkenntnis, 54(2), 173–194.CrossRefGoogle Scholar
 Horsten, L. (2009). Levity. Mind, 118(471), 555–581.CrossRefGoogle Scholar
 Horsten, L. (2012). The Tarskian turn. Deflationism and axiomatic truth. Cambridge: MIT Press. (Mass.).Google Scholar
 Incurvati, L. (2008). Too naturalist and not naturalist enough: Reply to Horsten. Erkenntnis, 69(2), 261–274.CrossRefGoogle Scholar
 Incurvati, L. (2009). Does truth equal provability in the maximal theory? Analysis, 69(2), 233–239.CrossRefGoogle Scholar
 Isaacson, D. (1987). Arithmetical truth and hidden higherorder concepts. In The Paris Logic Group (Ed.), Logic colloquium ‘85 (pp. 147–169). Amsterdam: North Holland.CrossRefGoogle Scholar
 Isaacson, D. (1992). Some considerations on arithmetical truth and the \(\omega \)rule. In M. Detlefsen (Ed.), Proof, logic and formalization (pp. 94–138). London: Routledge.Google Scholar
 Kaye, R. (1991). Models of Peano Arithmetic. Oxford: Clarendon Press.Google Scholar
 Ketland, J. (1999). Deflationism and Tarski’s paradise. Mind, 108(429), 69–94.CrossRefGoogle Scholar
 Ketland, J. (2005). Deflationism and the Gödel phenomena: Reply to Tennant. Mind, 114(453), 75–88.CrossRefGoogle Scholar
 Ketland, J. (2010). Truth, conservativeness, and provability: Reply to Cieśliński. Mind, 119(474), 423–436.CrossRefGoogle Scholar
 Leigh, G., & Horsten, L. (2017). Truth is simple. Mind, 126(501), 195–232.Google Scholar
 McGee, V. (2016). Thought, thoughts, and deflationism. Philosophical Studies, 173(12), 3153–3168.CrossRefGoogle Scholar
 Mostowski, A. (1952). Sentences undecidable in formalized arithmetic: An exposition of the theory of Kurt Gödel. Amsterdam: North Holland.Google Scholar
 Nicolai, C. & Piazza, M. (2017). On implicit commitment for arithmetical theories and the semantic core. Forthcoming in Erkenntnis.Google Scholar
 Picollo, L. & Schindler, T. (2017). Disquotation and infinite conjunctions. Forthcoming in Erkenntnis.Google Scholar
 Robinson, A. (1969). From a formalist’s point of view. Dialectica, 23, 45–49.CrossRefGoogle Scholar
 Shapiro, S. (1991). Foundations without foundationalism: A case for secondorder logic. Oxford: Oxford University Press.Google Scholar
 Shapiro, S. (1998). Proof and truth: Through thick and thin. Journal of Philosophy, XCV(10), 493–521.Google Scholar
 Smith, P. (2008). Ancestral arithmetic and Isaacson’s Thesis. Analysis, 68(1), 1–10.CrossRefGoogle Scholar
 Smorinski, C. (1977). The incompleteness theorems. In J. Barwise (Ed.), Handbook of mathematical logic (pp. 821–866). Amsterdam: NorthHolland.CrossRefGoogle Scholar
 Tarski, A. (1956). Logic, semantics, metamathematics. Oxford: Oxford University Press.Google Scholar
 Tennant, N. (1997). The taming of the true. Oxford: Oxford University Press.Google Scholar
 Tennant, N. (2002). Deflationism and the Gödel phenomena. Mind, 111(443), 551–582.CrossRefGoogle Scholar
 Tennant, N. (2005). Deflationism and the Gödel phenomena: Reply to Ketland. Mind, 114(453), 89–96.CrossRefGoogle Scholar
 Waxman, D. (2017). Deflationism, arithmetic, and the argument from conservativeness. Mind, 126(502), 429–463.Google Scholar
 Weir, A. (2010). Truth through proof: A formalist foundation for mathematics. Oxford: Oxford University Press.CrossRefGoogle Scholar
Copyright information
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.