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.

According to what has long been the dominant school of thought in analytic meta-ontology––defended not only by W. V. O. Quine, but also by Bertrand Russell, Alvin Plantinga, Peter van Inwagen, and many others––the meaning of ‘there is’ is identical to the meaning of ‘there exists.’ The most (in)famous aberration from this view is advanced by Alexius Meinong, whose ontological picture has endured extensive criticism (and borderline abuse) from several subscribers to the majority view. Meinong denies the identity of being (...) and existence. That is, he denies that ‘there is’ and ‘there exists’ are semantically equivalent, and espouses a theory according to which there are things that do not exist. Here I defend a revised version of this view, which I call “Noncontradictory Neo-Meinongianism.” Focusing primarily on van Inwagen’s arguments in “Meta-Ontology” (1998), I argue that Noncontradictory Neo-Meinongianism is, on commonsensical grounds, preferable to the meta-ontological theories of van Inwagen and Meinong. (shrink)

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)

It seems that the most common strategy to solve the liar paradox is to argue that liar sentences are meaningless and, consequently, truth-valueless. The other main option that has grown in recent years is the dialetheist view that treats liar sentences as meaningful, truth-apt and true. In this paper I will offer a new approach that does not belong in either camp. I hope to show that liar sentences can be interpreted as meaningful, truth-apt and false, but without engendering any (...) contradiction. This seemingly impossible task can be accomplished once the semantic structure of the liar sentence is unpacked by a quantified analysis. The paper will be divided in two sections. In the first section, I present the independent reasons that motivate the quantificational strategy and how it works in the liar sentence. In the second section, I explain how this quantificational analysis allows us to explain the truth teller sentence and a counter-example advanced against truthmaker maximalism, and deal with some potential objections. (shrink)

Easy Ontology (EO), defended in several recent works by Amie Thomasson, and based on Carnap’s famous deflationism about metaphysics, is the view that many ontological questions, like ‘Are there numbers?’, are at bottom easy, at least when taken in their “internal” sense. Both Carnap and Thomasson take for granted that serious metaphysicians therefore cannot plausibly be interpreted as asking internal questions. Thus, they think they are committed to finding some alternative, special interpretation of metaphysicians’ utterances. I argue that none of (...) the alternative interpretations proposed in the literature are viable. More importantly, I argue that Carnap and Thomasson are wrong about this commitment. EO should instead be coupled with the view that metaphysicians ask internal questions, yet have the false belief that they can be answered only through metaphysical speculation. This is a significant modification of EO, in which the notion of an “external question” plays no role, and which results in a simpler and more plausible theory. (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)

In this paper, I introduce a quantifier-pluralist theory of time, temporal quantifier relativism. Temporal quantifier relativism includes a restricted quantifier for every instantaneous moment of time. Though it flies in the face of orthodoxy, it compares favorably to rival theories of time. To demonstrate this, I first develop the basic syntax and semantics of temporal quantifier relativism. I then compare the theory to its rivals on three issues: the passage of time, the analysis of change, and temporal ontology.

This dialogue, taking place between Prof. Whether and Prof. What, focuses on the nature of the relationship between ontology, conceived as the branch of philosophy concerned with the question of what entities exist, and metaphysics, conceived as the complementary part of philosophy that seeks to explain, of those entities, what they are. Most philosophers claim that it is not possible to address the first question without at the same time addressing the second, since knowing whether an entity exists requires knowing (...) what that entity is. Prof. Whether argues against this popular position and offers a detailed analysis of the idea according to which it is possible to do ontology without engaging in metaphysics. Prof. Whether and Prof. What agree that, rather than being merely possible, in some cases it is, for methodological reasons, even preferable to start with a metaphysics-free ontology, postponing any inquiry concerning the nature of the entities included in the ontological inventory to a later stage. However, Prof. What notes that it is not always possible to do ontology without metaphysics, because there are certain kinds of entities, such as universals and possible worlds, that necessarily need a prior metaphysical characterization. (shrink)

I outline a deflationary truthmakers account of social groups. Potentially, the approach allows us to say, with traditional ontological individualists, that there are only pluralities of individuals out there, ontologically speaking, but that there are nevertheless colloquial and social-scientific truths about social groups. If tenable, this kind of theory has the virtue of being both ontologically parsimonious and compatible with ordinary and social-scientific discourse—a virtue which the stock reductive / ontological dependence accounts of social groups arguably lack.

