Quantification and Ontology

Arguments for a theory about the nature of the ontological categories, the relations that determine them and their epistemic role in the construction of different kinds of limited, but true knowledge of reality in itself.

In this talk, I propose a new account of ontological form, formal ontological relations, modes of being and hence of specifying the subject matter of metaphysics.

Metaphysicians with reductive theories of reality like to say how those theories account for ordinary usage and belief. A typical strategy is to offer theoretical sentences, often called ‘paraphrases’, to serve in place of various sentences that occur in ordinary talk. But how should we measure success in this endeavor? Those of us who undertake it usually have a vague set of theoretical desiderata in mind, but we rarely discuss them in detail. My purpose in this paper is to say (...) exactly what they are, and why. -/- Among the questions I want to address: what counts as an adequate theoretical replacement for an ordinary sentence? On whom does the burden of proof lie when it is unclear whether a theory of reality can provide a true replacement for some ordinary truism? Which ordinary truisms are most important to ‘save’ in this way, and why? What role does the theoretical virtue of simplicity play in this strategy: is the goal to offer simpler replacement sentences, or a simpler recipe for matching them with ordinary claims? Finally, how do recipes of this sort relate to the theories of natural language sought by semanticists? Answering these questions is crucial if we want to get clear on how best to evaluate reductive theories of reality that make use of the ‘paraphrase strategy’. (shrink)

Here I first raise an argument purporting to show that Lewis’ Modal Realism ends up being entirely trivial. But although I reject this line, the argument reveals how difficult it is to interpret Lewis’ thesis that possibilia “exist.” Five natural interpretations are considered, yet upon reflection, none appear entirely adequate. On the three different “concretist” interpretations of ‘exist’, Modal Realism looks insufficient for genuine ontological commitment. Whereas, on the “multiverse” interpretation, Modal Realism acknowledges physical possibilities only--and worse, (assuming either axiom (...) S5 or axiom B) each possibilium ends up as a necessary physical existent. Finally, on the “broadly Actualist” of ‘exist’, Modal Realism is either inconsistent or it mistakenly identifies the unrestricted quantifier with the unrestricted Actualist quantifier. The upshot is that it remains obscure in what non-trivial sense Lewisian possibilia “exist.”. (shrink)

