Easy Ontology, quantification, and realism

Amie Thomasson has defended a view called Easy Ontology, according to which most ontological questions can be answered straightforwardly using conceptual truths and empirical knowledge. Furthermore, she claims that this deflationary meta-ontology does not commit her to any form of anti-realism. In this paper I identify a problem with Thomasson’s account of quantification, according to which everything we quantify over falls under a sortal. Thomasson’s defence of the easiness of answering ontological questions relies on a certain thesis about the hierarchical order of sortals, but the case for the compatibility of Easy Ontology and realism suggests that this thesis is actually false.


Introduction
According to Amie Thomasson's easy approach to ontology, many ontological debates-like the one about the existence of composite objects-can be resolved easily. She thinks that there are analytic principles which, together with uncontroversial empirical knowledge, guarantee the existence of objects such as tables. There is thus no room for further metaphysical debates regarding the existence of composites (Thomasson 2007(Thomasson , 2009(Thomasson , 2015. The claim that analytic principles or conceptual truths can be used to resolve certain ontological disputes is not new: Carnap, the Neo-Fregeans, and Stephen Schiffer have made similar proposals (Carnap 1956;Hale and Wright 2009;Schiffer 2003). One obvious worry about such accounts is that the price of answering ontological questions easily is to commit oneself to some form of anti-realism: for if we are realists, how could conceptual investigations suffice to find out what exists? One particularly B Benjamin Marschall bm515@cam.ac.uk 1 Darwin College, University of Cambridge, Cambridge, England compelling feature of Thomasson's account is that she defends the compatibility of Easy Ontology and realism at length (Thomasson 2007: Section 3.3, Thomasson 2015: Section 3.3). In this paper I will argue, however, that her account of quantification, according to which everything we quantify over falls under a sortal, makes it doubtful whether her defence of realism succeeds.
I will proceed as follows: first I introduce Easy Ontology and the question of realism. Then I reconstruct Thomasson's account of quantification, and illustrate how it differs from the mainstream view held by contemporary neo-Quinean ontologists. Furthermore, I show that her so-called categorical quantification view plays a crucial role in defending Easy Ontology against what I call the One More Thing-objection. Lastly I introduce two criteria for realism, and argue that while the first criterion poses no problem for Easy Ontology, meeting the second criterion seems to be incompatible with the response Thomasson gave to the One More Thing-objection. I conclude that this tension provides good reason to doubt whether Thomasson can actually make ontology easy in a realist manner.

Easy Ontology and realism
While Thomasson wants to deflate many ontological disputes, it will be convenient to focus on one particular case. The debate about composition is a good candidate, since there is plenty of skepticism regarding the fruitfulness of mereological disputes. 1 The pertinent question is this: Are there composite objects, or merely simple particles? According to Thomasson's brand of meta-ontological deflationism, conceptual considerations combined with basic empirical knowledge suffice to establish the existence of composites. She argues that, taking one example, the following principle is a conceptual truth which is constitutive of the meaning of ' Given (T), it immediately follows that there are tables, and hence composite objects, since the existence of particles arranged table-wise is taken for granted in the debate.
This seems like an attractive view, but the fact that conceptual truths play a crucial role in answering ontological questions gives rise to the suspicion that we are dealing with a form of anti-realism, according to which the existence of (some) objects depends on the language or concepts we use. Already Carnap felt the need to distance himself from such a reading, here for the case of propositions: 1 Button (2016) calls mereology the "punchbag of contemporary metaphysics". 2 (T) actually combines two separate principles: Table' refers iff There are particles arranged table-wise. (ER) K s exist iff 'K' refers.
Strictly speaking only (T − ) states the application condition for the term 'table', but to simplify matters I will also call (T) an application condition.
[…A ] statement of the existence of linguistic entities (e.g., expressions, classes of expressions, etc.) must contain a reference to a language. The fact that no such reference occurs in the existential statements here, shows that propositions are not linguistic entities. (Carnap 1956: p. 210f) Similarly, although Schiffer calls propositions language-created, this does not mean that they literally didn't exist before we introduced that-clauses and other means to refer to them into our language. Instead it is merely supposed to flag that there is no way of knowing about such entities independently of language (Schiffer 1996: p. 159).
Despite these protestations, it is very common to read Carnap as an anti-realist (Biggs and Wilson 2016), and it has been argued that Schiffer's theory is not realist enough to account for inexpressible propositions (Hofweber 2016: p. 62f). It is thus important for Thomasson to tackle this crucial issue, and she does indeed provide a defence of realism, which I will critically discuss later on (Thomasson 2007(Thomasson : p. 65, 2015.
Before we come to that we need to understand how Thomasson deals with existence claims in more detail though, and for that her account of quantification is central. In the following sections, I will therefore first provide a detailed reconstruction of her views of quantifiers, and then show that this account is essential in defending Easy Ontology against a popular objection. On the way there we will also encounter an assumption Thomasson makes about the hierarchical order of sortals, which-unexpectedly-will turn out to be important in the discussion of realism later on.