In this paper we propose and defend the Synonymy account, a novel account of metaphysical equivalence which draws on the idea (Rayo in The Construction of Logical Space, Oxford University Press, Oxford, 2013) that part of what it is to formulate a theory is to lay down a theoretical hypothesis concerning logical space. Roughly, two theories are synonymous—and so, in our view, equivalent—just in case (i) they take the same propositions to stand in the same entailment relations, and (ii) they (...) are committed to the truth of the same propositions. Furthermore, we put our proposal to work by showing that it affords a better and more nuanced understanding of the debate between Quineans and noneists. Finally we show how the Synonymy account fares better than some of its competitors, specifically, McSweeney’s (Philosophical Perspectives 30(1):270–293, 2016) epistemic account and Miller’s (Philosophical Quarterly 67(269):772–793, 2017) hyperintensional account. (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 then 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.

Prior’s problem consists in the impossibility of replacing clausal complements of most attitude verbs by ‘ordinary’ NPs; only ‘special quantifiers’ that is, quantifiers like 'something' permit a replacement, preserving grammaticality or the same reading of the verb: (1) a. John claims that he won. b. ??? John claims a proposition / some thing. c. John claims something. In my 2013 book Abstract Objects and the Semantics of Natural Language, I have shown how this generalizes to nonreferential complements of various other (...) intensional predicates and argued for a Nominalization Theory of special quantifiers. In this paper, I will review and extend the range of linguistic generalizations that motivate the Nominalization Theory and show that they pose serious problems for higher-order and substitutional analyses of special quantifiers. (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)

Many accept David Lewis's (1983) claim that, among the candidate meanings for our predicates, some are more natural than others -- they do better or worse at ``carving nature at its joints''. Call this claim predicate naturalism. Disagreement remains over whether the notion of naturalness extends ``beyond the predicate'' (à la Sider, 2011). Are the candidate meanings of logical vocabulary also more or less natural? Call this claim logical naturalism. -/- One motivation for predicate naturalism comes from its supposed ability (...) to help rebut various radical indeterminacy arguments associated with Hilary Putnam (1977, 1980, 1981). It does so in combination with a popular meta-semantic theory called reference magnetism. I argue that the same threats of Putnam-style radical indeterminacy rearise for proponents of predicate naturalism -- threats which logical naturalism helps rebuts. So, if we accept predicate naturalism because it helps fend off threats of indeterminacy, we should also accept logical naturalism. (shrink)

This paper outlines a defense of hybrid contingentism: that it is contingent which individuals there are, but not contingent what properties there are. Critics pursue two main lines of complaint. First, that the hybrid contingentist’s treatment of haecceitistic properties is metaphysically mysterious, and second, that hybrid contingentism involves an unjustified asymmetry in the associated modal logic. I suggest that these complaints may be too quick, at least in the setting of higher-order metaphysics. It is not at all obvious whether and (...) to what extent we should expect particular "symmetries" across the orders, and so whether (as Williamson (2013) argues) “the default preference is for a uniform metaphysics, on which being is contingent at all orders or none.”. (shrink)

This chapter offers an opinionated introduction to higher-order formal languages with an eye towards their applications in metaphysics. A simply relationally typed higher-order language is introduced in four stages: starting with first-order logic, adding first-order predicate abstraction, generalizing to higher-order predicate abstraction, and finally adding higher-order quantification. It is argued that both β-conversion and Universal Instantiation are valid on the intended interpretation of this language. Given these two principles, it is then shown how we can use pure higher-order logic to (...) ask, and begin to answer, metaphysical questions with non-trivial implications. In particular, while we must reject the popular idea that structural differences between sentences correspond to parallel distinctions in the logical structure of extra-linguistic reality, it may still be possible to give a purely logical characterization of objectual aboutness and related notions. (shrink)

(Open Access.) Quantifiers frequently figure in works of fiction. But occurrences of quantificational expressions within fictions seem no more inevitably to be associated with real domains than uses of names within fictions seem inevitably to be associated with existing referents. The paper outlines some philosophical puzzles resulting from this apparent lack of associated domains, puzzles that are broadly analogous to more familiar ones raised by the apparently nonreferential nature of many fictional names. The paper argues, in the light of an (...) important disanalogy between quantifiers and names, that the quantificational puzzles are substantive, in that they cannot be resolved merely by appealing to the possibility of empty domains. It then argues that, despite the cited parallels between occurrences of quantifiers and names within fictions, promising treatments of fictional names do not always straightforwardly generalise to provide accounts of the quantificational phenomena: the quantificational puzzles are therefore not only substantive but also distinctive. The paper provides further testament to the depth and interest of the problems involving content that are generated by fiction, by identifying a very wide range of previously neglected cases, while also helping to situate within a broader context the notoriously hard philosophical challenges posed by fictional names. (shrink)

This chapter discusses ontological commitment to properties, understood as ontological correlates of predicates. We examine the issue in four metaontological settings, beginning with an influential Quinean paradigm on which ontology concerns what there is. We argue that this naturally but not inevitably avoids ontological commitment to properties. Our remaining three settings correspond to the most prominent departures from the Quinean paradigm. Firstly, we enrich the Quinean paradigm with a primitive, non-quantificational notion of existence. Ontology then concerns what exists. We argue (...) that this strengthens the Quinean case against ontological commitment to properties while also newly distinguishing between stronger and weaker forms of nominalism. Secondly, we enrich the Quinean paradigm with the ideology of fundamentality. Ontology then centrally concerns what’s fundamental. We argue that this leaves ontological commitment to properties wide open although Bradleyan regress threatens. Thirdly, we enrich the Quinean paradigm with primitive higher-order quantifiers. Ontology then expands to concern what there higher-order is and what there first-order is. We argue that this naturally but not inevitably incurs ontological commitment to properties. (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” (TEA). 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 (Talking about nothing: numbers, hallucinations, and fictions. New York: Oxford University Press, 2010) 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 (Br J Philos Sci 67:781–816, 2016), which would nominalize the harmonic to nonexistent status, I reply that in the context of grounding, the coding objection begs the question. (shrink)

What is absolutely unrestricted quantification? We distinguish two theoretical roles and identify two conceptions of absolute generality: maximally strong generality and maximally inclusive generality. We also distinguish two corresponding kinds of absolute domain. A maximally strong domain contains every potential counterexample to a generalisation. A maximally inclusive domain is such that no domain extends it. We argue that both conceptions of absolute generality are legitimate and investigate the relations between them. Although these conceptions coincide in standard settings, we show how (...) they diverge under more complex assumptions about the structure of meaningful predication, such as cumulative type theory. We conclude by arguing that maximally strong generality is the more theoretically valuable conception. (shrink)

Ontological monists hold that there is only one way of being, while ontological pluralists hold that there are many; for example, concrete objects like tables and chairs exist in a different way from abstract objects like numbers and sets. Correspondingly, the monist will want the familiar existential quantifier as a primitive logical constant, whereas the pluralist will want distinct ones, such as for abstract and concrete existence. In this paper, we consider how the debate between the monist and pluralist relates (...) to the standard test for logicality. We deploy this test and show that it favors the monist. (shrink)

Ontological pluralism is the view that there are different ways of being. Historically, ways of being are aligned with the ontological categories. This paper is about to investigate why there is such a connection, and how it should be understood. Ontological pluralism suffers from an objection, according to which ontological pluralism collapses into ontological monism, i.e., there is only one way to be. Admitting to ontological categories can save ontological pluralism from this objection if ways of being ground ontological categories. (...) -/- . (shrink)

W. V. Quine’s criterion of ontological commitment is commonly presented as the slogan: “to be is to be the value of a variable”. More specifically, to be is to be in the domain of values of a bound variable attached to a existential quantifier in the body of a theory. If a sentence of our best available theory quantifies over bachelors, so we conclude that, according to it, there are bachelors. Simplicity and the use of logical apparatus for determining this (...) criterion are responsible for many philosophers to adhere to this standpoint within analytical metaphysics. I will argue that despite this strong influence of the Quinean criterion of ontological commitment in many debates, we find at least three interlinked problems in its original formulation: (1) The criterion depends of a clear definition of theory for the determination of the quantifications counting as entailers of ontological commitments. However, Quine does not present such clear concept of what would be a theory and of how to formalize it. Quine develops this notion under just the metaphor of the knowledge fabric, in which we have a group of sentences, which does not suffice for the required account of ontological commitment. (2) There are distinct possibilities of quantifying over given sentences, which leaves room for different ontological commitments associated with the same statement. In that sense, someone could argue that the Quinean solution would be to endorse just the first order predicate logic. Nonetheless, the Quinean should explain why we ought to be restricted to this logic. (3) The previous problems lead to a possible explosion of the Quinean criterion of ontological commitment, making it trivial, because it permits the quantification over any supposed entities and, hence, that anything can exist. Thus, I will discuss Quine’s criterion of ontological commitment in the light of the abovementioned problems, showing that, unless the Quinean presents a more specific definition of theory beyond just a group of sentences, he leads to an explosion of commitments with different entities. I will conclude that, if you understand ‘theory’ as Alonzo Church’s concept of ‘formalized language’, this knot can be undone. However, Church’s concept is much more akin to Carnap’s linguistic framework than to a notion of knowledge fabric “without borders” as the one proposed by Quine. (shrink)

Quine says that ontology is about what there is, suggesting that to be ontologically committed to Fs is to be committed to accepting a sentence which existentially quantifies over Fs. Kit Fine argues that this gets the logical form of some ontological theses wrong. Fine is right that some ontological theses cannot be rendered simply as ‘There are Fs’. But the root of the problem has yet to be recognized, either by Fine or by his critics. Sometimes to adopt an (...) ontological thesis is not merely to commit yourself to there being at least one F; it is to take a stand on which Fs there are. Once we recognize the ‘particularity’ of these ontological theses, we can adequately express them within the confines of a Quinean approach to ontology and ontological commitment. (shrink)

This paper asks: Is the quantifier variantist committed to metaphysical vagueness? My investigation of this question goes via a study of vague existence. I’ll argue that the quantifier variantist is committed to vague existence and that the vague existence posited by the variantist requires a puzzling sort of metaphysical vagueness. Specifically, I distinguish between (what I call) positive and negative metaphysical vagueness. Positive metaphysical vagueness is (roughly) the claim that there is vagueness in the world; negative metaphysical vagueness is (roughly) (...) the claim that there is vagueness that is not in our language or thought. I’ll argue that the quantifier variantist’s commitment to vague existence comes with positive metaphysical vagueness -- even if it doesn't require negative metaphysical vagueness. (shrink)

Eli Hirsch argues that certain ontological disputes involve a conflict between “equivalent” languages, and that the principle of charity compels each disputant to interpret the other as speaking truly in their own language. For Hirsch, a language’s semantics maps sentences (in context) onto sets of possible worlds but assigns no role to reference. I argue that this method leads to an overly uncharitable portrayal of the disputes at issue – whereby ontologists who speak “equivalent” languages can only argue about syntax. (...) Lack of charity stems from the fact that this portrayal likely fails to uphold the self-conception of the disputants – and particularly what I will call “the weak self-conception”. As a result, Hirsch’s deflationism falls victim of the same principle of charity that informs it. (shrink)

Invoking a form of quantifier variance promises to let us explain mathematicians’ freedom to introduce new kinds of mathematical objects in a way that avoids some problems for standard platonist and nominalist views. In this paper I’ll note that, despite traditional associations between quantifier variance and Carnapian rejection of metaphysics, Siderian realists about metaphysics can naturally be quantifier variantists. Unfortunately a variant on the Quinean indispensability argument concerning grounding seems to pose a problem for philosophers who accept this hybrid. However (...) I will charitably reconstruct this problem and then argue for optimism about solving it. (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)

Recent contributions to the philosophy of the social sciences have motivated ontological commitments using appeals to the social sciences (_naturalized_ social ontologies). These arguments rely on social scientific realism about the social sciences, the view that our social scientific theories are approximately true. I apply a distinction formulated in metaontology between ontologically loaded and unloaded meanings of existential quantification to argue that there is a pragmatic approach to naturalized social ontology that is minimally realist (it treats existence claims as true (...) or false) but that is ontologically austere. I argue that the extant arguments may be construed in terms of this pragmatic approach. The result is an approach to social ontology that is deflationist about naturalized social ontology. (shrink)

Quine’s ‘Two Dogmas of Empiricism’ is generally seen as overturning Carnap’s epistemological picture of mathematics and the sciences. However, I wish to stress how this paper grew out of arguments not having anything to do with large-scale epistemological concerns, but ones originally presented against quantified modal logic. Quine thought he could demonstrate the impossibility of adding anything like ordinary quantification to modal logic, but Barcan Marcus did exactly this. In fact, as I will argue, ‘Two Dogmas ...’ can be seen (...) as growing out of a 1947 paper of Quine’s where Barcan Marcus is the explicit target. Later, in certain exchanges with Quine, Barcan Marcus puts forward and defends a consistent and interesting position on matters of ontology and the philosophy of language. This chapter will examine Barcan Marcus’s role in both the debate over analyticity and the debate on (meta-)ontology. (shrink)

This paper provides an exposition of the structuralist approach to underdetermination, which aims to resolve the underdetermination of theories by identifying their common theoretical structure. Applications of the structuralist approach can be found in many areas of philosophy. I present a schema of the structuralist approach, which conceptually unifies such applications in different subject matters. It is argued that two classic arguments in the literature, Paul Benacerraf’s argument on natural numbers and W. V. O. Quine’s argument for the indeterminacy of (...) translation, can be analyzed as instances of the structuralist schema. These two applications illustrate different kinds of conclusions that can be drawn through the structuralist approach; Benacerraf’s argument shows that we can derive an ontological conclusion about the given subject matter, while Quine’s structuralist approach leads to a semantic conclusion about how to determine linguistic meanings given radical translation. Then, as a case study, I review a recent debate in metaphysics between Shamik Dasgupta, Jason Turner, and Catharine Diehl to consider the extent to which different instances of the structuralist schema are conceptually unified. Both sides of the debate can be interpreted as utilizing the structuralist approach; one side uses the structuralist approach for an ontological conclusion, while the other side relies on a semantic conclusion. I argue that this has a strong dialectical consequence, which sheds light on the conceptual unity of the structuralist approach. (shrink)

ABSTRACT One of the core issues where interpreters of Kant disagree concerns his 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 that 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 characterises the distinction between appearances and things in themselves as the distinction between referents and truthmakers. 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)

Proper names are generally taken to be count nouns. This paper argues that this is mistaken and that at least in some languages, for example German, names divide into mass and count. 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, 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 from plethology. 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 innocent. (shrink)

The problem of the many seems to problematize the platitude that we can think about particular things in the world. How is it that, given how very many cat-like candidates there are, we often manage to think and talk about a particular cat? I argue that this challenge stems from an under-examined assumption about the relationship between metaphysics and intentionality. I explore and develop a way of characterizing what it is to think and talk about the world, according to which (...) an abundant ontology poses no obstacle to our ability to think and talk about particular things. (shrink)

Some revisionary ontologies are highly parsimonious: they posit far fewer entities than what we quantify over in ordinary discourse. The most radical examples are minimal ontologies, on which physical simples are the only things that exist. Highly parsimonious ontologies, and especially minimal ones, face the challenge of either accounting for the truth of our ordinary quantificational discourse, or paraphrasing such discourse away. Common strategies for addressing this challenge include classical reduction, paraphrase nihilism, and a distinction between ontological and existence commitments. (...) I argue, however, that these strategies are either implausible or fail to provide truth conditions consistent with minimal or parsimonious ontologies. I then discuss, defend, and suggest ways to strengthen an alternative framework for reduction, on which the sentences of reducing theories ground those of reducible theories. Relative to the other options for defending minimal ontology, a strengthened grounding-reductive approach can provide more defensible truth conditions for minimal ontology, better preserve scientific realist intuitions, set a more attainable standard for reduction, and allow our existence commitments to be more responsive to empirical evidence and scientific expertise. As a result, I argue that minimal ontology becomes more defensible—though not certain—on a grounding-reductive framework. But even if minimal ontology were wrong, the grounding-reductive framework makes other parsimonious but non-minimal ontologies more plausible. (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)

Hybrid contingentism combines first-order contingentism, the view that it is contingent what individuals there are, with higher-order necessitism, the view that it is non-contingent what properties and propositions there are (where these are conceived as entities in the range of appropriate higher-order quantifiers). This combination of views avoids the most delicate problems afflicting alternative contingentist positions while preserving the central contingentist claim that ordinary, concrete entities exist contingently. Despite these attractive features, hybrid contingentism is usually faced with rejection. The main (...) reason for this is an objection that crucially involves haecceitistic properties, properties such as being identical to Plato or being identical to Aristotle. The objection alleges that by accepting the necessary existence of such haecceities, hybrid contingentists incur an explanatory commitment that they are unable to discharge, namely that of explaining how it is that certain haecceities ‘lock onto’ their target individuals even when those individuals are absent. To defend hybrid contingentism against this charge, I first clarify the haecceities objection in several respects and consider, in particular, what notion of explanation the objection is operating with. After arguing that it can be fruitfully understood as a challenge to provide metaphysical grounds for certain haecceity facts, I develop a contingentist response to the objection that draws on recent work on the connection between ground and essence. (shrink)

Universalist and nihilist answers to philosophical questions may be extreme, but they are clear enough. Aliquidist answers, by contrast, are typically caught between the Scylla of vagueness and indeterminacy and the Charybdis of ungroundedness and arbitrariness, and steering a proper middle course—saying exactly where in the middle one is going to settle—demands exceptional navigating powers. I myself tend to favor extreme answers precisely for this reason. Here, however, I consider one sense in which Something may claim superiority over its polar (...) competitors, Everything and Nothing, when it comes to answerting the ontological question, “What is there?”. (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)

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)