Fundamental truthmakers and non-fundamental truths

Recently, philosophers have tried to develop a version of truthmaker theory which ties the truthmaking relation (T-REL) closely to the notion of fundamentality. In fact, some of these truthmaker-fundamentalists (TF-ists), as I call them, assume that the notion of fundamentality is intelligible in part by citing, as central examples of fundamentals, truthmakers, which they understand necessarily as constituents of fundamental reality. The aim of this paper is first to bring some order and clarity to this discussion, sketching how far TF is compatible with orthodox truthmaking, and then critically to evaluate the limits of TF. It will be argued that truthmaker theory cannot directly help with articulating the nature of fundamental reality and that T-REL does not necessarily relate truths with anything more fundamental, unless what is fundamental is what the truthbearers in question are about. I shall argue that TF faces a rather thorny dilemma and some general problems. I shall present two exhaustive types of fundamentalism on which a version of TF can be based: deflationary and inflationary. It will be argued that each version of TF runs into significant troubles accounting for all truth, specifically ordinary truths and metaphysical truths about the relations between ordinary facts and fundamental facts. I shall not attempt to solve these problems, but rather, at the end, diagnose the issues with TF as lying in the difficulties with reconciling the manifest image with the scientific and metaphysical images of reality.


Introduction
The recent upsurge of work in analytical metaphysics comes on the back of calls to put metaphysics first and demands for ontological seriousness. 1 At its heart, ontological seriousness is a virtue of theories and practices manifested by the refusal to read ontology off of language. 2 Prime examples include those approaches which refuse to draw conclusions about the world from the structure of sentences and propositions (e.g. that the world contains sentence-structured entities corresponding to the sentences we use to talk about them). 3 Two questions have taken centre-stage: (q1) what makes truth?; and (q2) what is fundamental?
The first aims to bring ontological seriousness to all our talk, including our everyday talk, by moving us beyond language and asking what are the aspects of reality to which truths are beholden. The second aims to make our metaphysical investigations serious by moving us to inquire about what reality is like at the deepest, most fundamental level. A natural answer which has been proposed recently aims to answer these questions together: what makes truth is what is fundamental. I call this view truthmaker-fundamentalism (tf, for short). Its central claim is: TF-TRUTH: truths must be grounded in, that is, made true by, truthmakers understood necessarily as fundamental entities. 4 1 See especially Heil and Martin (1999: passim) who criticise "Linguisticism", which encapsulates those philosophical approaches which replace talk of worldly matters with linguistic or formal matters, e.g. replacing talk of states of minds with mental attributions, of properties with predicates, of causation with theories, and of objects or states of affairs with statements, properties, or sentences (ibid, p. 36; the rest of the paper has many more concrete examples). They argue that this lack of ontological seriousness and focus on formal matters "can have a corrupting effect on our thinking […and] too often divert[s] attention from ontologically deeper matters […and] the hard questions" (ibid., pp. 34-35). See also Unger's (2014: passim) trenchant criticisms of what he takes to be concretely empty rather than concretely substantial ideas. He includes among those who express empty ideas ordinary language philosophers and most of mainstream analytical philosophy, including his main targets, Putnam, Davidson, and Kripke, and also his own early work (e.g. Unger (1979)). Unger (2014, p. 7) takes his early work to be empty because the arguments turn on the semantic unsatisfiability of terms such as 'chair'-this argumentation, according to him, is verbal and not sufficiently metaphysical. I shall argue later (Sect. 5.2) that there is a sense in which this early nihilistic work can be taken to be ontologically serious. See Lewis (1986) and Unger (2006) for examples of concretely substantial philosophy. See also Cameron (2010b, pp. 8-11) for more examples and further discussion. 2 This is the way that Cameron (2010b, p. 8) articulates it. It may strike some readers as a rather vague explication of this notion. However, it is particularly important that I stick with this general formulation because this is exactly how the view I shall criticise understands one of its main motivations: its ontological seriousness. See Sects. 5.1 and 5.2 for further discussion. 3 See Dyke's (2007: passim) discussion of the "representational fallacy" and Schipper (forthcoming: passim). 4 Following Russell, who demands that any theory of truth must "admit of its opposite, falsehood" and "find a place for falsehood" (1912, p. 120), a tf-ist must account for falsehood. Thus, TF-FALSEHOOD: falsehoods are not grounded in what is fundamental.
To keep the discussions focused on the aims of the paper, I shall assume that any exceptions to the claim that all truths require truthmakers (called "maximalism") must be well-founded.
tf is thus intended to be a contribution to truthmaker theory, by answering (q1) with "fundamental reality makes truth". It is intended to be a contribution, too, to metaphysics by allowing us to answer (q2) with "truthmakers are fundamental". 5 Thus if we find the truthmakers for truths, then we discover what is fundamental.
The main rationale for tf-truth is twofold: (1) the way it allows philosophy to be ontologically serious, and (2) its parsimony. Rettler (2016Rettler ( , p. 1424my emphasis) recently succinctly captures both of these motivations when he writes: about (1), tf-truth "allows us to rely less on language to determine what we ought to be ontologically committed to"; and about (2), "it allows us to say that English sentences that nearly everyone accepts are true, but without the ontological baggage that the Quinean view requires". Both of these points will be presented in more detail in Sect. 5.1 and critically discussed in Sect. 5.2. 6 There are several ways to understand tf, according to how one thinks of fundamental reality. Before we explore these in Sect. 3, I shall, in Sect. 2, present some preliminary platitudes that any account of truthmaking must accept. Although the main aim of the paper is clarificatory, I shall argue that answering (q1) and (q2) with ontological seriousness 7 leads us not to use heavy-weight, fundamentalist and grounding machinery to answer (q1) for all truths. In fact, using such machinery to explain many truths, including truths about ordinary, non-fundamental reality and truths about metaphysical relations (including grounding relations themselves), does the opposite of what it sets out to do: instead of ontological seriousness, it brings ontological disengagement and arbitrariness, making truth lose sight of what exactly we are talking about. In short, I shall assume that (q1) and (q2) are important questions to answer for metaphysics and philosophy generally and argue that the best way to answer each is to answer them separately.

Preliminaries: truthmaking
First, some preliminaries about truthmaker theory. Here are several basic assumptions, which I shall assume any version of truthmaker theory must accept.
Truthmaker-dependence (TD): the truthmaking relation (t-rel) is a species of dependence; generally, truths asymmetrically depend for their truth on truthmakers. Truthbearer-requirement (TB): t-rel is a relation which, given normal linguistic practices, only rarely has truthbearers on both sides of the relation. Aboutness-requirement (AC): truths are made true by the parts (or aspects) of reality which they are about. 5 Barnes goes even further when she writes, "fundamentality can be cashed out in terms of truthmakers" (2012, p. 876). 6 These are the main reasons for tf-truth generally, although they are presented also as arguments for the specific versions of tf, which I shall introduce later. See Rettler (2016 for his presentations of these arguments. He also provides a third rationale: that it allows us to make sense of cases like Sider's (2013, p. 8) Nihilo case. There is not enough space to discuss this rationale. 7 It will be an assumption running throughout this paper that ontological seriousness is one of the highest virtues. Hence, in a dispute about methodology, ceteris paribus, the more ontologically serious method wins.
td is the central motivating claim at the heart of truthmaker theory. There are, of course, many other kinds of dependence relations which are not asymmetric, such as relations of interdependence or mutual dependence or co-dependence. So, it is important to make it clear that t-rel is a generally asymmetric sort of dependence. That is, true truthbearers depend for their truth on the being 8 of their truthmakers, but truthmakers do not depend for their being on the truth of the truthbearers which they make true. tb expresses the thought that generally, the dependence is a two-place relation with linguistic entities on one side and the parts of reality which make these entities true on the other side. Truthbearers are sometimes on both sides of the relation, e.g.

T1:
There are many truthbearers in Russell's The Problems of Philosophy.
Presumably, the truthbearers in Russell's book are the truthmakers for t1. This is clearly correct, for t1 is about these other truthbearers. Thus, it is easy to see that ac is also a central part of truthmaking. Lewis writes, "roughly speaking, truths must have things as their subject matter" (1999, p. 206; my emphasis on 'subject matter'), and "[a]ny proposition has a subject matter, on which its truth value supervenes" (2003, p. 25). Van Fraassen also puts this in terms of 'signification': "A sentence A is true if and only if every fact that A describes as being the case (or signifies) is the case" (1969, p. 481). Besides its striking intuitiveness, the main philosophical motivation for making ac explicit and thereby fixing what Smith calls truthmaking's "relevance constraint" (1999, p. 279) has been to avoid paradoxical consequences such as contingent facts making true necessary truths even though they have no relevance to each other. Consider, for instance, t2 is true in all worlds where it exists and where Theresa May's favourite pink shoes exist. Thus, according to necessitation, Necessitation (NEC): truthbearer p is made true by truthmaker x iff in all possible worlds where p exists and x exists, p is true, 9 her pink shoes are a truthmaker for this necessary truth. With ac, we clearly rule out such trivial truthmakers, for '2 + 2 = 4' is not about May's pink shoes. Adding ac solves the problem of trivial truthmakers (Restall 1996, p. 333;Lewis 2001, p. 604) and others, such as that of malignant necessitators (Smith 1999, p. 278). Thus whatever account of dependence is given, it must solve these problems with some relevance or aboutness constraint. 10 A variety of different kinds of dependence relations are distinguished not along symmetry lines. For example, causal dependence, essential dependence, and constitutive dependence are distinguished along other lines. t-rel is also a dependence relation which must be distinguished from others not just along symmetry lines. Given tb, the dependence involved in truthmaking is not a logical dependence such as entailment, since such relations are between truthbearers, not between truthbearers and non-truthbearers. It is also generally agreed that the sort of dependence is not a causal one. 11 A popular way of understanding td is that t-rel is a species of grounding. Armstrong, for instance, repeatedly speaks of a truthmaker being an entity which acts as a truth's "ontological ground". 12 He writes, "The truthmaker is whatever it is in the world that makes a truth true. Gustav Bergmann and his followers have used the phrase 'ontological ground' and have had the same thing in mind. The idea is an old one" (1997: 13). Rodriguez-Pereyra (2005: 25ff) argues that the asymmetry of t-rel is best explained by understanding that true truthbearers require ontological grounds. 13 One way of understanding these kinds of statements and the approach they encapsulate is that the enterprise of truthmaker theory is of discovering ontological grounds for truths. Enter tf.

Truthmaker fundamentalism
The basic idea behind tf is to use some "heavy-weight metaphysical" (Schaffer 2010, p. 309) 14 machinery to understand t-rel, specifically in terms of grounding and to understand the makers of truth as necessarily part of fundamental reality. What is common to all versions of tf is that only parts of fundamental reality can be truthmakers and can ground truth. But both 'grounding' and 'fundamental reality' can be understood in different ways. And, these ways can be described independently of any commitments to truth or truthmaking. I shall distinguish two main types of fundamentalism before discussing their consequences for truth: deflationary and inflationary fundamentalism. 15 I shall then discuss fundamentalism's main consequences for truth generally at the end of this section and then the specific versions of tf which correspond to these two types of fundamentalism in Sects. 4 and 5, respectively.
Inflationists think that reality is layered or has levels: everything that is part of fundamental reality is at one level, but there is at least one other level and perhaps many more levels containing everything non-fundamental, often called "derivative reality". 16 Reality as a whole is ordered by the grounding relation, which relates fundamental with non-fundamental entities, relations, properties, etc. On this picture of reality, fundamental reality has a privileged status, which derivative reality lacks. There are many ways to cash out this distinction, the details of which are not important for our purposes. But to illustrate, one might model the layers of reality based on 11 See Beebee and Dodd (2005: p. 2) and Armstrong (2004: p. 5). A reason for this is that causation is deeply tied with time and process, while truthmaking is not temporal, but instantaneous. 12 See Armstrong (1978Armstrong ( , p. 150, 1989aArmstrong ( , p. 9, 1989bArmstrong ( , pp. 89, 96, 107, 1989cArmstrong ( , pp. 56, 89, 1991Armstrong ( , p. 190, 1997. 13 See Hornsby (2005) for an extended criticism of Rodriguez-Pereyra's (2005) account. 14 See also Schaffer (2008a, b). 15 I follow von Solodkoff and Woodward (2013: 566ff). Also, for the sake of clarity, I want to point out that one can be an inflationist or deflationist without believing in tf. These varieties of fundamentalism are views about whether reality comes in levels. The corresponding inflationist and deflationist versions of tf will adopt the structure of the more general inflationist and deflationist versions of fundamentalism. 16 See Barnes (2012: p. 878) for a useful diagram which distinguishes different versions of inflationist fundamentalism based on whether there are two levels or more levels.
grounding relations between the objects quantified over by the various sciences: for instance, the objects of special sciences, such as psychology and economics, may be grounded in and determined by the supposedly more fundamental objects of chemistry and biology, which in turn might be grounded in the objects of physics. One might put the distinction also as one between fundamental objects which "carve reality at its natural joints" vs derivative objects which do not match nature's joints or do this with varying degrees of accuracy (or splintering, to use Plato's corresponding metaphor). 17 Inflationists introduce a quantifier 'really exists' or 'fundamentally exists' which is supposed to carve the world at its joints and match its fundamental structure, leaving the ordinary English quantifier 'exists' to butcher reality. 18 Fine makes the distinction between fundamental and non-fundamental with appeal to what he calls "a concept of Reality as it is in itself" (2001, p. 25). To use his example, "though two nations may be at war, we may deny that this is how things really or fundamentally are because the entities in question, the nations, and the relationship between them, are no part of Reality as it [is] in itself" (ibid.). One may also, for instance, accept that it is a fact that one is sitting, "but not accept that this fact is constitutive of how things really are" (Fine 2005, p. 267). Thus, we have a distinction between merely existing objects, and really or fundamentally existing objects.
By contrast, according to the deflationist, reality is not layered and consists only of fundamental reality. 19 As von Solodkoff and Woodward (2013, p. 560) put it, "the distinction between the fundamental and derivative is not a distinction that is drawn in the realm of being but a distinction between the realm of being and the realm of non-being". In short, everything which deflationists might call "derivative" is not, as the inflationist would construe it, "merely existing", but just not existing at all. 20 Let us now bring out the consequences of these different versions of fundamentalism for truth. Truths purely about fundamental reality, that is, fundamental truths, must satisfy Sider's purity constraint on which "fundamental truths only involve fundamental notions" (2011, p. 106). These truths are uncontroversially wholly about 21 and made true by fundamental reality. The most interesting cases to consider are those 17 See Plato (1997, Phaedrus, 265d-e), Lewis (1983, p. 346), andSider (2011: passim). 18 See Cameron (2010b, pp. 16, 25) who explicitly introduces the fundamentality quantifier. Though, some trickiness arises in his interpretation of the English quantifier 'exists'. Despite the inflationist rhetoric, as we shall see in Sect. 5, given that he deflates the ordinary English quantifier to be not ontologically committing, perhaps his strategy is also generally deflationist. 19 This view is most explicitly defended by Williams (2010: 103ff;2012: 169ff), but also by Cameron (2010a: 249ff), Melia (2005: 67ff), and Sider (2011: p. 348 and §8;and 2013: 241ff). Bennett (2011, pp. 28-29) captures this view with the thought that "the world is flat". She claims that she has "no knockdown argument against the claim that the world is flat. But every fiber of my being cries out in protest" (ibid., p. 28). 20 For the purposes of this paper, I ignore Meinongians, who believe that there are things which lack being (noneism) and that there are a plurality of ways of being (pluralism), and contemporary noneists such as Routley (1980) and Priest (2005) who, roughly, reject pluralism. They perhaps would say that derivative reality doesn't exist, but subsists. Meinongianism or noneism is not the same as contemporary fundamentalism. 21 See Yablo (2014, p. 14) and Schipper (2018: §4.2.4; and forthcoming: §1.1). which concern other, non-fundamental truths. Let's start with ordinary truths, such as T3: Tables exist.
We can safely assume, for now, that tables are not fundamental entities. One can, then, either (a) be an error theorist about such ordinary truthbearers, rejecting them not as truths but as falsehoods, or (b) accept them as true but somehow made true by fundamental entities which are not tables. Fine (2001, p. 2) and Schaffer (2009: §2.1), among others, argue that (b) is the more plausible option, and is the right way to go for metaphysical views on pain of being susceptible to threats which make their rejection trivial. Consider Schaffer on the obvious truth of truthbearers about numbers despite their exclusion from fundamental reality: 22 Here, without further ado, is a proof of the existence of numbers: 1. There are prime numbers. 2. Therefore there are numbers.
the domain in question. 24 Both options are not attractive and deeply problematic. 25 Further, given that the premises command Moorean certainty, any argument that the error theorist might wield will most likely start from far more controversial premises than those of commonsense. 26 To sum up, denying claims like 1-4 would be to clash with Moorean certainty, and this is fairly universally acknowledged to have deep costs. Denying only the conclusions would be just as, if not more, problematic as one would have to deny standardly valid inferences (such as those from 1 to 2 and 3 to 4), which runs the risk of undermining our ability to rely on normal arguments to establish conclusions in philosophy and in everyday life.
What should tf-ists say about t3? The first thing to reiterate, to be absolutely clear, is that one can be a fundamentalist of either kind without being a tf-ist. One can accept either that reality is layered or not while not thinking that truths are made true by fundamental reality. 27 For instance, one may be a fundamentalist while not accepting any version of truthmaker theory or while accepting a standard pluralist version of truthmaker theory on which both fundamentals and non-fundamentals can be truthmakers. Both clash with tf-truth, which requires not only an acceptance of truthmaking but also that only fundamentals (and not also non-fundamentals) are truthmakers. Indeed, something that motivates the tf-ist is the prima facie efficiency of answering (q1), "What makes truth?", and (q2), "What is fundamental?", together (see Sect. 1): if the tf-ist is successful, she will have solved two problems with one answer, picking two flowers with one hand.
With this distinction between two types of fundamentalism in place, we can now articulate two corresponding versions of tf: 24 Lipman (2016, p. 2), supposedly following Dorr (2010: paragraph 6), goes even further and argues about Schaffer's argument that error theorists would clash with the "relatively uncontroversial role of argumentation in philosophy" and "If even a simple argument like this fails to establish anything, one starts to wonder how anything can be established by the sorts of argumentation that we philosophers engage in". Thus, if Lipman is right, there might also be a risk of clashing with our ability to use standard inferences generally. However, this does not seem to be a problem for the error theorists and nihilists who will reject both the conclusion and the premises, since doing so will allow them to accept the inferences as valid. I thank an anonymous reviewer for discussion here. 25 Just to be clear, I am not suggesting that this is an insuperable challenge. See Sect. 5.2 for further suggestions potentially favourable to the error theorist. An error theorist might, for instance, try to block standard inferences using quantifiers by utilising Hofweber's (2005) distinction between two types of quantification: internal and external, of which only the latter range over and are about a domain of entities. He (ibid., pp. 219-220) argues that numerical terms are not referential expressions and that numerical quantifiers should be understood internally: they are not about a domain of entities and, instead, are governed by their inferential role. See also Hofweber (2016: §5, esp. p. 148) and Carnap (1956, p. 206) for the distinction between internal and external questions about what there is. An error theorist about numbers may argue, for instance, that 1 and 2 are false on the external reading and true on an internal reading where they do not range over any entities. However, this is not a strategy that standard error theorists about numbers (such as Field 1980 and1989) or other domains such as morality (e.g. Mackie 1977, p. 77) would take, for such theorists argue in the following way: (1) the truth of these sentences require that numbers (or moral values) must exist as entities for these sentences to be true, and (2) such entities are very strange (too strange in fact to exist); so, (3) there are no numbers (or moral values) and (4) those sentences are systematically false. Thus, the standard error theorist seems to read the quantifier externally. 26 However, see Sect. 5.2 for suggestions in favour of the error theorist on this issue between the relative plausibility of commonsense vs error theory. 27 For instance, Melia (2005: 67ff) and Sider (2011: p. 348 and §8;and 2013: 241ff) are deflationist fundamentalists but would most likely reject tf. Deflationary TF (Deflationism or DTF, for short): accepts tf-truth and takes reality to be exhausted by fundamental reality. 28 Inflationary TF (Inflationism or ITF, for short): accepts tf-truth and takes reality not to be exhausted by fundamental reality (rather, it consists of both fundamental and non-fundamental reality). 29 These are both versions of tf. So, both deflationists and inflationists believe in tf-truth, that truthmakers are necessarily fundamental entities. The distinction, however, is exclusive and exhaustive for the central difference between them is that dtf takes reality to be exhausted by what's fundamental, while itf does not. So, one cannot accept both dtf and itf without contradiction (exclusivity). And one cannot be a tf-ist without (ultimately) holding one of these views (exhaustiveness). 30 Part of the main aim of this paper is to bring conceptual clarity and order into what tf can say about non-fundamental truths such as t3. The discussion will be organised broadly along these two lines. In regard to t3, the central difference is: since we can assume for now that tables are not fundamental, according to the deflationist, tables do not exist, while according to the inflationist, they do exist, although they merely exist and thus do not exist fundamentally. What might the deflationist and the inflationist tf-ist say in regard to the truth and the truthmakers for t3? Now that I have introduced this novel distinction between two different exclusive and exhaustive versions of tf, I shall sketch what each has to say about t3, deflationary tf in Sect. 4 and inflationary tf in Sect. 5, and argue that both have significant problems.
Before I proceed, I want to stymie a potential cause of confusion. tf-ists up until now have mostly been inflationists. However, in their writings, they often seem to oscillate and equivocate between these two versions of tf. Influential examples include Heil 31 28 See especially Cameron (2010b: 16ff) and(2008a, p. 5). Insofar as Heil rejects the levels conception of reality, he might also be best interpreted as a deflationist, for, as we saw above, the idea that reality is exhausted by fundamental reality is often expressed by the rejection of the view that reality is layered or comes in levels. See especially (2003: Chapters 4 and 5) and (forthcoming: §1). He (ibid, p. 7) also explicitly argues that ordinary objects such as trees are not any less fundamental than fundamental particles. He writes, "There is but one reality, one universe, but many, equally legitimate, ways of dividing it up and counting its parts"(ibid., p. 11). All this suggests that he could be interpreted as a deflationist, at least in these texts and passages. As I note at the end of this section, however, both Cameron and Heil might also be best interpreted as inflationists, based on other things they say. 29 The main itf-ists include Schaffer (2008aSchaffer ( , b, 2009Schaffer ( , 2010 and Heil (2003). Although Barnes (2012, p. 877) articulates itf's application to non-fundamental truths very clearly and helpfully (I present the relevant quotation at the beginning of Sect. 5), she is explicitly neutral about whether deflationism or inflationism is the right version of fundamentalism. 30 I say 'ultimately' here because tf is prima facie compatible with agnosticism about whether or not reality is layered. However, one way to understand Heil and Martin's insistence on the need for "an infusion of ontological seriousness […in] philosophy generally" (1999, p. 35) is that agnosticism is not enough: one must ultimately come down on the hard metaphysical issues such as whether or not reality is layered. I would think that this is especially pressing for tf-ists. See also Cameron (2008b, p. 124) who says that tftruth "in the absence of a story about what features of the world are in fact fundamental […] doesn't really say anything much of interest". So, I shall assume that agnosticism is not an option ultimately. However, see Rettler's (2016) defence of what he calls the "General Truthmaker View" as opposed to the "Specific Truthmaker View"(2016: passim; see especially §6). 31 See citations above and below, especially concerning his rejection of the layered conception of reality. Interestingly, in a recent paper on these issues (forthcoming: see esp. §2), he tries explicitly to reject some ways of expressing fundamentality and grounding as unhelpful ways of talking. He does, however, allow but especially Cameron: 32 although in general they are probably best understood as inflationists (see below), they sometimes talk like deflationists or defend seemingly deflationist positions. Since the views exclude each other, tf-ists should come down clearly on either side if they want to defend a sufficiently fleshed out and coherent version of tf. If authors have perhaps unknowingly equivocated and fluctuated between them in the past, the hope is that this distinction will, among other things, help them avoid doing so in the future-but this will also mean facing their problems.

Deflationary TF
For deflationists, given that tables are not fundamental entities, reality is such that there are no tables. One might expect that, to give dtf the best run for its money and the fairest shake possible, the deflationist should be presented as rejecting t3, 'Tables exist', as false. If there are no tables, then truthbearers stating that there are are false. The immediate problem that arises with this stance towards t3 is that it runs afoul of Moorean certainty and hence comes with the deep costs that come with this.
The alternative dtf-strategy would be to accept t3. The problem that this strategy faces is this. If t3 means that tables exist, and tables are not fundamental and thereby, according to dtf, tables do not exist, then dtf faces a straightforward contradiction. Cameron (2008a, p. 5), however, thinks that being able to accept t3 is one of the main attractions of tf: that it allows one to be "nihilist" about ordinary entities such as tables but "universalist" about truths about them, for such truths are made true by fundamental reality. The dtf-ist gets to avoid clashing with Moorean certainty, for she can accept t3, but does not need to posit non-fundamentals such as tables into her ontology. The most straightforward interpretation of this strategy is deflationist. We have a combination of three views: (1) tables do not exist (nihilism), (2) 'There are tables' and t3, 'Tables exist', are true (universalism), and (3) these truths are made true by what's fundamental (tf-truth). Cameron explicitly states that this is an "intuitively […] very attractive option"(ibid.). But how attractive is it really? 33 According to this dtf-strategy, t3, 'Tables exist', is true, but the only ontology that's out there to make it true is fundamental ontology (perhaps this contains only subatomic particles arranged in various ways) since the derivative objects (the tables) don't really exist. So, when one says that tables seem to be the truthmakers for t3, the deflationist would flatly deny this, since given what's fundamental, there are no tables to make it true. Instead, fundamental entities are the best candidates for truthmaking Footnote 31 continued talk of grounding as ontological dependence. Ontological dependence is often taken to be systematically linked to fundamentality and grounding; talking about one is a normal alternative way of talking about the other [Heil (ibid.) admits as much. See Correia and Schnieder (2012: esp. §4.3) who point out that this is the traditional take on dependence arguably going back to Aristotle.] 32 See especially Cameron (2008a: 5); I discuss a key passage in Sect. 5.1 and at the beginning of Sect. 4 below. I thank an anonymous reviewer for an extensive discussion of Cameron in which the reviewer argues that Cameron often equivocates. I cannot repeat their arguments here. I welcome them to argue for this in further detail elsewhere. 33 See also Sects. 5.1 and 5.2 for further discussion of this point by Cameron. since they are the only candidates. 34 But, given that t3 is clearly about tables and not, for instance, about fundamental particles, it seems that deflationism must reject ac, one of truthmaking's central constraints.
How might the deflationist respond? Since the deflationist does not take there to be a distinction between fundamental and non-fundamental reality, she does not have recourse to the normal machinery of grounding. For instance, the deflationist cannot claim that t3 is made true by fundamental particles arranged table-wise because tables are grounded in fundamental particles arranged table-wise, since there are no tables. She needs a story about why it's plausible to think that t3 is made true by these fundamental particles despite its not being about these particles and despite the particles not grounding anything that it is about. The sense of the groundedness of truth which the deflationist must employ in her account of truthmaking must then be able to say why fundamental entities can make truthbearers true which are not about them and also explain the earlier problems of trivial and malignant truthmakers, e.g. explain how necessary truths such as '2 + 2 = 4' are grounded for their truth, and not grounded in any old fundamental particles (e.g. the ones inhabiting the space of May's pink shoes). Without such an account, which in fact is not forthcoming, 35 tf will be straddled with the problem of trivial truthmakers (and other related problems). And whatever fundamental entities the fundamentalist tries to provide as the candidate truthmakers both for ordinary and necessary truths runs the serious risk of being arbitrary or question-begging.
Another response would be for the deflationist to take a paraphrase strategy and argue that t3 in fact means something completely different from what we thought it means and is in fact about fundamental reality, e.g. about subatomic particles arranged table-wise. However, this completely severs the link between aboutness and ordinary understanding. We could, then, only understand claims such as t3 after we discovered subatomic particles. In fact, we may not yet have the right theory of fundamentality. In this case, we would fail to understand t3. This seems implausible and makes the ordinary understanding of simple sentences too reliant on fundamental metaphysics. 34 For instance, Cameron (2010b: 16ff) argues that fundamental entities or what he calls "real existents [what really exists] are the truthmakers for the true sentences of English" (ibid.: 16). 35 In fact, Cameron (2008b: 23f), a leading fundamentalist, argues that such truths are ungrounded. He argues that necessary truths such as mathematical truths, including existential ones (e.g. 'there is a prime number between 8 and 12'), are 'trivial' in the sense that, in not requiring an ontological ground, their truth simply makes no demands on the world and that's why they're necessary. And of course, as a result it's necessary that there are numbers […though,] there aren't really any numbers: the mathematical truths don't demand there to be any real existents -they don't demand anything! (ibid.) The basic idea seems to be that since these truths are true in all worlds, no way any world really is could affect whether or not they are true. Hence, they require no truthmakers. Although Cameron is a fundamentalist, this strikingly seems to be a straightforward counterexample to tf. And nothing is said about why mathematical truths might constitute an exemption from truthmaking (except that they are necessary and thereby undemanding). I think that, in fact, this is a promising solution to the problem of necessary truths. However, if necessary truths are exempt from tf on the basis of what they demand of reality, then one should wonder why non-fundamental truths are not similarly exempt on the basis of what they demand of fundamental reality, that is, nothing.
As a third option, the deflationist could respond by rejecting the initial assumption that tables are not fundamental entities. In fact, they might say that because we have discovered that tables must exist, for they are the truthmakers for truths such as t3, we have discovered that tables must be part of fundamental reality. Although this fits perfectly well with the deflationist vision of fundamental reality, this is also clearly problematic. It would mean that everything that we can genuinely talk about with truth is fundamental. And given that according to the deflationist, nothing is more fundamental than anything else, the notion of fundamentality seems to be empty. For there now seems to be no special reason to talk about fundamentality at all, rather than, say, mere existence. Also, to claim that tables must be fundamental merely because t3 is true and commands Moorean certainty would be in direct conflict with one of the central reasons for adopting fundamentalism and truthmaker theory in the first place: ontological seriousness. It would mean that we get things backwards, we would be reading off not just features of the world but features of fundamental reality from features of our representations in an objectionable way. 36 The general problem for deflationary theories seems to be this: they are nihilist about what is not fundamental. Yet many ordinary claims tend in fact to demand that the world is some way or, especially in the case of existential truths such as t3, that some things exist. Unlike the inflationist, who can be non-nihilist about the aspects of reality which these truths are about, and who, hence, can include tables into their ontology, the deflationist faces a contradiction. Given that (i) t3 is true (with Moorean certainty) and (ii) if t3 is true, then t3 (this is a simple application of the left-to-right direction of the Truth Schema: if 'φ' is true, then φ), then (iii) t3, that is, there are tables. But according to the deflationist (whose fundamentalism requires that if ¬(in fundamental reality, φ), then ¬φ), given that (iv) ¬(in fundamental reality, t3), (v) ¬t3, that is, it is not the case that there are tables. Thus, we have a straightfoward contradiction [between (iii) and (v)]. The overall point is that we should be able to rule out nihilists from our discussion, for they would and should say that such truthbearers are false. For if tables do not exist, then truthbearers such as 'tables exist' should not be true on any reasonable theory. But as we saw, this contradicts Moorean certainty. The deflationist must either (a) have very strong reasons to reject the obvious truths which command Moorean certainty but thereby incur deep costs and perhaps also run the risk of undermining our ability to use normal inferences in our arguments, or (b) accept everything that our obvious truths are about into the realm of fundamental ontology, running the risk of deflating not just non-fundamental reality but also fundamental reality. This dilemma is at the heart of the problem with deflationary tf strategies.
Perhaps the inflationist fairs better.

Inflationary TF
Consider the following central claim articulated by Barnes (2012, p. 877) which applies itf to non-fundamental truths: ITF on Non-Fundamental Truths: "For any derivative entity x, 'x exists' is true but made true, not by x, but by some collection of fundamental entities y 1 . . . y n ". 37 A consequence of this claim is that no tables, assuming that they are derivative and not fundamental, make true truthbearers such as t3 'Tables exist'. Only fundamental entities make them true. However, this is clearly an inflationary strategy, for it accepts the existence of derivative, non-fundamental entities such as tables. Unlike the deflationist, the inflationist is not a nihilist and will agree that tables exist and are part of our ontology albeit as non-fundamental entities. Given that tables exist and are not fundamental, a pressing issue arises: the inflationist must explain why being non-fundamental rules them out as truthmakers.
Since tables have a much more obvious link to truthbearers about them than, say, the atomic particles out of which tables are composed, they seem prima facie to be the obvious candidates for truthmaking, especially if they exist. To ignore the obvious existing alternatives brings in an element of ontological arbitrariness and a puzzling disengagement with what the truthbearers are about. I'll call this the problem of the existing alternative. I shall consider some responses. First, that an account on which all the truthmaking work is done at the level of fundamentals is more parsimonious and ontologically serious than alternatives. As a final response, I consider the best specific inflationist account, one which understands fundamental reality in terms of fundamental physics. I shall argue that this cannot satisfactorily address the problems I've raised, and draw out a general problem for fundamentalist approaches to truthmaking.

The argument from parsimony and seriousness: the ontological commitment strategy
Inflationists 38 explicitly hold that t3 is true, that indeed tables exist, but that tables don't make the truthbearer true, because they aren't fundamental. One influential strategy is to claim that the truthbearer is not ontologically committed to tables; we are only ontologically committed to truthmakers, understood always as fundamental entities. Thus, even though they exist, they are derivative and do not come at any theoretical cost. For tables (and other complex objects) are an ontological free lunch, 39 meaning they need not be included as part of our ontology even though they exist, because claims about their existence are made true by fundamental entities that really exist. This is clearly a revisionary view of ontological commitment and of ontology. The standard view is that we are ontologically committed to what our best theories say exists, and our ontology contains everything that exists (and not just what's fundamental). The inflationist strategy, instead, restricts our ontological commitments and ontology to what we take to be fundamental (and not also whatever else we take to exist). The inflationist takes what merely exists to be derivative, an ontological free 37 This is perhaps the clearest and most basic statement of inflationary tf in the literature (also, henceforth, when I talk of inflationism, I shall mean inflationary tf unless otherwise specified). Further possible details which an inflationist can add to this will emerge in the coming pages. Prominent tf-inflationists include Schaffer (2008aSchaffer ( , b, 2009Schaffer ( , 2010 and Heil (2003). 38 E.g. Cameron (2008a, p. 6). 39 See Cameron (2008a, p. 13). lunch, of no theoretical cost (or value), and hence to be excluded from our ontological theorising. This will of course strike normal ears accustomed to standard ways of speaking about ontological commitment and ontology as very odd and incoherent: we are told that tables exist but are not part of our ontology. However, this would be a result of not realising that this itf-strategy proposes to think and talk about ontology and ontological commitment in a revisionary, fundamentalist way. But why think that this is a good way of thinking and speaking? Rettler (2016) defends exactly this view of ontological commitment and truthmaker theory, saying that On my view, the truthmaker theorist ought to deny [the following]: if S believes that statues exist, then S is ontologically committed to statues. She should think that existence claims come apart from ontological commitments […]. The best way to deny [this] is to think that we are only ontologically committed to the fundamental, and that all and only the truthmakers are fundamental.
[…] The truthmaker theorist thinks that there are many things that our English sentences say exist, but these things aren't the truthmakers for those sentences. Rather, some other things make those sentences true, and those things-the truthmakers-are the fundamental things, in virtue of which true English sentences are true; this is the version of the truthmaker view that I accept. (ibid., pp. 1411-1412) We already saw in Sect. 1 what Rettler takes to be the main advantages of this view. Cameron argues that this strategy accepts an "intuitively […] very attractive option: that the nihilist is right about the ontology but that the universalist is right about what sentences are true" (2008a, p. 5). Previously (in Sect. 4), I gave this quotation a deflationist interpretation (which is the natural interpretation, given standard views of ontology). On that interpretation, this motivation for tf had failed to convince. However, the inflationist interpretation is probably the intended interpretation. On this interpretation, "nihilism about tables" consists not in thinking that tables don't exist, but that they are to be excluded from our ontology and are not part of our ontological commitments. This must, then, be interpreted in the revisionist way: our ontology contains only what is fundamental, and not just everything that exists. 40 The reason why this is apparently so attractive is that this allows us to avoid the consequence that "serious ontological questions are being decided by linguistic facts […i.e.] the Quinean idea that we have to resist the literal truth of 'there are tables' if we want to avoid ontological commitment to tables" (ibid.). A sum of simples (or whatever else is fundamental) 41 does the truthmaking and not the derivatively existing tables because only fundamental entities, which really exist, are part of our ontology and our ontological commitment. The strategy is supposedly attractive because it is (a) ontologically serious: we figure out what the truthmakers are by doing ontology rather than being held hostage to language; and (b) parsimonious: there's no double-counting. 40 I thank an anonymous reviewer whose penetrating comments pressed me to say more about ontological commitment so that the reader, as the reviewer writes, isn't "duped" by the fact that the tf-ist's talk of ontological commitment can "trend either in an inflationary/deflationary way". 41 Cameron (ibid, claims that other theories of fundamentality, including those on which only macroscopic objects are fundamental, are compatible with what he says.
For instance, truthbearers such as 'tables exist' don't require tables as truthmakers, just fundamental entities discovered by doing ontology. 42

Reply: The standard approach is ontologically just as parsimonious and even more serious
The fact that this strategy is, according to Cameron (2008a, p. 5), explicitly nihilist about non-fundamental ontology means that it comes with the problems raised for deflationism in the previous section; it doesn't matter if the nihilist is understood either in a standard or revisionary way. These problems strike at the heart of the ontological commitment strategy's understanding of the relation between ontological seriousness and language. Its way of being ontologically serious and of freeing ontology from the tyranny of language is to accept that 'tables exist' is literally true while rejecting that this has ontological commitment. On the standard interpretation this would mean that one would be able to accept that tables don't exist. However, this entails a straightforward rejection of 'if 'tables exist' is true, then tables exist', which is a simple instance of the left-to-right direction of the Truth Schema: if 'φ' is true, then φ. This rejection of the Truth Schema is in itself problematic. But if this is the right way to be ontologically serious, perhaps we must accept it. 43 On the revisionary interpretation, one would be able to accept that tables exist, but one would claim that tables are excluded from our ontology by not being fundamental. The trouble with this is that this just shifts how we talk about ontology with no clear added benefit, neither in general nor for the tf-ist. Inflationist fundamentalists think that tables exist and are not fundamental-this is the case whether or not they accept this strategy and tf. 44 Both the non-tf-ist and the tf-ist can agree on what exists and also on what is fundamental. This tf-ist strategy with its revisionary interpretation of 'ontology' and 'ontological commitment' merely excludes tables from our ontological commitments and ontology because they are not fundamental. But it seems rather dubious to think that this is more ontologically serious and parsimonious if nothing in reality is different. Thus, since reality stays exactly the same, this seems not to be a matter of ontological substance but of labelling. And since reality is the same for the tf-ist and the non-tf-ist, there is no advantage in terms of parsimony. 45 42 These motivations for itf reflect also how I understand what Rettler takes to be the main advantages of his tf-based version of ontological commitment. See Sect. 1 above. 43 Just to be clear, I'll argue that it's not the right way to be ontologically serious. 44 Recall, inflationist fundamentalists need not accept tf. 45 I thank an anonymous reviewer for helpful comments which led me to disentangle some of the strange things that the tf-ist is saying here; the reviewer colourfully said that "Playing around with 'ontological commitment' is just another way of trying to muddy the waters to the tf-ist's advantage". Also, the same reviewer suggested another potential response from the itf-ist: "My ontology is the same as yours (by which I mean we agree on what exists). It's just that fewer things in my ontology are truthmakers. For you, presumably, everything is a truthmaker. For me, it's just my fundamentals. So therein we find the advantage for my view: I have fewer truthmakers!". The counter-response is that, again, there is no advantage in terms of ontological parsimony because reality is identical for the tf-ist and the non-tf-ist. One might, then, suggest a special parsimony principle involving truthmakers: the fewer the truthmakers, the better. In response: (i) it is unclear that the tf-ist indeed has fewer truthmakers than the non-tf-ist; but more A central part of the argument for this strategy is that it is a significant improvement over its main competitor: the standard ontological strategy (sos, for short). 46 It is argued that this strategy is not ontologically serious and is in the grips of linguistic tyranny, for, as Cameron argues above, its way of avoiding an ontological commitment to tables is to resist the literal truth of 'there are tables'. The main problem with this argumentation and the stategy generally is that it is perfectly ontologically serious to take oneself to be avoiding an ontological commitment to tables merely by resisting the literal truth of 'there are tables'. Ontology will not thereby be hostage to linguistic facts. Let's say our best theory of the world dictates that there are not any tables and other macroscopic entities on the basis of, say, a distinctly metaphysical line of argumentation to do with the indeterminacy of their identities. The standard theorist would then be right to insist that we should resist the literal truth of t3. For if there are no tables, then nothing should make true the claim that there are tables, even if, as Schaffer claims, this commands Moorean certainty.
We may not be able to accept this rejection of the truth of t3 because of the conflict with Moorean certainty and the potentially accompanying problems for argumentation, but that is beside the point: it seems much more ontologically serious to think that if there are no tables, then nothing makes true the claim that there are. Epistemology should not hold ontology hostage either. The fundamentalist allows us to accept the truth of truthbearers such as t3 for reasons such as that they command Moorean certainty, while claiming that what they are about doesn't really exist, and according to deflationists, doesn't exist at all. This is not ontological seriousness but rather an instance of trying to have one's cake and eat it. Specifically, it's not taking either existence claims or existence itself ontologically seriously.
The tension between a fundamental ontology without tables and the truth of 'there are tables' is perfectly well-founded. What sos demands is merely that what we take to be true should reflect our best theory of everything. Language should describe how things are in the world, which is discovered by our best science and our best metaphysical reasoning, and is then regimented by our best logic for the greatest ontological perspicuity. Ontological seriousness requires us not just to put ontological reasons before linguistic reasons, but that our language, especially our positive factual descriptions of reality, respects our ontological knowledge. If there are really no tables, then nothing should make true truthbearers which state that there are tables. The option that Cameron (2008a, p. 5) takes to be intuitively attractive, that we can accept both the literal truth of 'there are tables' (what they call universalism) and not accept tables into our ontology (nihilism), may be parsimonious in regard to ontology, but it also allows for a mismatch between truth and how things are. Compare

T4:
The average toddler is larger in 2017 than in 1917.
Footnote 45 continued importantly, (ii) there seems no reason to think there is such a special truthmaker-based principle of theory choice. 46 Cameron called this the "Quinean idea"(2008a, p. 5). But since some standard truthmaker theorists would not self-identify as Quinean, I shall call this the "standard ontological strategy".
It would be ontologically naïve and wrong to think that t4 is committed to the existence of an entity the average toddler. What makes the truthbearer true are facts to do with the relation between the sizes of toddlers in 2017 and in 1917 divided by the number of toddlers in those years. It would be wrong to think that the truthbearer T5: There is an average toddler in 2017 and there is an average toddler in 1917 and the former is larger than the latter.
is made true by the same truthmaker. For not only does t5 not present the right logical form of t4, but it is false. It has an ontological commitment to average toddlers when the first is neutral about such a commitment. If there are really no average toddlers and similarly really no tables, then there is something wrong with the language we use and our theory of truthmaking if anything makes true 'there is an average toddler' and 'there are tables'. Such a language is not perspicuous and hence not ontologically serious. The standard ontologist doesn't hold ontology hostage to language. Instead, she asks us to make sure that our language takes the way the world is seriously by being able to describe it accurately and perspicuously. Further, this stance is also parsimonious for there is no double-counting of truthmakers. In fact, if there are no real tables then there shouldn't be any counting of truthmakers at all, let alone any double-counting.
Also, if the nihilist is wrong and tables do exist, then there is no double-counting either. For, we are back at the original puzzle, which the inflationary tf-ist still needs to answer: why should anyone think that 'tables exist' is made true by fundamental particles out of which tables are composed rather than the tables themselves? The fundamental particles can make true claims such as 'the fundamental particles out of which tables are composed exist' and they contribute to making true claims such as 'the tables are composed out of those fundamental particles', but not 'tables exist', since that truthbearer isn't about and doesn't describe any fundamental particles, only tables. The existing alternative option counts just the existing tables as the direct truthmakers of 'tables exist', and the fundamental particles as, at best, indirect truthmakers by virtue of their grounding the tables. Thus, this non-fundamentalist approach to truthmaking is not just ontologically more serious than the fundamentalist, but it is also just as parsimonious.
The tf-ist might respond by reminding us of her main motivations for introducing the fundamentality quantifier as the ontologically committing quantifier and for denying both that the normal English quantifier 'exists' is ontologically committing and that Quine's supposedly ontological question of what there is 47 is even an ontological issue. According to Cameron, existence questions are purely linguistic/conceptual matters, that is, that whether or not tables exist is purely a matter of usage. He writes, "the meaning of 'exists' is such that 'there exist tables' is true, because this just fits so much better with our usage: it doesn't have us speaking falsely almost all of the time!" (2010b, p. 16). He also argues for this in terms of pragmatic efficacy: "Even if we knew that our world was the nihilist world, we wouldn't aim to only speak of simples, their properties and the relations that hold between them: that's simply impractical" (ibid.). The problem with this response is that it is just a weaker version of the Moorean point, put in terms of usage and what's practical to do. There's a difference between taking us to be speaking truths for pragmatic reasons, and for us to say things for pragmatic reasons but understanding that what we say is strictly speaking false but acceptable for pragmatic purposes. This is, in fact, at the heart of fictionalist strategies: they take pragmatic considerations seriously by taking them not to dictate that we are speaking truly, but merely that we can accept falsehoods for pragmatic purposes. Cameron, by contrast, is letting pragmatic considerations dictate truth. An alternative way of thinking of ontological seriousness to that of Cameron, which accepts the core anti-linguistic idea behind ontological seriousness, demands that the correct ontology (and science) dictate truth, leaving pragmatics perhaps to dictate usage in the face of falsity. 48 This is being both pragmatically responsible and ontologically serious about truth.
To illustrate this alternative sos picture of ontological seriousness further, it is revealing to point out an issue with the desire, ceteris paribus, to accept truths such as t3. Schaffer wields several arguments such as the argument for the existence of numbers and the existence of tables which I presented in Sect. 3. Here is another one: 5. Arthur Conan Doyle created Sherlock Holmes. Therefore, 6. Sherlock Holmes exists.
Compare this to the following argument: 7. Arthur Conan Doyle completely made Sherlock Holmes up. Therefore, 8. Sherlock Holmes doesn't exist.
The argument from 5 to 6 is Schaffer's (2009: p. 359). He takes 5 to be a literary fact and that 6 follows because to create something is to make it exist. This is apparently commonsensical. However, 7 is also a literary fact, and 8 follows from it because to completely make something up is for that thing not to exist. This is also commonsensical. How should the tf-ist proceed?
If she takes both 6 and 8 to be made true by fundamental reality, then fundamental reality can make true contradictions as well, for if fundamental entity X makes true 6, p, and fundamental entity Ψ makes true 8, ¬p, then X and Ψ together make true p ∧ ¬p. If she takes only one to be true and made true, then we are back at the arbitrariness of truthmaking on the tf-picture. The history of metaphysics is also the history of deep puzzles which reveal contradictions and inconsistencies within the commonsense conceptions of the world. Consider the problem of the many. 49 According to commonsense, there is just one cloud in the sky right now (I see just one cloud!). But, according to commonsense, clouds are collections of water molecules and there are many collections of water molecules in the sky right now. So, there are also many clouds in the sky right now. Again, there being just one cloud and there being many clouds is inconsistent. Whatever the right resolution is to these puzzles and to these conflicts of commonsensical intuitions and arguments, once we settle them with hard metaphysical, and perhaps also scientific, work, we'll have an answer either way. The non-fundamentalist truthmaker picture of ontological seriousness is to demand that everyday talk reflect how the world is such that, if there are no clouds in the sky, then truthbearers such as 'there is a cloud up in the sky' are not made true, but are, instead, false. This is ontologically far more serious than to think that all or even a subset of these claims are true and made true by fundamental reality, and especially if it is purely for pragmatic reasons.
Further, standard ontologists need not be afraid of error theories and the possibility of nihilism concerning the objects of commonsense, especially if it turns out that there are good metaphysical and scientific reasons for rejecting commonsense. tf-ists, on the other hand, will confront existential problems, that is problems undermining the value of being a tf-ist. In the absence of the Moorean arguments, if we are convinced not to accept ordinary objects either as derivative or otherwise, then we would lose the main reason for thinking that reality is layered and that there is anything other than what's fundamental. This would lead the tf-ist straight to deflationism, with its accompanying problems. And this, in turn, would clearly be problematic for inflationary tf, for if deflationism is right, then inflationism cannot be. But, as we saw, the deflationist would have to decide between rejecting or accepting t3. And, accepting t3 leads the deflationist to contradiction and incoherence or to the vacuousness of 'fundamental'. Rejecting t3 will have a similar problem. If there is no longer a distinction between merely existing and really existing and everything that exists is fundamental, then what's the point of talking about fundamentals rather than just what exists? This is also a problem if there are no tables, 50 for then talking about what really exists or what exists fundamentally seems redundant. Why not just talk about what exists? These are not good results for any tf-ist. Thus, sos fairs better generally, and can, in the face of strong metaphysical arguments against commonsense, take the ontologically serious path of embracing nihilism, while this would be problematic for tf-ists of either sort.

Inflationism and fundamental physics
Consider the following quotation: I am inclined to think that 'this is a statue' can be, and often is, literally true. What makes it true is a complex, dynamic arrangement of particles […] We cannot hope to paraphrase, translate, or replace talk of statues with talk of such collections. Even so, it seems clear that, with few exceptions, objects like statues that populate our everyday surroundings owe their existence to arrangements of more ultimate constituents. (Heil 2003, pp. 53-54) First, the view described above is not of an error theorist concerning talk not directly about the "ultimate constituents" of reality-truthbearers such as 'this is a statue' are 50 And not just if the tf-ist is forced to take tables to be fundamental, as I argued in Sect. 4. literally true. Second, it is not reductionist about such truthbearers either. Talk of tables is not reducible, in any way, to talk of ultimate reality. Third, truthmaking does the work that ontologists had hoped reductionism would do. Talk of non-ultimate reality is made true by ultimate reality, and this is, at least in part, because things such as tables and statues owe their existence to "arrangements of more ultimate constituents".
This final view we shall consider argues further that ontology is the study of truthmakers and not just the study of all that exists or of the ontological commitments of our best theories of the world. Heil explains: Ontology enters only when you turn your attention to the nature of the truthmakers. Knowing what truths you accept is one thing; knowing what it is about the universe in virtue of which those truths are true is another matter altogether. (Heil 2012: p. 192) Further, we need to get at "the deep story" about the "nature of truthmakers [and f]or that you must turn to science […] The deep story eventually brings in fundamental physics" (ibid., pp. 192-193). For example, even though we can, as Heil writes, "'quantify over' trees [and] [i]t is most unlikely that we could analyze away talk of trees, or translate claims about trees into the language of fundamental physics" (ibid.: 191-192), truthbearers about trees (and all our ordinary truthbearers) are made true, if true, by fundamental physics. Trees, tomatoes, and the things in ordinary talk exist. However, since they are not fundamental, the inflationist will claim that they are not truthmakers and are not a concern for ontologists: Talk of the existence of tomatoes is ontologically innocent when your aim is to get clear on the truths, when your interest is in tomatoes. But when you engage in ontology, when your goal is to get clear on the fundamental truthmakers, it is ill advised. (ibid.: 194)

Problem 1: Existing alternatives and metaphysical relations
The problem of the existing alternative is vividly applicable to the specific account presented with these quotations: it is unclear why truths about tomatoes, trees, and their properties are not made true by tomatoes, trees, and their properties. This is not just a matter of interest but a matter of fact. According to the normal story: truths about tomatoes are made true by tomatoes, as long as they exist, whatever their natures are and whatever the deep story about them turns out to be. Of course tomatoes need to have the natures that they have to be the truthmakers for truths about them. And obviously the story of their nature, which may well be given by fundamental physics, is important. But why think that truthmaking should provide this story? For it is, rather, the investigation of the varied relations between ordinary things and other things to which they are related, for example by essential dependence or supervenience, which provides that metaphysically substantial story. These are all further facts about the truthmakers that are articulated by other truths and hence can be made true by other features of reality, such as the facts (if there are any) involving the metaphysical relations that ordinary objects such as tomatoes have with fundamental particles, fermions and bosons. Neither purely fundamental truthmakers nor fundamental physics can tell this story. For that, we need to do actual metaphysics, not physics.
Further, even if fundamental physics gives us the deep story of the world, it is doubtful that this story will give us the full story of the world. 51 Most pressingly, it is no part of the story of fundamental physics to account for metaphysical relations. Modal notions such as supervenience and essential dependence, plausibly, are not part of the language of fundamental physics, but are rather part of the important but separate study of metaphysics and ontology. Other such ontologically important relations include modal dependence, constitution, emergence, and instantiation. These relations relate fundamental entities with non-fundamental entities, and what we might call fundamental modes of being with non-fundamental modes of being (as well as relating fundamentals with other fundamentals and non-fundamentals with other non-fundamentals). Even if inflationists are right that distinctions between entities in terms of fundamental and derivative can be made, 52 the very fact that those philosophically and ontologically important relations relate both fundamental entities and non-fundamental entities means that non-fundamental entities must be an important part of the story of ontology and metaphysics. Since the entities, relations, properties, etc., posited by fundamental physics surely cannot properly account for or ground metaphysical relations and facts concerning, for instance, relations such as grounding, this story of the truthmakers won't be able to give the truthmaker-story for a whole swathe of truths that surely need to be accounted for somehow by truthmaker theory. 53

Problem 2: What grounds truths about grounding?
Bliss and Trogdon raise a related worry for grounding generally: "What, if anything, grounds the facts about what grounds what?" (2014: §7). Let's say it is true that facts concerning the July 2015 London Tube workers' labour strike are grounded in more fundamental facts concerning the workers' refusal to work, concerning their acting on their interests to have better control over their working hours, concerning how the trains are (namely, standing still), etc. Let's call the more fundamental facts workers, the less fundamental facts strikes, and the fact that strikes is grounded in workers: grounds. The question is: what grounds grounds?
There is a clear analogy with my criticism of the inflationist. If she thinks that truthbearers concerning non-fundamentals are made true by fundamentals, what makes true truthbearers concerning how fundamentals are related to non-fundamentals? Presumably, according to tf, the truthmaker for grounds must be something that's fundamental and thereby doesn't include strikes. 54 But then it also doesn't include 51 See Chalmers (2012: §6). 52 The distinction relies on grounding. Sider (2011: §8) argues that grounding-theoretic proposals cannot provide an account of the correct and full fundamental description of the world without mentioning nonfundamentals. 53 Of course, one can reject metaphysics and metaphysical truths altogether, but this is not an option for any fundamentalist. 54 Presumably, all grounding theorists believe that the correct fundamental description of the world won't mention or be about strikes (let's assume that workers are fundamental facts), and that all facts concerning the grounding relation relating strikes to workers. And it cannot be just workers which ground grounds because no facts contained in workers can tell us anything about how workers is related to strikes or anything else non-fundamental. 55 Grounding is supposed to be somewhat informative and explanatory. 56 But this option seems unable to account for grounds informatively. 57 Another option would be to say that grounds is grounded in a fundamental fact which as Bliss and Trogdon describe it "speaks directly to the connection between [workers] and [strikes]" (ibid.). This strategy 58 might go something like this: it is in the nature of being a strike that if workers, then strikes is grounded in workers, and this fact about the nature of strikes (call it essence) in conjunction with workers grounds grounds.
In response, one might worry that it is unclear what grounds essence. 59 However, the conjunction of essence and workers can ground grounds without involving strikes. It is unclear to me that this is the case however, for surely essence, which is just a fact about the nature of strikes, involves strikes somehow. It is, overall, very problematic how truthbearers about what grounds what can be made true by anything purely fundamental, let alone be grounded in anything purely fundamental. If this is already a problem for truthbearers about grounding relations, it is even clearer that there are still more problems for truthbearers about how fundamentals are related to non-fundamentals with non-grounding relations, such as instantiation or similarity. This is a deep worry for any inflationist account of tf.
By contrast, there is no similar worry for the non-itf-ist. If one is a standard truthmaker theorist who rejects tf altogether (and thus also rejects itf), then one holds the view that there is no necessary restriction to truthmakers to be purely fundamental. Such a standard truthmaker theorist could say that truthbearers about grounds are Footnote 54 continued strikes are grounded in facts not concerning strikes but concerning fundamental things (e.g. workers). If one thinks that grounds is ungrounded, then there is a fact concerning strikes which is not grounded in anything. This analogous worry is clearly problematic for the grounding theorist. See Sider (2011: §8) and deRosset (2013). 55 Bennett (2011: 32ff) argues that grounding is a superinternal relation, on which "the intrinsic nature of only one of the relata-or, better, one side of the relation-guarantees not only that the relation holds, but also that the other relatum(a) exists and has the instrinsic nature it does". Her view is relevant here insofar as she can use it to argue that just workers can ground both strikes and grounds. Bennett argues that this account can solve the infinite regress problem: if grounds is grounded in workers, then it seems that we need a further fact grounds* to ground the fact that workers grounds grounds, and so on. She (ibid.: §6) argues that if grounding is superinternal, then workers can ground all these facts, blocking the regress. However, the objection that I've raised here to workers grounding grounds is a separate worry from the regress problem. We might call the current objection the problem from the informativeness of grounding. Bennett's appeal to the superinternality of grounding doesn't address this worry. In fact, in (ibid.: §8) she raises three objections to her superinternality solution to the regress. Her second objection is a very similar objection. But her response to it is: "Here I wade into a dangerous morass that I prefer to avoid for now (see the vast literature on, e.g., black and white Mary and the zombie argument). I merely flag it as a line for further inquiry". This doesn't sound promising for the tf-ist. 56 See Bliss and Trogdon (2014: §4). 57 However, deRosset (2013) attempts to resolve this explanatory problem for explaining grounds solely in terms of workers. 58 See Fine (2012) and Rosen (2010). 59 See Bliss and Trogdon (ibid.: §5).
made true by facts that involve both fundamentals and non-fundamentals. More specifically and most relevantly, the truthbearers can be made true by grounds itself, which then need not be fundamental and can involve clearly non-fundamental facts such as strikes on one side of the relation. Similarly, other metaphysical relations can be part of the truthmakers of truthbearers about them, whether or not these relations are part of fundamental reality. Interestingly, dtf-ists, who are by definition also non-itf-ists, similarly might not have this problem. Specifically, they reject as just false truthbearers such as those which state that grounds is the case, for they reject grounding relations, because they reject the layered conception of reality. However, insofar as they accept them, for instance, in accounting for the relation between truth and reality as grounding, they have a lot of explaining to do. Truthbearers about strikes will, however, have the same issues that arose for t3 in Sect. 4. As for the wider problem of dealing with existing metaphysical relations, dtf will, again, have similar issues as t3. The main point, however, is that the grounding problem for grounds is analogous to a special and deep problem for itf: finding the truthmakers for truthbearers and truths about metaphysical relations such as grounds. Furthermore, since tf-ists claim that truthmaking is also such a relation, this problem includes accounting for facts about truthmaking itself.

Conclusion
I have argued that truthmaking does not only relate truths with fundamental reality, for looking closely at the two most influential ways of understanding fundamentalism, namely deflationism and inflationism, reveals fundamental problems for tf. This constitutes a thorny dilemma for tf, for these ways of understanding fundamentalism are exhaustive. As a result, it seems that the two questions with which we started this paper: (q1), "What makes truth?", and (q2), "What is fundamental?", should be answered separately. If we stick with a simple non-fundamentalist account of truthmaking on which truths are just made true by the parts of reality which they are about, we seem to be able to give intuitive truthmakers for all truths that require them, including ordinary truths that are part of the manifest image, such as tables, chairs, and the objects of the special sciences, and the relationships between the manifest image and the scientific and metaphysical images, e.g. that tables are grounded in fundamental particles. 60 If we answer the second question separately, we can also hope to bring some ontological seriousness to our talk and to truth, for then we can discover what is true about fundamental reality. And if this has consequences for what is true about non-fundamental reality and for how the latter is related to the former, then we can discover truths about this as well. An answer to the second might then be able to contribute to an answer to the first question. But this may not be necessary. For the manifest and the scientific and metaphysical images may, in fact, not be reconcilable. I suggest, then, that these are matters which we must discover and not merely build into our accounts of truth, truthmaking, and fundamentality. Thus, we should try to answer (q1) and (q2) separately. Overall, tf doesn't properly make sense of the importance of truthmaker theory for philosophy, nor of the important role played by ontology to guide us in understanding the world. tf requires that all truths are made true by fundamental reality. But many truths, and the things they are about, do not have a clear, non-derivative relation to anything in fundamental reality, especially not if fundamental reality is construed as that which is described by fundamental physics. These include many more truths than just those about the macroscopic entities of commonsense but also those involving such matters as the grounding relation itself. The existing alternative truthmakers are just the things we are talking about, whether or not they are fundamental. The fundamentalist doesn't seem to have any convincing way to rule them out as truthmakers. By construing truthmaking as the kind of grounding which relates truths only with what is fundamental, there is a danger of making truthmaker theory too narrow to be useful by losing its grip on the rest of reality.