Eli Hirsch recently suggested the metaontological doctrine of so-called "quantifier variance", according to which ontological disputes—e.g. concerning the question whether arbitrary, possibly scattered, mereological fusions exist, in the sense that these are recognised as objects proper in our ontology—can be defused as insubstantial. His proposal is that the meaning of the quanti er `there exists' varies in such debates: according to one opponent in this dispute, some existential statement claiming the existence of, e.g., a scattered object is true, according to (...) the other it is not. This paper argues that Hirsch's proposal leads into inconsistency. (shrink)

According to Varzi's nominalism properties are typical examples of ontological hallucinations. In this brief paper I'll focus on an interesting argument that Varzi puts forward against the Realists’ tenet according to which predicates have properties as ontological correlates. I’ll argue that even if Varzi's argument is not convincing, the metalinguistic nominalism he espouses has sufficient resources to meet the realists' challenge concerning the phenomenon of predication. Furthermore, I'll make some methodological remarks about the relationship holding between the «dot quote» analysis (...) and two main conceptions of ontology, i.e. the hermeneutic and the revisionist one. (shrink)

Ramsification is a well-known method of defining theoretical terms that figures centrally in a wide range of debates in metaphysics. Prior's puzzle is the puzzle of why, given the assumption that that-clauses denote propositions, substitution of "the proposition that P" for "that P" within the complements of many propositional attitude verbs sometimes fails to preserve truth, and other times fails to preserve grammaticality. On the surface, Ramsification and Prior's puzzle appear to have little to do with each other. But Prior's (...) puzzle is much more general than is ordinarily appreciated, and Ramsification requires a solution to the generalized form of Prior's puzzle. Without such a solution, a wide range of theories will either fail to imply their Ramsey sentences, or have Ramsey sentences that are ill-formed. As a consequence, definitions of theoretical terms given using the Ramsey sentence will be either incorrect or nonsensical. I present a partial solution to the puzzle that requires making use of a neo-Davidsonian language for scientific theorizing, but the would-be Ramsifier still faces serious challenges. (shrink)

According to Jody Azzouni’s “deflationary nominalism,” the singular terms of mathematical language applied or unapplied to science refer to nothing at all. What does exist, Azzouni claims, must satisfy the quaternary condition he calls “thick epistemic access”. In this paper I argue that TEA surreptitiously reifies some mathematical entities. The mathematical entity that I take TEA to reify is the Fourier harmonic, an infinite-duration monochromatic sinusoid applied throughout engineering and physics. I defend the reality of the harmonic, in Azzouni’s account, (...) not by satisfying all four TEA conditions with respect to it, but by showing that the harmonic renders satisfiable the TEA condition called “grounding,” specifically in Azzouni’s example of a human visually perceiving a vase. The harmonic thereby plays what Azzouni calls an “epistemic role,” and merits inclusion in the deflationary nominalist ontology. Against the “coding” objection of Azzouni and Bueno, which would nominalize the harmonic to nonexistent status, I reply that in the context of grounding, the coding objection begs the question. (shrink)

There’s the question of what there is, and then there’s the question of what ultimately exists. Many contend that, once we have this distinction clearly in mind, we can see that there is no sensible debate to be had about whether there are such things as properties or tables or numbers, and that the only ontological question worth debating is whether such things are ultimate (in one or another sense). I argue that this is a mistake. Taking debates about ordinary (...) objects as a case study, I show that the arguments that animate these debates bear directly on the question of which objects there are and cannot plausibly be recast as arguments about what’s ultimate. I also address the objection that, because they are easy answerable, questions about what there is cannot be a proper subject of ontological debate. (shrink)

In this review I take to task the related views of E.J. Lowe, John Heil and Peter Simons according to which relations don't exist because they're dispensable qua truth-makers. I argue that this view is methodologically unstable because we also have reason to believe that relations exist because our best mathematical and scientific theories say so, i.e. quantify over them.

One of the core issues where interpreters of Kant disagree is with regards to Kant’s alleged Noumenalism: the claim that the objects of our experience, which are in space and time, are underpinned by entities that are not spatio-temporal, and which non-spatio-temporally cause our representations of empirical objects. Although there is much textual evidence in favour of Noumenalism, non-Noumenalists have also gathered a significant number of philosophical and exegetical challenges to such a reading of Kant. I present a novel way (...) of understanding the Noumenalist view, which characterizes the distinction between appearances and things in themselves as the distinction between referents and truthmakers. After fleshing out this distinction, I show that, on this interpretation of Kant, the most pressing problems for the Noumenalist reading are primarily based on equivocations between features of reference and features of truthmaking. (shrink)

Making use of Kayne's (2005, 2010) theory of light nouns, this paper argues that light nouns are part of (simple) names and that a mass-count distinction among light nouns explains the behavior of certain types of names in German as mass rather than count. The paper elaborates the role of light nouns with new generalizations regarding their linguistic behavior in quantificational and pronominal NPs, their selection of relative pronouns in German, and a general difference in the support of plural anaphora (...) between English and German. (shrink)

The Cartesian thinking self may seem indisputably real. But if it is real, then so thinking, which would undercut mental fictionalism. Thus, in defense of mental fictionalism, this paper argues for fictionalism about the thinking self. In short form, the argument is: (1) If I exist outside of fiction, then I am identical to (some part of/) this biomass [= my body]. (2) If I die at t, I cease to exist at t. (3) If I die at t, no (...) part of this biomass ceases to exist at t. (4) Therefore, no part of this biomass is identical to me. [From (2), (3)] (5) Therefore, I do not exist outside of fiction. [From (4), (1)] One reply to the argument is that the self is an aggregate of electricity in the brain which disperses upon death. The rejoinder is that this, at best, describes the thoughts realized in the brain, and not the subject who thinks the thoughts. A second objection stresses the undeniable sense that the thinking self has a location. In reply, the extended thought-experiment from Dennett’s “Where Am I?” is used to show that the sense of self-location may well be illusory. (shrink)

According to Composition as Identity (CAI), a whole is distinct from each of its parts individually, but identical to all of them taken together. It is sometimes claimed that, if you accept CAI, then your belief in a whole is ‘ontologically innocent’ with respect to your belief in its parts. This claim is false. But the defender of CAI can claim a different advantage for her view. Following Agustín Rayo, I distinguish ontology (which concerns what there is) from plethology (which (...) concerns what there are). I then show that CAI allows us to introduce an interesting notion of ‘plethological innocence’ which would otherwise collapse into the notion of ‘ontological innocence’, and that CAI renders belief in composite objects plethologically (but not ontologically) innocent. (shrink)

Ontological pluralism is the view that there are different fundamental ways of being. Recent defenders of this view—such as Kris McDaniel and Jason Turner—have taken these ways of being to be best captured by semantically primitive quantifier expressions ranging over different domains. They have thus endorsed, what I shall call, quantificational pluralism. I argue that this focus on quantification is a mistake. For, on this view, a quantificational structure—or a quantifier for short—will be whatever part or aspect of reality’s structure (...) that a quantifier expression carves out and reflects. But if quantificational pluralism is true, then a quantifier should be more natural than its corresponding domain; and since it does not appear to be the case that a quantifier is more natural than its corresponding domain, quantificational pluralism does not appear to be true. Thus, I claim, an ontological pluralist should not be a quantificational pluralist. (shrink)

This paper investigates the connection between two recent trends in philosophy: higher-orderism and conceptual engineering. Higher-orderists use higher-order quantifiers (in particular quantifiers binding variables that occupy the syntactic positions of predicates) to express certain key metaphysical doctrines, such as the claim that there are properties. I argue that, on a natural construal, the higher-orderist approach involves an engineering project concerning, among others, the concept of existence. I distinguish between a modest construal of this project, on which it aims at engineering (...) higher-order analogues of the familiar notion of first-order existence, and an ambitious construal, on which it additionally aims at engineering a broadened notion of existence that subsumes first-order and higher-order existence. After identifying a substantial problem for the ambitious project, I investigate a possible response which is based on adopting a cumulative type theory as the background higher-order logic. While effective against the problem at hand, this strategy turns out to undermine a major reason to embrace higher-orderism in the first place, namely the idea that higher-orderism dissolves a range of otherwise intractable debates in metaphysics. Higher-orderists are therefore best advised to pursue their engineering project on the modest variant and against the background of standard type theory. (shrink)

What are the prospects for a linguistic approach to ontology? Given that it seems that there are true subject-predicate sentences containing empty names, traditional linguistic approaches to ontology appear to be flawed. I argue that in order to determine what there is we need to determine which sentences ascribe properties (and relations) to objects, and that there does not appear to be any formal criterion for this. This view is then committed to giving an account of what predicates do in (...) sentences when they do not ascribe properties. I sketch an approach to the varieties of predication. (shrink)

Quantifier variance holds that different languages can have unrestricted quantifier expressions that differ in meaning, where an expression is a “quantifier” just in case it plays the right inferential role. Several critics argued that J.H. Harris’s “collapse” argument refutes variance by showing that identity of inferential role is incompatible with meaning variance. This standard, syntactic collapse argument has generated several responses. More recently, Cian Dorr proved semantic collapse theorems to generate a semantic collapse argument against variance. The argument is significantly (...) different from standard collapse, so it requires a new response. Here I clarify and analyze the semantic collapse argument, and explain how variantists can and should respond to it. The paper also includes an appendix showing the difficulties of positing identity variance without quantifier variance. The argument in the appendix has yet to appear in print, but is familiar to specialists. (shrink)

Hossack's 'The Metaphysics of Knowledge' develops a theory of facts, entities in which universals are combined with universals or particulars, as the foundation of his metaphysics. While Hossack argues at length that there must be negative facts, facts in which the universal 'negation' is combined with universals or particulars, his conclusion that there are also general facts, facts in which the universal 'generality' is combined with universals, is reached rather more swiftly. In this paper I present Hossack with three arguments (...) for his conclusion. They all draw, as does Hossack's theory of facts, on views Russell expressed in various writings. Two arguments are based on Russell's explanation of universals as aspects of resemblance; the third on Russell's observation that general propositions do not follow logically from exclusively particular premises. Comparison with other metaphysics of generality show them to be wanting and Russell's and Hossack's accounts superior. (shrink)

Perhaps nowhere better than, "On the Names of God," can readers discern Laclau's appreciation of theology, specifically, negative theology, and the radical potencies of political theology. // It is Laclau's close attention to Eckhart and Dionysius in this essay that reveals a core theological strategy to be learned by populist reasons or social logics and applied in politics or democracies to come. // This mode of algorithmically informed negative political theology is not mathematically inert. It aspires to relate a fraction (...) or ratio to a series ... It strains to reduce the decided determinateness of such seriality ever condemned to the naive metaphysics of bad infinity. // It is worth considering that it is the specific 'number' of Dionysius in differential identification with an ineffable god (and, as such, a singular becoming between theology and numbers) that is floating in at least two dimensions [of signification] (be it political Demand on the horizontal dimension or theological Desire on [a] floating dimension) that cannot but perform the link that relinks names of god with any political life, populist reason, social justice, or radical democracy straining toward peace. (shrink)

Several recent discussions of metaphysics disavow existence-questions, claiming that they are metaphysically uninteresting because trivially settled in the affirmative by Moorean facts. This is often given as a reason to focus metaphysical debate instead on questions of grounding. I argue that the strategy employed to undermine existence-questions fails against its usual target: Quineanism. The Quinean can protest that the formulation given of their position is a straw man: properly understood, as a project of explication, Quinean metaphysics does not counsel us (...) to choose between obvious ordinary-language claims and absurd revisionist claims, even if appeal to Moorean facts is permitted. (shrink)

The aim of the paper is to bring clarity regarding the doctrine of quantifier variance (due to Eli Hirsch), and two prominent arguments against this doctrine, the collapse argument and the Eklund-Hawthorne argument. Different versions of the doctrine of quantifier variance are distinguished, and it is shown that the effectiveness of the arguments against it depends on what version of the doctrine is at issue. The metaontological significance of the different versions of the doctrine are also assessed. Roughly, quantifier variance (...) concerns there being different possible existential quantifier meanings, and often the doctrine involves a claim to the effect there is no unique “best” quantifier meaning. Much of the discussion in the paper concerns what it is to be an existential quantifier meaning in the sense at issue. (shrink)

Thomasson’s easy ontology approach (2015) aims at deflating existence questions through a revival of Carnap’s (1950) distinction between internal and external questions. Importantly, her account depends on an analysis of the ordinary meaning of ‘exist(s)’ as a second-order predicate. I do two things in this paper. First, I show that Thomasson’s analysis fails to do justice to the complexity of the English predicate ‘exist(s)’. Against Thomasson, I argue that there are cases in which ‘exist(s)’ functions as a first-order predicate. Because (...) these cases were first noted by P.F. Strawson (1967), I will call them ‘Strawson-cases’. Secondly, I argue that these counterexamples give some support to (i) more substantive theories about existence as well as (ii) accounts that treat ‘exist(s)’ as varying in meaning. (shrink)

The use-mention distinction is elaborated into a four-way distinction between use, formal mention, material mention and pragmatic mention. The notion of pragmatic mention is motivated through the problem of monsters in Kaplanian indexical semantics. It is then formalized and applied in an account of schemata in formalized languages.

In this paper I take second order-quantification to be a sui generis form of quantification, irreducible to first-order quantification, and I examine the implications of doing so for the debate over the existence of properties. Nicholas K. Jones has argued that adding sui generis second-order quantification to our ideology is enough to establish that properties exist. I argue that Jones does not settle the question of whether there are properties because—like other ontological questions—it is first-order. Then I examine three of (...) the main arguments for the existence of properties. I conclude that sui generis second-order quantification defeats the “one over many” argument and that, coupled with second-order predication, it also defeats the reference and quantification arguments. (shrink)

ABSTRACT There has been recent interest in the idea that, when metaphysicians disagree over the truth of ‘There are numbers’ or ‘Chairs exist’, their dispute is merely verbal. This idea has been taken to motivate quantifier variance, the view that the meanings of quantifier expressions vary across different ontological languages, and that each of these meanings is of equal metaphysical merit. I argue that quantifier variance cannot be upheld in light of natural language theorists’ analyses of quantifier expressions. The idea (...) that metaphysicians are engaged in verbal disputes can be maintained only through alternative strategies that have nothing to do with quantifier expressions. (shrink)

The objectively best language is intended to refer to some metaphysically privileged language that ‘carves reality at its joints’ perfectly. That is, it is the kind of language that various ‘metaphysical deflationists’ have argued is impossible. One common line of argument amongst deflationists is that we have no means to compare languages that all express true facts about the world in such a way to decide which is ‘better’. For example, the language is physics is not objectively better than the (...) language of economics, as each language has the semantic purpose of expressing some domain of truths about the world inexpressible in the other language, and therefore neither could be ‘objectively best’. In this paper, I argue that metaphysical deflationists have failed to recognise a distinction between fine- and coarse-grained semantic purposes of languages, and that a recognition of that distinction provides us grounds to compare languages to see which is objectively best. I argue that once we recognise the distinction between fine- and coarse-grained semantic purposes, then we can see that it is relative to the coarse-grained purpose that we must compare putative objectively best ontological languages. (shrink)

Metaphysical and ontological debates, concerning what exists and the nature of reality, are perennial features of the philosophical landscape. However, some have argued that ontological debates are non-substantive, pointless, trivial, incoherent, or impossible. Debates about whether tables exist, for example, or about the nature of reality, are taken to be in some way deficient. This has led to a burgeoning literature studying the nature of metaphysical and ontological disputes themselves. One major debate within this context concerns the language of ontology. (...) The central question is whether the nature of language influences or limits our ability to engage productively in ontological disputes. While we typically think that our language describes the world, or at least can accurately describe the world, there have been many who have argued that the nature of language inherently influences and limits our attempts to understand the nature of reality-that our claims about what exists are, in fact, merely a reflection of how we happen to speak or think. The Language of Ontology collects chapters from established participants in the debate alongside new voices, to explore the range of issues relating to our ability or inability to get beyond the limits of our language. (shrink)

Subverting a once widely held Quinean paradigm, there is a growing consensus among philosophers of logic that higher-order quantifiers (which bind variables in the syntactic position of predicates and sentences) are a perfectly legitimate and useful instrument in the logico-philosophical toolbox, while neither being reducible to nor fully explicable in terms of first-order quantifiers (which bind variables in singular term position). This article discusses the impact of this quantificational paradigm shift on metaphysics, focussing on theories of properties, propositions, and identity, (...) as well as on the metaphysics of modality. (shrink)

The chapter introduces and defends structural pluralism: the view that there is a plurality of ways of carving nature at the joints. The first part of the chapter argues that structural pluralism is able to meet a challenge to Ted Sider’s monism about joint-carving. The second part spells out the metaontological consequences of adopting structural pluralism, and shows that the view is compatible with a moderate form of deflationism about ontological disagreement. The third and last part fleshes out a number (...) of consequences of adopting structural pluralism, and suggests further applications of that view, including a reassessment of an influential argument against vague existence. (shrink)

Philosophical questions regarding the nature and methodology of philosophical inquiry have garnered much attention in recent years. Perhaps nowhere are these discussions more developed than in relation to the field of metaphysics. The Routledge Handbook of Metametaphysics is an outstanding reference source to this growing subject. It comprises thirty-eight chapters written by leading international contributors, and is arranged around five themes: • The history of metametaphysics • Neo-Quineanism (and its objectors) • Alternative conceptions of metaphysics • The epistemology of metaphysics (...) • Science and metaphysics. Essential reading for students and researchers in metaphysics, philosophical methodology, and ontology, The Routledge Handbook of Metametaphysics will also be of interest to those in closely related subjects such as philosophy of language, logic, and philosophy of science. (shrink)

W. V. Quine stands out as one of the foremost figures of twentieth-century analytic philosophy. This chapter aims to show that a significant part of his work’s enduring value lies in its contribution to metametaphysics, which will include showing how some more contentious aspects of Quine’s thought can be seen as indispensable to it; we will problematise the widespread belief that one can isolate basic elements of Quine’s metametaphysics without eroding their warrant. -/- §1 introduces the broad context. §2 examines (...) Quine’s most clearly metametaphysical work (and the desired backdrop for many analytic philosophers): ‘On what there is’. Finding the story incomplete here, we explore other elements of Quine’s corpus in turn. §3 analyses the nascent naturalism evident in ‘Two dogmas of empiricism’, §4 explores how the principle of charity becomes significant in Word & Object, and §5 shows how the eponymous principle of ‘Ontological relativity’ aims to defuse the puzzles of indeterminacy. In the process we will see how Quine’s concerns stemming from naturalism in general, and from the problems of indeterminacy in particular, make it hard to separate the basic picture from his more controversial fullblown approach – hard, that is, to avoid ontological relativity. This is bad news for those wishing to use Quine as a neutral backdrop to analytic metaphysical debate, but good news for those who value the distinctive philosophical tradition within which Quine’s work is a key development. (shrink)

A world where there exists n concrete things is a count-determinate world. The orthodox view is count-determinacy is necessary; if to be is to be the value of a variable and the domain of quantification is enumerable, count-determinacy follows. Yet I argue how many there are can be indeterminate; count-indeterminacy is metaphysically possible and even likely actual. Notably, my argument includes rebuttals of Evans’ reductio of indeterminate identity and the Lewis/Sider ‘argument from vagueness’. Count-indeterminacy should therefore be recognized as another (...) basic form of genuine metaphysical indeterminacy, in addition to types recently defend by Barnes, Williams, and Wilson. (shrink)

Higher-order realists about properties express their view that there are properties with the help of higher-order rather than first-order quantifiers. They claim two types of advantages for this way of formulating property realism. First, certain gridlocked debates about the nature of properties, such as the immanentism versus transcendentalism dispute, are taken to be dissolved. Second, a further such debate, the tropes versus universals dispute, is taken to be resolved. In this paper I first argue that higher-order realism does not in (...) fact resolve the tropes versus universals dispute. In a constructive spirit, I then develop higher-order realism in a way that leads to a dissolution, rather than a resolution, of this dispute too. (shrink)

This is a review of Kris McDaniel's book, 'The Fragmentation of Being'. In the book McDaniel defends ontological pluralism -- the doctrine that there are multiple 'ways of being' (i.e., multiple modes, or degrees, or orders, or levels, or gradations of existence). In defending ontological pluralism, McDaniel must reject the rival, Quinean position that there is at root just one generic way for a thing to exist: viz., by its falling in the domain of unrestricted quantification. McDaniel argues against Quine (...) by contending that the unrestricted quantifier is really just shorthand for a ‘gruesome’ disjunction of restricted quantifiers. On McDaniel's view, the unrestricted quantifier plays ontological 'second fiddle' to these restricted quantifiers, which are ontologically fundamental, and which each represent one particular mode of being. Against this, I contend that if the disjunction in question was as gruesome as McDaniel makes out then logic would be apt to explode in our faces. If I am right then McDaniel's response to Quine falls flat. (shrink)

Much of the ontology made in the analytic tradition of philosophy nowadays is founded on some of Quine’s proposals. His naturalism and the binding between existence and quantification are respectively two of his very influential metaphilosophical and methodological theses. Nevertheless, many of his specific claims are quite controversial and contemporaneously have few followers. Some of them are: (a) his rejection of higher-order logic; (b) his resistance in accepting the intensionality of ontological commitments; (c) his rejection of first-order modal logic; and (...) (d) his rejection of the distinction between analytic and synthetic statements. I intend to argue that these controversial negative claims are just interconnected consequences of those much more accepted and apparently less harmful metaphilosophical and methodological theses, and that the glue linking all these consequences to its causes is the notion of extensionality. (shrink)

The purpose of this article is to support the logical incompatibility of the opposing views as a criterion for characterizing disagreements as genuinely metaphysical. That is, I intend to argue that a specific dispute is a metaphysical disagreement only when the conflicting views are governed by different logics. If correct, this criterion would not only help to separate merely verbal from genuine metaphysical debates, but it also would ground an argument against deflationism, guaranteeing the substantiality and relevance of metaphysics. I (...) intend to clarify the criterion, to present its basic foundations and commitments, to give some logical and metaphysical motivations for its adoption and some examples of its application. (shrink)

In this paper, I develop a novel account of ideological kinds. I first present some conceptual territory regarding the use of Occam’s Razor in minimizing ontological commitments. I then present the analogous device for minimizing ideological commitments, what I call the Comb. I argue that metaphysicians ought to use both or none at all. This means that those who endorse a principle of ontological parsimony ought to also endorse some principle of ideological parsimony, where we ought to prefer the metaphysical (...) theory that employs less ideology. In support of one such principle, I propose a novel account of ideological kinds. I individuate ideological kinds based on the satisfaction of two conditions: interdefinability and sameness of syntactic category. Ultimately, I think this account is the best available. It does, however, produce surprising results. For instance, my account shows that quantifier pluralism is ideologically parsimonious. I end by replying to some objections. (shrink)

In the work of both Matti Eklund and John Hawthorne there is an influential semantic argument for a maximally expansive ontology that is thought to undermine even modest forms of quantifier variance. The crucial premise of the argument holds that it is impossible for an ontologically "smaller" language to give a Tarskian semantics for an ontologically "bigger" language. After explaining the Eklund-Hawthorne argument (in section I), we show this crucial premise to be mistaken (in section II) by developing a Tarskian (...) semantics for a mereological universalist language within a mereological nihilist language (a case which we, and Eklund and Hawthorne, take as representative). After developing this semantics we step back (in section III) to discuss the philosophical motivations behind the Eklund- Hawthorne argument’s demand for a semantics. We ultimately conclude that quantifier variantists can meet any demand for a semantics that might reasonably be imposed upon them. (shrink)

Quantifier variance is a well-known view in contemporary metaontology, but it remains very widely misunderstood by critics. Here we briefly and clearly explain the metasemantics of quantifier variance and distinguish between modest and strong forms of variance (Section I), explain some key applications (Section II), clear up some misunderstandings and address objections (Section III), and point the way toward future directions of quantifier-variance-related research (Section IV).

Kris McDaniel has recently defended a criterion for being an ontological pluralist that classifies the quantifier variantist as one. In this paper, I argue that this is a mistake. There is an important difference between the two views, which is sometimes obscured by a common view in the metaphysics of fundamentality. According to the simple analysis, a language is ideal—it allows for a maximally metaphysically perspicuous description of reality—just in case all its primitives are perfectly natural. I argue that this (...) analysis struggles to distinguish quantifier variance from ontological pluralism, and then I discuss various accounts that can do better. I then propose a criterion for being an ontological pluralist that does not misclassify the quantifier variantist. Finally, I discuss some additional advantages of my proposal. (shrink)

Folk ontology seems baroque, compared to the austere ontology of many philosophers. Plausibly, the issue comes down to a choice between existence concepts: the folk and the austere philosophers employ different quantifier meanings. This paper aims to clarify and defend this hypothesis and explore its upshots. How do we choose between the alternative existence concepts; is the austere philosophers’ concept better than the folk’s undiscriminating one? I will argue that contrary to what Ted Sider suggests, the austere existence concept and (...) the corresponding austere answers to existence questions do not prevail in the context of “inquiry”, i.e. the context of practically disinterested pursuit of epistemic excellence. Sider’s suggestion relies on a one-sided idea of epistemic excellence, as beliefs’ conforming to the world. Once we recognize another epistemic aim, namely the agent understanding connections between known facts, ordinary objects will be back in the game. (shrink)

This is a contribution to a symposium on Amie Thomasson’s Ontology Made Easy (2015). Thomasson defends two deflationary theses: that philosophical questions about the existence of numbers, tables, properties, and other disputed entities can all easily be answered, and that there is something wrong with prolonged debates about whether such objects exist. I argue that the first thesis (properly understood) does not by itself entail the second. Rather, the case for deflationary metaontology rests largely on a controversial doctrine about the (...) possible meanings of ‘object’. I challenge Thomasson's argument for that doctrine, and I make a positive case for the availability of the contested, unrestricted use of ‘object’. (shrink)

This paper gives a characterization of the ontology implicit in natural language and the entities it involves, situates natural language ontology within metaphysics, and responds to Chomskys' dismissal of externalist semantics.

There is a growing movement towards construing some classic debates in ontology as meaningless, either because the answers seem obvious or the debates seem intractable. In this paper, I respond to this movement. The response has three components: First, the members of the two sides of the ontological debates that dismissivists have targeted are using different quantifiers. Second, the austere ontologist is using a more fundamental quantifier than her opponent. Third, the austere ontologist’s more fundamental quantifier is a restriction of (...) her opponent’s quantifier. This response takes seriously the intuition that there is something wrong with the ontological disputes, but does not entail dismissivism. (shrink)

A review of Thomas Hofweber's book, Ontology and the Ambitions of Metaphysics.

Much recent work in metaontology challenges the so-called ‘Quinean tradition’ in metaphysics. Especially prominently, Amie Thomasson argues for a highly permissive ontology over ontologies which eliminate many entities. I am concerned with disputing not her ontological claim, but the methodology behind her rejection of eliminativism – I focus on ordinary objects. Thomasson thinks that by endorsing the Quinean criterion of ontological commitment eliminativism goes wrong; a theory eschewing quantification over a kind may nonetheless be committed to its existence. I argue (...) that, contrary to Thomasson's claims, we should retain the Quinean criterion. Her arguments show that many eliminativist positions are flawed, but their flaws lie elsewhere: the Quinean criterion is innocent. Showing why reveals the importance of pragmatism in ontology. In §1 I compare Thomasson's account and the eliminativist views to which it stands in opposition. In §2 I re-construct Thomasson's reasons for rejecting the Quinean criterion. In §3 I defend the Quinean criterion, showing that the eliminativists’ flaws are not consequences of applying the Quinean criterion, before explaining the criterion's importance when properly understood. I conclude that Thomasson, though right to criticise the methodology of ordinary-object eliminativists, is wrong to identify the Quinean criterion as the source of their mistake. (shrink)

Quantifier variance faces a number of difficulties. In this paper we first formulate the view as holding that the meanings of the quantifiers may vary, and that languages using different quantifiers may be charitably translated into each other. We then object to the view on the basis of four claims: (i) quantifiers cannot vary their meaning extensionally by changing the domain of quantification; (ii) quantifiers cannot vary their meaning intensionally without collapsing into logical pluralism; (iii) quantifier variance is not an (...) ontological doctrine; (iv) quantifier variance is not compatible with charitable translation and as such is internally inconsistent. In light of these troubles, we recommend the dissolution of quantifier variance and suggest that the view be laid to rest. (shrink)