Bare and categorical quantification
The core of Thomasson's proposal is a distinction between two kinds of quantification: bare quantification is quantification over everything whatsoever, whereas categorical quantification involves quantifying over specific kinds-or categories-of things. Given these characterisations, the crucial question is not whether both kinds of quantification are possible, which is relatively uncontroversial, but rather which of them is fundamental. The standard view is to adopt the priority of bare quantification:

Standard View
Bare quantification à la ∃xΦ is fundamental, and when we want to quantify over things of a specific kind K , we can just restrict the fundamental quantifier to things of that kind: ∃x(K x&Φ). Thomasson This position, which I will call the fundamental categorical quantification view, is unfamiliar, and it has been doubted whether it really is a genuine alternative to the standard view (Schaffer 2009). Therefore we need to spend some time on understanding in which respect the position substantially differs from more mainstream views on quantification.
I symbolised the fundamental categorical quantifier as '[∃x:F]'. This suggests a Geachian view, according to which the logical form of quantified statements contains a slot for sortals (Sider 2009: p. 419). However, Thomasson explicitly rejects this interpretation (as reported in Schaffer 2009: p. 149). This makes the following question pressing: […] [Thomasson's] considered view is conservative. She allows simple quantification. She would keep the simple syntax and the semantics of the existential quantifier exactly as per usual. So I ask, how could her view possibly have any radical implications for metaphysical disputes that turn on existential quantification, if the syntax and semantics of simple existential quantification are left intact? (Schaffer 2009: p. 149) Thomasson suggests that the need to specify a domain is the clue to understanding her view (Thomasson 2009: p. 463f). But it is not so clear what she means by that. According to the orthodox view on which bare quantification is fundamental, categorical quantification over Fs is achieved by restricting the bare quantifier to Fs. Using a domain restrictor is plausibly a way of specifying a domain-and indeed Schaffer seems to read Thomasson as identifying domain specification with domain restriction (Schaffer 2009: p. 150f). However, if one thinks that categorical quantification is fundamental, specifying a domain should presumably not amount to restricting an allencompassing quantifier, since the priority thesis says precisely that such a quantifier depends on the categorical quantifiers-not the other way round.
On occasion Thomasson also talks about domains being 'generated' (Thomasson 2007: p. 124), and suggests that accepting new sortals can enlarge ones domain of quantification (Thomasson 2015: p. 72). This doesn't sound like domain restriction, but if taken at face-value seems to lead to a form of anti-realism according to which language somehow creates the objects we quantify over-which is a position Thomasson explicitly rejects (Thomasson 2007: pp. 63ff, 185ff). There is thus good reason to sympathise with Schaffer's complaint that it is not obvious what Thomasson's views on quantification really amount to.

Assignments and the qua problem
I will now show that these doubts about fundamental categorical quantification can be overcome. In order to properly understand Thomasson's account, the following is a key passage: For the truth-evaluability of quantified claims '(∃x (Fx))' is parasitic on the truth-evaluability of substitution instances involving names (or other forms of singular reference) to pick out items in the domain, and thus relies on the truthevaluability of '(Fn 1 ),' '(Fn 2 )' . . . where 'n 1 ,' 'n 2 ,' and so on are names. But I have argued […] that consideration of the qua problem gives us reason to hold that singular reference can only be disambiguated to the extent that names, demonstratives, and other singular terms are associated with a category (or categories) of entity to be referred to, where this involves presupposing certain frame-level application and coapplication conditions for the terms. (Thomasson 2007: p. 117) The crucial clue here is that Thomasson takes the qua problem to be relevant for the semantics of quantification. The qua problem arises in connection with causal theories of reference: if we try to introduce a new name using, for instance, a pointing gesture, the pointing doesn't uniquely determine what the referent of the name is-it could be the table we pointed at, the colour of that table, or one of its surfaces. This underdetermination can be overcome by supplying some sortal, which specifies the kind of thing we intend to name. According to Thomasson, this shows that there can be no purely causal theory of reference, since descriptive components are needed to ensure determinate reference (Thomasson 2007: p. 38ff). Now here's a tempting thought, which I think is implicit in the earlier quote: (ST→Q) If the qua problem arises for singular terms in natural language and needs to be resolved by invoking sortals, then we also cannot refer to objects in our semantic machinery for quantification without relying on sortals.
In order to see why that is plausible, consider this clause from the standard modeltheoretic semantics of quantification: The role of the assignment function β is to assign objects to variables. Consequently, Φ(x) is true relative to β iff β maps the variable x to some object o from the domain D that satisfies Φ. Now one might raise the following question: Under what conditions can an assignment function β map a variable x to an object o from D?
The standard answer is that there are no substantial conditions which constrain assignments. The assumption is that it is "possible to assign any object whatsoever to any variable whatsoever, whether or not that object can be described or otherwise individually selected" (Lavine 2000: p. 24). Although standard, this view sits uneasily with what we learned from the qua problem. There the issue was that names, and other singular terms, don't determinately refer without the aid of sortals which disambiguate between multiple possible referents. Assigning objects to variables does not seem fundamentally different from using names to refer to objects, however: it is also a form of singular reference. Consequently, if a purely causal theory of reference is excluded by the qua problem, the idea that we can just arbitrarily assign any object to a variable-which amounts to saying that we can simply 'tag' objects without any further ado (Lavine 2000: p. 24)-seems to be in no better shape. 4 This consideration suggests that one should adopt a unified treatment: either demand sortals for both names and quantifiers, or neither. Since Thomasson requires sortals for names, she has to challenge the standard view of quantification as well. And given this we can now answer Schaffer's earlier question. While on the surface, Thomasson leaves the semantic clause unchanged, she adds a substantial assumption about the domain:

Sortal Constraint
Every element of the domain D falls under a sortal.
The reason for this is that by their nature, the elements of the domain are the values of the assignment function, and we have just seen that assignments without sortals need to be rejected. This makes Thomasson's account distinctive, since on the orthodox understanding of quantification there is no such constraint on the domain.
This interpretation makes good sense of fundamental categorical quantification. On the opposing view according to which bare quantification is fundamental, reference is easy: we can effortlessly quantify over everything whatsoever, since every element in the domain can simply be 'tagged'. According to the priority of categorical quantification, however, the possibility of referring to objects is not just taken for granted, but needs to be secured with the help of sortals first. Unrestricted quantification needs to be build up step by step, and only covers things that fall under some sortal. This intuitive difference is reflected in the competing conceptions of whether there are any substantial constraints on variable assignments. 5

Existence and analyticity
After this detailed reconstruction of what Thomasson's views on quantification are, I will now argue that accepting the Sortal Constraint is not just an optional feature that she could give up if needed. Rather, it plays an essential role in her defence of Easy Ontology against an objection that often arises against the claim that principles such as (T) There is a table iff There are particles arranged table-wise Footnote 4 continued as (temporary) names. If we take the qua problem for singular terms seriously we should therefore also require sortals for quantified claims, since the fomer are derivable from the latter. 5 One might worry that Thomasson relies on a substitutional reading of the quantifiers in the quote cited above, whereas I talked about objectual quantification. This distinction is inessential here, however. As has been repeatedly argued, plausible versions of substitutional quantification are equivalent to objectual quantification in that both require the possibility of referring to arbitrary objects somehow (Lavine 2000;Button and Walsh 2018: Chapter 1)-and whether this reference is achieved by variables or constants doesn't affect Thomasson's case for the Sortal Constraint. are analytic (Field 1989;Boolos 1998;Merricks 2000;Schaffer 2009;Bennett 2009;MacBride 2017).
The complaint is as follows: (T) cannot be a conceptual truth, since it makes a substantial demand on reality. It is only true if, in addition to the particles, there is also an object composed by them, namely the table (Bennett 2009: p. 56). I will call this the One More Thing-objection (OMT), since critics are upset by the fact that (T) is supposed to entail the existence of one more object than the truth of its right-hand side seems to require.
If one is convinced by the OMT-objection one should maintain that, if there is a conceptual truth in the vicinity of (T) at all, it has to be (T*) There is a table iff There are particles arranged table-wise and they compose an object.
And this would be a problem for proponents of Easy Ontology, since (T*) doesn't enable us to easily derive the existence of tables. After all, whether particles arranged table-wise compose an object or not is just the contentious issue we were trying to settle. Thomasson grants that if sense could be made of the idea that there needs to be an additional object or thing, hard ontology can be revived: […] all hopes for using the special composition question in arguments against ordinary objects rely on the idea that we can make sense of this […] use of 'thing'. (Thomasson 2007: p. 136) Her strategy, however, is to argue that there is no way of understanding 'thing' and 'object' such that the worry above can be raised. And this leads us to quantification, since serious metaphysicians usually adopt the following definition of 'object': a is an object if and only if ∃x(x = a) (Schaffer 2009: p. 152) Given this, one can rephrase (T*): (T**) There is a table iff There are particles arranged table-wise and ∃x(the particles compose x).
And since Thomasson doesn't want to throw quantification and identity over board, we need some explanation of what is wrong with (T**) in order to stick with (T). Luckily the Sortal Constraint introduced earlier, together with some other principles Thomasson accepts, provides just such an explanation.

Easy Ontology defended
In order to defend Easy Ontology against the OMT-objection, Thomasson needs to show that it is a mistake to replace her principle (T) There is a table iff There are particles arranged table-wise with (T*), or more specifically with the quantificational version: (T**) There is a table iff There are particles arranged table-wise and ∃x(the particles compose x).
As I will now show, fundamental categorical quantification as described above enables us to give an argument against (T**). In order for it to succeed, however, we need to rely on two background assumptions which Thomasson outlines in her writings. The first is a constraint on what can legitimately count as an application condition:

Non-Circularity
Application conditions must not have the form: "Ks exist iff .... and Ks exist …" (see Thomasson 2015Thomasson : p. 99, 2017 139f) The rationale behind this is straightforward. Application conditions are supposed to informatively state the conditions under which the term 'K' refers, and thus to explain when Ks exist. They cannot fulfil this job if they are circular though, because then we would need some other way to establish whether Ks exist. Thus while biconditionals such as " Tables exist if and only if some particles compose a table" are true, they are not informative enough to deserve the title of an application condition. 6 The second assumption concerns the relation of different sortals:

Hierarchy of Sortals
If F is a sortal (e. g. mammal) and G is some more specific sortal falling under F (e. g. tiger), then the application conditions for F will depend on the application conditions of the more specific sortal G (and the other sortals falling under F) (see Thomasson 2007: p. 41f).
This is a substantial principle, which-among other things-is required for Thomasson's argument that the so-called covering use of 'object' is of no help to the hard ontologist to work (Thomasson 2009: p. 460). Thomasson says little in direct support of it, but let us take it on board for now, as we will revisit its plausibility at a later stage.
We are now in a position to construct an argument against (T**) which follows a line of reasoning Thomasson uses on a similar occasion (Thomasson 2009: p. 459f). First, note that according to the account on the table, '∃x(the particles compose x)' can only be true if there is some sortal S which enables the variable x to refer.
Secondly, consider the question: which sortal can fulfil this job? Presumably tiger and fridge won't do. If the table-wise arranged particles compose anything, it will be a table. So we either need the sortal table itself, or some more general sortal, like piece of furniture or material object.
If the sortal table is required to ensure the truth of '∃x(the particles compose x)', the Non-Circularity condition is violated though. Remember that if (T**) replaces (T), the former is not merely supposed to be a true biconditional. Instead (T**) is supposed to spell out the application conditions for 'table', so it needs to explain when 'table' is correctly applied, and hence when tables exist. But since according to the fundamental categorical quantification view, the truth of the right-hand side of (T**) already depends on the sortal table, and hence on the existence of tables, this explanatory function cannot be fulfilled. Thomasson is thus in a position to reject the move from (T) to (T**), since (T) doesn't suffer from this problematic circularity.
One might think that using a more general sortal like material object solves this problem. Against this, Thomasson can rely on the Hierarchy of Sortals assumption, according to which the application conditions of material object are fulfilled only if those of some more specific sortal are fulfilled as well. In consequence, the circularity problem reappears, just in a more indirect manner. Whether material object can be used to refer to some object ultimately depends-in case the relevant object is a table-on whether the sortal table applies. At this point, we can then refer back to the previous argument.
My interpretation of categorical quantification thus delivers the desired result. Since on this construal the alternative proposals are circular, Thomasson is well-placed to insist that (T), not (T*) or (T**), is the constitutive principle about tables. Ontology remains easy.

Two tests for realism
We now have an intelligible account of what fundamental categorical quantification amounts to, and also saw how the Sortal Constraint helps to answer the OMT-objection. In this section we will come back to the question of realism by introducing two tests for realism: the counterfactual test and the Hamlet test. 7 We will see that while the counterfactual test is no hurdle for Easy Ontology, this test is very weak in that even self-consciously anti-realist views can pass it. Then I will argue that passing the Hamlet test is more challenging, and ultimately threatens to commit Thomasson to a view of sortals which is incompatible with her response to the OMT-objection.
The counterfactual test for anti-realism is straightforward. For a view to be realist, it needs to make counterfactuals such as the following true: (C) If there had been no minds in the universe, there still could have been tables.
It is clearly correct that being able to account for the truth of (C) is a necessary condition for a view to be realist. And as Thomasson convincingly argues, her Easy Ontology has no problem here. Since the application conditions for (T) don't mention the existence of minds as a condition for the existence of tables, there is no reason why she would have to deny that (C) is true (Thomasson 2007: p. 65f).
While passing the counterfactual test is a necessary condition for realism, it is arguably not sufficient. For consider the following card-carrying form of anti-realism about composition: Pearce's Mereological Idealism (MI), according to which "it is when a plurality is unified in thought under a concept that a unified whole comes to exist" (Pearce 2017: p. 200). On this view, the existence of composite objects is mind-dependent in a way Thomasson rejects, and one would thus expect that MI fails the counterfactual test. As Pearce points out, however, even given MI the standard semantics for counterfactuals actually makes (C) true. This is because we evaluate possible cases using our concepts, according to which tables are unified wholes, even though in the possible world under consideration there are no concept-users around (Pearce 2017: p. 207). 8 The upshot of this is that the counterfactual test is quite weak, as few positions actually fail to pass it. An analogous point has already been made by Hilary Putnam, who comments on the question of realism as follows: Human minds did not create the stars or the mountains, but this 'flat' remark is hardly enough to settle the philosophical question of realism versus antirealism. (Putnam 1990: p. 30) More specifically, I think we should add another necessary condition for realism: passing the Hamlet test.
Whereas the counterfactual test is about whether, once we have the means to talk about certain entities, we can truly say that they would exist even if we weren't around, the Hamlet test concerns, as it were, whether we can truly say that there are more things in heaven and earth than are dreamt of in our current language and theories. Less metaphorically: in order to pass the Hamlet test, a theory must allow for the possibility that there might be objects which do not fall under any sortal we have in our language. For it is hard to see how the claim that necessarily everything there is can be described using the conceptual resources we actually have could be motivated apart from some form of idealism-and a realist should hence avoid this commitment. Let us thus consider how the Sortal Constraint fares on that front.

Concepts and predicates
It will be useful to draw a distinction between two kinds of things one could mean by 'sortal'. On the one hand, there are sortal predicates such as 'is a tiger', which are linguistic entities. On the other hand, there are sortal concepts, which are expressed by sortal predicates-these might be mental or abstract, but their precise nature doesn't matter for our purposes here. And crucially, while it seems clearly true that our language doesn't contain all possible sortal predicates, this does not entail that we don't have all sortal concepts at our disposal. After all, it would be unreasonable to assume that we can use a concept only if we have an atomic predicate that corresponds to it in our language (Lowe 2007: p. 515). 9 In light of this, consider again the Sortal Constraint:

Sortal Constraint
Every element of the domain D falls under a sortal. This is ambiguous between requiring sortal predicates or sortal concepts. On the predicate-reading the Hamlet test poses a problem for Thomasson, for consider the following claim (adapted from Korman 2019: p. 241): (H) There are objects which do not fall under any sortal.
If we read (H) as referring to sortal predicates, the truth-conditions for it are as follows: (H) is true iff there is an object in the domain such that no sortal predicate in our language applies to it. But this condition can only obtain if we can quantify over objects which don't fall under a sortal predicate-which is precisely what the predicatereading of the Sortal Constraint denies. The situation is different, however, when we read the Sortal Constraint as demanding that objects fall under sortal concepts. For then (H) can be true-provided we still read it as applying to sortal predicates-if we have sortal concepts to which no atomic predicate of our language corresponds. And since the intuition that (H) is true seems to depend on the fact that our language doesn't contain all possible sortal predicates, this strategy solves the problem, provided that Thomasson is in a position to make sense of the concept-reading of the Sortal Constraint. 10 The turn to sortal concepts introduces complications for Thomasson though. While it is plausible that not all sortal concepts need to correspond to sortal predicates we actually have in our language, their independence should not be exaggerated either. Thomasson needs to hold that for any sortal concept it is in principle possible to add a predicate corresponding to it to our language (Thomasson 2019: p. 259), so on her view there can be no sortals that are in principle inexpressible.
To see why this is so, we can start from Thomasson's remark that a sortal is essentially a way to "divide things up" (Thomasson 2007: p. 124). For any sortal concept S, there must thus be some condition that determines which objects fall under it and which don't. But this condition just is what Thomasson calls an application condition, and so it will be possible to introduce a sortal predicate P which expresses S by associating P with the appropriate application conditions. 11 There is thus no room for in principle inexpressible sortal concepts, unless we throw the whole idea of application conditions-which is obviously essential to Thomasson's project-over board.
So far it seems as if the Hamlet test is no serious problem for Easy Ontology. A more detailed look at how the introduction of sortals is supposed to work, however, will reveal a hidden tension with Thomasson's answer to the OMT-objection.

Hierarchy of sortals reconsidered
The tension within Thomasson's account is best illustrated by an example: the discovery of a new animal species X. The proposal under discussion has it that after the discovery a new sortal predicate for Xs is introduced into our language. Since the 10 Some might even find the requirement that everything we can quantify over must fall under a sortal concept objectionable, since they think that genuine realism requires the possibility that there are objects which are not conceptualisable at all, such as Johnston's Enigmas (Johnston 1993: p. 96). I think it is correct that Thomasson will not be able to account for that eventuality, but for the purposes of this paper I will not consider whether this is a reasonable condition for realism or not. For discussion see the dispute between Hofweber and Schiffer about how to make sense of inexpressible properties and propositions (Hofweber 2016;Schiffer 2016). 11 Note that Thomasson doesn't assume that application conditions must be statable, so the introduction of P doesn't have to take the form of a definition of P in other terms, but may merely consist in P being used in certain ways (Thomasson 2015: p. 91). sortal concept for Xs had been available all along, however, it was already possible to quantify over Xs before the introduction of this predicate.
The interesting question now is how the introduction of the new sortal predicate works. Earlier I only mentioned the need to add application conditions for X, but that cannot be all there is to it, for X will be related to other sortals in various ways. In particular, X will fall under the sortal animal, and also one of the more specific sortals such as mammal, insect, etc. In reply to an objection by Evnine (2016), Thomasson stresses that this coordination of different sortals is achieved by other analytic principles which are not the application conditions strictly speaking: […] proper sortal terms (as I have often insisted) must come with application conditions and coapplication conditions, and may also come with other constitutive rules of use, for example, relating their use to that of other terms. It is the presence of these other rules in constituting what it is our term means, even when it is used in the existence question, that can ensure that the things referred to (if any) have other features. (Thomasson 2015: p. 225) This raises the following question: when adding the new sortal X to our language, is it a matter of mere choice whether we add constitutive rules that classify X as a mammal as opposed to an insect or a fish? Presumably not. The plausible thing to say is that high-level sortals put certain constraints on low-level sortals, such that every new sortal that comes with certain properties must fall under one high-level sortal rather than another. On this picture, the meaning of low-level sortals is thus partly determined by high-level sortals.
This story comes with a cost though. Remember that when discussing the OMTobjection, we saw that Thomasson accepts the following principle:

Hierarchy of Sortals
If F is a sortal (e. g. mammal) and G is some more specific sortal falling under F (e. g. tiger), then the application conditions for F will depend on the application conditions of the more specific sortal G (and the other sortals falling under F) (see Thomasson 2007: p. 41f).
This was crucial in order to argue that any attempt to state application conditions in such a way that the existence of tables becomes doubtful-for instance by requiring that particles arranged table-wise need to compose a material object-becomes circular. So for the argument against the OMT-objection to work, low-level sortals must determine the meaning of high-level sortals.
The tension that Thomasson's account faces is now obvious. Rebutting the OMTobjection and passing the Hamlet test suggest two ways of thinking about the relation between sortals that pull in opposite directions. The process of introducing new sortals suggests that high-level sortals constrain what low-level sortals can fall under them. But since this entails that high-level sortals must have application conditions which are not fully determined by more specific sortals, it becomes unclear why there could not be cases in which we can, for instance, meaningfully ask whether some things compose a material object independently of whether they compose a table, a chair, and so on.
One might object that this is not a serious issue, for even though there are some conditions associated with the sortal material object that are not determined by lowlevel sortals, no one could dispute that ordinary objects such as tables fulfil these conditions-so hard ontology cannot be revived. Fair enough, but note that Thomasson actually endorses a form of mereological universalism, according to which every collection of particles composes an object (Thomasson 2007: p. 183ff, see also Button 2016: Section 3), and is hence committed to objects such as in-cars and trout-turkeys. Since it is by no means obvious that the ordinary meaning of material object is such that these unusual objects fall under it, it seems that hard ontology can be revived at least for these cases.
Could Thomasson respond by sticking with the Hierarchy of Sortals principle and modifying her reply to Evnine? I don't think this is an option, for the thought that high-level sortals constrain the meaning of low-level sortals appears to be an essential feature of our use of sortals. Taking the Hierarchy of Sortal principle seriously, on the other hand, would have the strange consequence that every introduction of a new sortal into our language changes the meaning of many of the high-level sortals-and this is a description of the situation which seems completely unmotivated. We therefore have weighty reasons to retain Thomasson's reply to Evnine and reject the Hierarchy of Sortals principle as implausible instead. And while this helps Thomasson to pass the Hamlet test, it undermines her response to the OMT-objection-and thus the easiness of Easy Ontology is in danger. 12

Conclusion
In this paper I did three things. First, I presented a reconstruction of Thomasson's views on quantification, in which I showed that what makes her account non-standard is the Sortal Constraint. Secondly, I pointed out that the Sortal Constraint plays an important role in her defence of Easy Ontology, since it enables her to rebut the One More Thingobjection. Thirdly, I argued that the Hierarchy of Sortals principle Thomasson relies on in this rebuttal is questionable, since a plausible account of how Easy Ontology can pass the Hamlet test for realism is incompatible with this principle. This is of course no final refutation of Thomasson's attempt to make ontology easy in a realist manner. But she either needs a detailed defence of the Hierarchy of Sortal principle, or a new way to respond to the OMT-objection-and neither task looks easy.