Almost all philosophers interested in parthood and composition think that a composite object is a further thing, numerically distinct from the objects that compose it. Call this the orthodox view. I argue that the orthodox view is false, and that a composite object is identical to the objects that compose it (collectively). This view is known as composition as identity. -/- I argue that, despite its unpopularity, there are many reasons to favour com- position as identity over the orthodox view. (...) First, defenders of the orthodox view have not offered complete theories of composition. For instance, they have not given adequate accounts of heterogeneous properties like being black and white in composite objects. Nor have they given satisfactory explanations for the necessary connections that hold between composite objects and their proper parts. -/- Second, there appears to be no good way for defenders of the orthodox view to remedy this. Any account of the heterogeneous properties of composite objects which is compatible with the orthodox view faces serious problems, as does any account of the necessary connections between an object and its proper parts. Composition as identity, on the other hand, is compatible with intuitive responses to both of these challenges. -/- Third, there are a number of strong arguments in favour of composition as identity. For example, composition as identity fits our evidence about the way the world is better than the orthodox view does. It also allows us to easily maintain that composition sometimes occurs and sometimes does not—i.e., it allows us to easily maintain that composition is restricted. The orthodox view does not. The theories of composition put forward by most philosophers are at best incomplete or in need of improvement. At worst, they are false and composition as identity is true. (shrink)

I argue that it is metaphysically necessary that: (i) every fundamental entity is conscious, and (ii) every fundamental property is a phenomenal property.

How should we account for the extraordinary regularity in the world? Humeans and Non-Humeans sharply disagree. According to Non-Humeans, the world behaves in an extraordinarily regular way because of certain necessary connections in nature. However, Humeans have thought that Non-Humean views are metaphysically objectionable. In particular, there are two general metaphysical principles that Humeans have found attractive that are incompatible with all existing versions of Non-Humeanism. My goal in this paper is to develop a novel version of Non-Humeanism that is (...) consistent with (and even entails) both of these general metaphysical principles. By endorsing such a view, one can have the explanatory benefits of Non-Humeanism while at the same time avoiding two of the major metaphysical objections towards Non-Humeanism. (shrink)

The main idea of this thesis is multi-descriptional physicalism. According to it, only physical entities are elements of our ontology, and there are different ways to describe them. Higher-level vocabularies (e.g., mental, neurological, biological) truly describe reality. Sentences about higher-level entities are made true by physical entities. Every chapter will develop multi-descriptional physicalism or defend it from objections. In chapter 1, I will propose a new conceptual reductive account that conceptually reduces higher-level entities to physical entities. This conceptual reductive account (...) combines resources from Heil’s truthmaker theory and either a priori physicalism or a posteriori physicalism. In chapter 2, I apply this conceptual reductive account to various debates. Physicalism, the multiple-realisability argument, the prototype theory of concepts, and truthmaker explanations will be discussed. In chapter 3, I will argue that a major aim of metaphysics should be to discover which entities are fundamental and explain why they suffice for the existence of derivative entities. In chapter 4, I will propose a new way to explain why sentences apparently about composite objects are true even though there are no composite objects. It combines resources from Cameron’s truthmaker theory and van Inwagen’s paraphrase strategy. In chapter 5, I will argue that the intuition that the mind and the body are very different does not show that the mind is distinct from the body. This intuition can be explained away by mentioning our dispositions to give non-physical explanations when we are ignorant of physical facts. In chapter 6, I will examine two arguments for the existence of a metaphysically independent level, and I will argue that only a modified version of one of them succeeds. I will argue that methodological principles support the view that there is a metaphysically independent level. (shrink)

I begin by retracing an argument from Aristotle for final causes in science. Then, I advance this ancient thought, and defend an argument for a stronger conclusion: that no scientific explanation can succeed, if Naturalism is true. The argument goes like this: (1) Any scientific explanation can be successful only if it crucially involves a natural regularity. Next, I argue that (2) any explanation can be successful only if it crucially involves no element that calls out for explanation but lacks (...) one. From (1) and (2) it follows that (3) a scientific explanation can be successful only if it crucially involves a natural regularity, and this regularity does not call out for explanation while lacking one. I then argue that (4) if Naturalism is true, then all natural regularities call out for explanation but lack them. From (3) and (4) it follows that (5) if Naturalism is true, then no scientific explanation can be successful. If you believe that scientific explanation can be (indeed, often has been) successful, as I do, then this is a reason to reject Naturalism. (shrink)

We direct different attitudes towards states of affairs depending on where in time those states of affairs are located. Call this the type asymmetry. The type asymmetry appears fitting. For instance, it seems fitting to feel guilt or regret only about states of affairs that are past, and anticipation only of states of affairs that are future. It has been argued that the type asymmetry could only be fitting if there are tensed facts, and hence that since it is fitting, (...) there are tensed facts. In this paper I argue that tensed facts are not necessary to ground the fittingness of the type asymmetry, and thus we have no reason, arising from the fittingness of the asymmetry, to posit such facts. I also argue for a stronger conclusion: even if these facts obtain they are no part of what grounds the fittingness of the type asymmetry. These facts are explanatorily redundant. (shrink)

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

This chapter reviews several varieties of grounding skepticism as well as responses that have been proposed by grounding enthusiasts to considerations raised by grounding skeptics. Grounding skeptics, as I conceive of them here, are theorists who belong to one of the following two schools of thought. “Old-school” grounding skeptics doubt the theoretical utility of the grounding idiom by denying one of its presuppositions, viz., that this notion is at least intelligible or coherent. “Second-generation” grounding skeptics call into question the theoretical (...) utility of the grounding idiom for other reasons; their skeptical doubts tend to focus on one of the following three purported theoretical virtues grounding enthusiasts ascribe to their idiom: (i) its alleged power to unify an apparently heterogeneous collection of phenomena; (ii) its alleged power to capture and/or elucidate the distinction between the fundamental and the non-fundamental; or (iii) the alleged metaphysical (as opposed to mind-dependent, epistemic, or psychological) utility of grounding claims. Grounding enthusiasts have already formulated responses to many of the objections described in this chapter. At this point, however, it is fair to say that the state of the literature is still evolving, and no conclusive judgment can therefore be reached as of yet as to whether grounding enthusiasts or grounding skeptics have gained the upper hand in these debates. In the meantime, though, grounding skeptics continue to maintain that the classification of factual and/or nonfactual connections under the rubric of grounding does not really help us illuminate the nature of the connections at issue; instead, from the view of the grounding skeptic, we are better off studying these various connections separately and in their own right. (shrink)

Metaphysical explanations, unlike many other kinds of explanation, are standardly thought to be insensitive to our epistemic situation and so are not evaluable by cognitive values such as salience. I consider a case study that challenges this view. Some properties are distributed over an extension. For example, the property of being polka-dotted red on white, when instantiated, is distributed over a surface. Similar properties have been put to work in a variety of explanatory tasks in recent metaphysics, including: providing an (...) analysis of change, giving to presentists truthmakers for past claims; giving to priority monists an account of basic heterogeneous entities; and giving to friends of extended simples an explanation of how an extended simple can enjoy qualitative variation. I argue that such explanations exhibit salience failure. How ought we represent the semantics of salience? Differences in linguistic stress induce semantic differences similar to the semantic differences induced in explanations by differences in salience, and I will draw an analogy with linguistic theories of focus sensitivity to sketch how one might model the role of salience in these kinds of explanations. I end with a few tentative conclusions about the role of cognitive values in metaphysical explanations. Some theorists view the citation of a ground as a sufficient explanation. If certain explanations appealing to distributed properties exhibit attenuated salience, then arguably the mere citation of a ground does not always provide an adequate explanation. (shrink)

Fictionalism about a kind of disputed object is often motivated by the fact that the view interprets discourse about those objects literally without an ontological commitment to them. This paper argues that this motivation is inadequate because some viable alternatives to fictionalism have similar attractions. Meinongianism—the view that there are true statements about non-existent objects—is one such view. Meinongianism bears significant similarity to fictionalism, so intuitive doubts about its viability are difficult to sustain for fictionalists. Moreover, Meinongianism avoids some of (...) fictionalism’s weaknesses, thus it is even preferable to fictionalism in some respects. (shrink)

Existence monism (EM) is a metaphysical view asserting the existence of only one concrete object. EM is well known for its radicalness, and encounters difficulty in terms of its prima facie inconsistency with truisms. This paper aims to propose an alternative (and somewhat easy) way to overcome this difficulty and indicate another means by which the possibility of EM can be defended. I will present a package of theses that are intended to be combined with EM, which I call Linguistic (...) Ontology with the One as Semantic Glue (LOOSG). I will show that this package (in combination with EM) provides a systematic explanation as to why truisms hold while only one concrete object actually exists. In other words, I will argue that if an existence monist embraces LOOSG, the desired explanation for truisms is then available to her. In addition, it will also be noted that LOOSG has a theoretical virtue, in that it only presupposes the framework of standard semantics. Based on these discussions, I offer LOOSG as a viable option for existence monism. (shrink)

According to Lewis, mereology is the general and exhaustive theory of ontological composition, and every contingent feature of the world supervenes upon some fundamental properties instantiated by minimal entities. A profound analogy can be drawn between these two basic contentions of his metaphysics, namely that both can be intended as a denial of emergentism. In this essay, we study the relationships between Humean supervenience and two philosophical spin-offs of mereological monism: the possibility of gunk and the thesis of composition as (...) identity. In a gunky scenario, there are no atoms and, thus, some criteria alternative to mereological atomicity must be introduced in order to identify the bearers of fundamental properties; this introduction creates a precedent, which renders the restriction of the additional criteria to gunky scenarios arbitrary. On the other hand, composition as identity either extends the principle of indiscernibility of identicals to composition or is forced to replace indiscernibility with a surrogate; both alternatives lead to the postulation of a symmetric kind of supervenience which, in contrast to Humean supervenience, does not countenance a privileged level. Both gunk and composition as identity, thus, display a tension with Humean supervenience. (shrink)

Dans son article From Nihilism to Monism, Jonathan Schaffer montre que les partisans du Nihilisme de la Composition ont de bonnes raisons d’accepter le Monisme d’Existence plutôt que le Nihilisme. De manière analogue, nous souhaitons montrer ici que les partisans de l’Universalisme de la Composition ont de bonnes raisons d’accepter le Monisme de Priorité. Pour montrer cela, nous allons proposer et défendre l’argument suivant : Prémisse 1. Si l’Universalisme de la Composition est vrai alors le Cosmos existe. Prémisse 2. Si (...) le Cosmos existe alors le Cosmos est la seule entité concrète basique. Conclusion. Si l’Universalisme de la Composition est vrai alors le Cosmos est la seule entité concrète basique. (shrink)

What is the relationship between objects and properties? According to a standard view, there are primitive individuals that ‘instantiate’ or ‘have’ various properties. According to a rival view, objects are mere ‘bundles’ of properties. While there are a number of reasons to be skeptical of primitive individuals, there are also a number of challenges that the bundle theorist faces. The goal of this paper is to formulate a view about the relationship between objects and properties that avoids many of the (...) problems inherent in both of these views. The view I will end up defending implies a particularly radical version of Monism, and it collapses the object-property distinction altogether. (shrink)

Let us distinguish two kinds of contingentism: entity contingentism and metaphysical contingentism. Here, I use ‘entity’ very broadly to include anything over which we can quantify—objects (abstract and concrete), properties, and relations. Then entity contingentism about some entity, E, is the view that E exists contingently: that is, that E exists in some possible worlds and not in others. By contrast, entity necessitarianism about E is the view that E exists of necessity: that is, that E exists in all possible (...) worlds. We can distinguish two views: global entity contingentism and global entity necessitarianism. Global entity contingentism is the view that for any possible E, E exists contingently. Global entity necessitarianism is the view that for any possible E, E exists necessarily. While entity contingentism and entity necessitarianism are views about the modal status of entities, metaphysical contingentism and necessitarianism are views about the modal status of metaphysical principles. Metaphysical contingentism about some metaphysical principle, P, is the view that P is contingent: it is true in some worlds, and false in others. Metaphysical necessitarianism about P is the view that P is necessary: either P is true in every world, or false in every world. We can then distinguish two views: global metaphysical contingentism and global metaphysical necessitarianism. Global metaphysical contingentism is the view that for any internally coherent metaphysical principle P, P is contingent: P is true in some worlds and false in others. Global metaphysical necessitarianism is the view that for any internally coherent metaphysical principle, P, P is necessary: it is either true in every world, or false in every world. This chapter principally focuses on metaphysical rather than entity contingentism, though §2 briefly discusses the latter. As we will see, (§2), both global entity contingentism and global entity necessitarianism are controversial views, and most philosophers fall somewhere between these two extremes, holding that some, but not all, entities exist necessarily—a view we can call entity moderatism. By contrast, global metaphysical necessitarianism has, until recently, largely been the default view. It is only recently that some philosophers have argued that we should be metaphysical contingentists about at least some metaphysical principles—a view we can call metaphysical moderatism. §3 considers why global metaphysical necessitarianism has hitherto been so persuasive, then evaluates (§3.1) some arguments for the view before considering more recent arguments in favour of the contingency of (at least some) metaphysical principles (§3.2). (shrink)

In a lot of domains in metaphysics the tacit assumption has been that whichever metaphysical principles turn out to be true, these will be necessarily true. Let us call necessitarianism about some domain the thesis that the right metaphysics of that domain is necessary. Necessitarianism has flourished. In the philosophy of maths we find it held that if mathematical objects exist, then they do of necessity. Mathematical Platonists affirm the necessary existence of mathematical objects (see for instance Hale and Wright (...) 1992 and 1994; Wright 1983 and 1988; Schiffer 1996; Resnik 1997; Shapiro 1997 and Zalta 1988) while mathematical nominalists, usually in the form of fictionalists, hold that necessarily such objects fail to exist (see for instance Balaguer 1996 and 1998; Rosen 2001 and Yablo 2005). In metaphysics more generally, until recently it was more or less assumed that whatever the right account of composition—the account of under what conditions some xs compose a y—that account will be necessarily true (for a discussion of theories of composition see Simons 1987 and van Inwagen 1987 and 1990; the modal status of the composition relation is explicitly addressed in Schaffer 2007; Parsons 2006 and Cameron 2007). Similarly, it has generally been assumed that whatever the right account is of the nature of properties, whether they be universals, tropes, or whether nominalism is true, that account will be necessarily true (though see Rosen 2006 for a recent suggestion to the contrary). In considering theories of persistence it has been widely held that whether objects endure or perdure through time is a matter of necessity (Sider 2001; though see Lewis 1999 p227 who defends contingent perdurantism). And with respect to theories of time it is frequently held that whichever of the A- or B-theory is true is necessarily true. A-theorists often argue that there is time in a world only if the A-theory is true at that world (see for instance McTaggart 1903; Markosian 2004; Bigelow 1996; Craig 2001) while B-theorists often argue that the A-theory is internally inconsistent (Smart 1987; Mellor 1998; Savitt 2000 and Le Poidevin 1991). Once again, we find a few recent contingentist dissenters. Bourne (2006) suggests that it is a contingent feature of time that it is tensed, and thus that the A-theory is contingently true. Worlds in which there exist only B-theoretic properties are worlds with time, it is just that time in those worlds time is radically different to the way it is actually. Other defenders of the B-theory, though not expressly contingentists, do offer arguments against versions of the A-theory that try to show that such A-theories theories are inconsistent with the actual laws of nature (see for instance Saunders 2002 and Callender 2000); these arguments, at least, leave room for the possibility that the A-theories in question are contingently false (at least on the assumption that the laws of nature are themselves contingent, an assumption that not everyone accepts). Despite some notable exceptions, necessitarianism has flourished in many, if not most, domains in metaphysics. One such exception is Lewis’ famous defence of Humean supervenience as a contingent claim about our world. Lewis does not argue that necessarily, the supervenience base for all matters of fact in a world is nothing but a vast mosaic of local matters of particular fact. Rather, he thinks that we have reason to think that our world is one in which Humean supervenience holds (see Lewis 1986 p9-10 and 1994). Another exception to the necessitarian orthodoxy is to be found in the lively debate about the modal status of the laws of nature. Here, if anything, contingentism has been the dominating force, with it generally being held that there are possible worlds in which different laws of nature hold (this view is defended by, among others, Lewis 1986 and 2010; Schaffer 2005 and Sidelle 2002). Necessitarian dissenters hold that the laws of nature are necessary, frequently because they think it is necessary that fundamental properties have the causal or nomic profiles they do (see for instance Shoemaker 1980 and 1988; Swoyer 1982; Bird 1995; Ellis and Lierse 1994). Nevertheless, when it comes to thinking about the nature of the laws themselves, the necessitarian presumption is back on firm footing. Though there is disagreement about whether the laws are generalisations that feature in the most virtuous true axiomatisation of all the particular matters of fact (often known as the Humean view of laws and defended by Ramsey 1978; Lewis 1986 and Beebee 2000) or whether laws are relations of necessity that hold between universals (a view defended by Armstrong 1983; Dretske 1977; Tooley 1977 and Carroll 1990) no one has seriously suggested that it might be a contingent matter which of these is the right account of laws. The necessitarian orthodoxy is not surprising since metaphysics is largely an a priori process. While a priori reasoning may be used to determine whether a proposition is necessary or contingent, it is not well placed (in the absence of a posteriori evidence) to determine whether a contingent proposition is actually true or false. Since metaphysicians aim to tell us which principles are true in which worlds, on the face of it the discovery that metaphysical principles are contingent seems to make part of the task of metaphysics epistemically intractable. In what follows I consider two reasons one might end up embracing contingentism and whether this would lead one into epistemic difficulty. The following section considers a route to contingent metaphysical truths that proceeds via a combination of conceptual necessities and empirical discoveries. Section 3 considers whether there might be synthetic contingent metaphysical truths, and the final section raises the question of whether if there were such truths we would be well placed to come to know them. (shrink)

Why does God allow evil? One hypothesis is that God desires the existence and activity of free creatures but He was unable to create a world with such creatures and such activity without also allowing evil. If Molinism is true, what probability should be assigned to this hypothesis? Some philosophers claim that a low probability should be assigned because there are an infinite number of possible people and because we have no reason to suppose that such creatures will choose one (...) way rather than another. Arguments like this depend on the principle of indifference. But that principle is rejected by most philosophers of probability. Some philosophers claim that a low probability should be assigned because doing otherwise violates intuitions about freewill. But such arguments can be addressed through strategies commonly employed to defend theories with counterintuitive results across ethics and metaphysics. (shrink)

One might well wonder—is there a category under which every thing falls? Offering an informative account of such a category is no easy task. For nothing would distinguish things that fall under it from those that don’t—there being, after all, none of the latter. It seems hard, then, to say much about any fully general category; and it would appear to do no carving or categorizing or dividing at all. Nonetheless there are candidates for such a fully general office, including (...) thing, being, entity, item, existent, and—especially—object.[ It is not obvious that there is any fully general category (whether object or otherwise). Accordingly, not all accounts of object assign it to a fully general category, instead allowing that there are non-objects. On those views, object does indeed divide. Accounts of object, then, differ with respect to whether there are non-objects. And this is not the only fault line. Other dimensions of difference include what objects there are and what objects are. Accordingly, this entry will survey three broad questions about the category object: What, if any, is its contrast or complement? What is its extension? What is its nature? (shrink)

This paper develops four proposals for explicating the notion of an ersatz part. It then evaluates each proposal with respect to a number of jobs for which ersatz parts are posited. We argue that each of the four notions of ersatz parthood do better with respect to some jobs, and worse with respect to others. Thus, we think, it’s horses for courses: which notion of ersatz part one chooses will be sensitive to which metaphysical project one is pursuing.

Steinberg has recently proposed an argument against Schaffer’s priority monism. The argument assumes the principle of Necessity of Monism, which states that if priority monism is true, then it is necessarily true. In this paper, I argue that Steinberg’s objection can be eluded by giving up Necessity of Monism for an alternative principle, that I call Essentiality of Fundamentality, and that such a principle is to be preferred to Necessity of Monism on other grounds as well.

Mereological nihilism is the thesis that composition never occurs. Some philosophers have thought that science gives us compelling evidence against nihilism. In this article I respond to this concern. An initial challenge for nihilism stems from the fact that composition is such a ubiquitous feature of scientific theories. In response I motivate a restricted form of scientific anti-realism with respect to those components of scientific theories which make reference to composition. A second scientifically based worry for nihilism is that certain (...) specific scientific phenomena might require ineliminable quantification over composite objects. I address these concerns, and argue that there seem to be nihilist-friendly construals of the scientific phenomena in question. (shrink)

In this paper, I will offer an analogy between the Trinity and extended simples that supports a Latin approach to the Trinity. The theoretical tools developed to discuss and debate extended simples in the literature of contemporary analytic metaphysics, I argue, can help us make useful conceptual distinctions in attempts to understand what it could be for God to be Triune. Furthermore, the analogy between extended simples and the Trinity might surprise some who find one of these at least plausibly (...) possible and the other incoherent. (shrink)

Monism is the view that there is only a single material object in existence: the world. According to this view, therefore, the ordinary objects of common sense—cats and hats, cars and stars, and so on—do not actually exist; there is only the world. Because of this, monism is routinely dismissed in the contemporary literature as being absurd and obviously false. It is simply obvious that there is a plurality of material things, thus it is simply obvious that monism is false, (...) or so the argument goes. I call this the common sense argument against monism and in this paper I offer a response. I argue that providing the monist can make his view consistent with the appearance that there is a multiplicity of material things, then it is not rationally acceptable to reject monism solely on the basis of that appearance. Through an appeal to a particular type of property—distributional properties—I sketch out a plausible story of how monism is perfectly consistent with the appearance of plurality, and thus nullify the common sense argument. There may be any number of arguments that serve to undermine monism, but the common sense argument is not one of them. Monism deserves to be taken more seriously than that. (shrink)

We naturally think of the material world as being populated by a large number of individuals . These are things, such as my laptop and the particles that compose it, that we describe as being propertied and related in various ways when we describe the material world around us. In this paper I argue that, fundamentally speaking at least, there are no such things as material individuals. I then propose and defend an individual-less view of the material world I call (...) “generalism”. (shrink)

What is the relation between parts taken together and the whole that they compose? The recent literature appears to be dominated by two different answers to this question, which are normally thought of as being incompatible. According to the first, parts taken together are identical to the whole that they compose. According to the second, the whole is grounded in its parts. The aim of this paper is to make some theoretical room for the view according to which parts ground (...) the whole they compose while being, at the same time, identical to it. (shrink)

Mereological nihilism (henceforth just "nihilism") is the thesis that composition never occurs. Nihilism has often been defended on the basis of its theoretical simplicity, including its ontological simplicity and its ideological simplicity (roughly, nihilism's ability to do without primitive mereological predicates). In this paper I defend nihilism on the basis of the theoretical unification conferred by nihilism, which is, roughly, nihilism's capacity to allow us to take fewer phenomena as brute and inexplicable. This represents a respect in which nihilism enjoys (...) greater theoretical simplicity than its rivals which has not yet been explored, and which is immune to many of the objections which have been leveled against previous arguments for nihilism from nihilism's theoretical simplicity. Composition as identity might be thought to confer a similar degree of theoretical unification as nihilism. I end the paper by arguing that this is not the case. (shrink)

I endorse a 12-word metaphysics. [1] Stoff ist Kraft ≈ being is energy. [2] Wesen ist Werden ≈ being is becoming. [3] Sein ist Sosein ≈ being is qualit[ativit]y. [4] Ansichsein ist Fürsichsein ≈ being is mind. [1]–[3] are plausible metaphysical principles and unprejudiced consideration of what we know about concrete reality obliges us to favor [4], i.e. panpsychism or panexperientialism, above all other positive substantive proposals. For [i] panpsychism is the most ontologically parsimonious view, given that the existence of (...) conscious experience is certain and that panpsychism doesn’t posit the existence of any kind of stuff other than conscious experience. [ii] A question also arises about why metaphysicians have posited the existence of something for which there is zero evidence: non-experiential concrete reality. The question is the more pressing because of the silence of physics: physics with its numbers and equations is perfectly silent on the question of the intrinsic non-structural nature of reality. (shrink)

The Razor commands us not to multiply entities without necessity. I argue for an alternative principle—The Laser—which commands us not to multiply fundamental entities without necessity.

Though the study of grounding is still in the early stages, Kit Fine, in ”The Pure Logic of Ground”, has made a seminal attempt at formalization. Formalization of this sort is supposed to bring clarity and precision to our theorizing, as it has to the study of other metaphysically important phenomena, like modality and vagueness. Unfortunately, as I will argue, Fine ties the formal treatment of grounding to the obscure notion of a weak ground. The obscurity of weak ground, together (...) with its centrality in Fine’s system, threatens to undermine the extent to which this formalization offers clarity and precision. In this paper, I show how to overcome this problem. I describe a system, the logic of strict ground (LSG) and demonstrate its adequacy; I specify a translation scheme for interpreting Fine’s weak grounding claims; I show that the interpretation verifies all of the principles of Fine’s system; and I show that derivability in Fine’s system can be exactly characterized in terms of derivability in LSG. I conclude that Fine’s system is reducible to LSG. (shrink)

Mereological nihilists are faced with a difficult challenge: explaining ordinary talk about material objects. Popular paraphrase strategies involve plurals, arrangements of particles, or fictions. In this paper, a new paraphrase strategy is put forward that has distinct advantages over its rivals: it is compatible with gunk and emergent properties of macro-objects. The only assumption is a commitment to a liberal view of the nature of simples; the nihilist must be willing to accept the possibility of heterogeneous extended simples. The author (...) suggests reinterpreting the parthood and composition relations as modal. According to this paraphrase, composition is a kind of counterpart relation. The author shows that one can accept that mereological nihilism is metaphysically necessary, while endorsing all the claims of classical mereology. As a result, the nihilists are in exactly the same position as the classical mereologist when it comes to explaining talk about ordinary objects, but without the additional ontology. (shrink)

Contemporary metaphysicians have been drawn to a certain attractive picture of the structure of the world. This picture consists in classical mereology, the priority of parts over wholes, and the well-foundedness of metaphysical priority. In this short note, I show that this combination of theses entails superatomism, which is a significant strengthening of mereological atomism. This commitment has been missed in the literature due to certain sorts of models of mereology being overlooked. But the entailment is an important one: we (...) must either accept superatomism or reject one (or other) of the most widespread theses of contemporary metaphysics. (shrink)

Mereological realism holds that the world has a mereological structure – i.e. a distribution of mereological properties and relations. In this article, I defend Eleaticism about properties, according to which there are no causally inert non-logical properties. I then present an Eleatic argument for mereological anti-realism, which denies the existence of both mereological composites and mereological simples. After defending Eleaticism and mereological anti-realism, I argue that mereological anti-realism is preferable to mereological nihilism. I then conclude by examining the thesis that (...) composition is identity and noting its consequences for the question of mereological structure. (shrink)

In this chapter, I examine Lewis's ideas about ontological innocence, ontological commitment and double-counting, in his discussion of composition as identity in Parts of Classes. I attempt to understand these primarily as epistemic or methodological claims: how far can we get down this route without adopting radical metaphysical theses about composition as identity?

The theoretical virtue of parsimony values the minimizing of theoretical commitments, but theoretical commitments come in two kinds : ontological and ideological. While the ontological commitments of a theory are the entities it posits, a theory’s ideological commitments are the primitive concepts it employs. Here, I show how we can extend the distinction between quantitative and qualitative parsimony, commonly drawn regarding ontological commitments, to the domain of ideological commitments. I then argue that qualitative ideological parsimony is a theoretical virtue. My (...) defense proceeds by demonstrating the merits of qualitative ideological parsimony and by showing how the qualitative conception of ideological parsimony undermines two notable arguments from ideological parsimony: David Lewis’ defense of modal realism and Ted Sider’s defense of mereological nihilism. (shrink)

In this work I first develop, motivate, and defend the view that mereological composition, the relation between an object and all its parts collectively, is a relation of identity. I argue that this view implies and hence can explain the logical necessity of classical mereology, the formal study of the part-whole relation. I then critically discuss four contemporary views of the same kind. Finally, I employ my thesis in a recent discussion of whether the world is fundamentally one in number.

The connection between whole and part is intimate: not only can we share the same space, but I’m incapable of leaving my parts behind; settle the nonmereological facts and you thereby settle what is a part of what; wholes don’t seem to be an additional ontological commitment over their parts. Composition as identity promises to explain this intimacy. But it threatens to make the connection too intimate, for surely the parts could have made a different whole and the whole have (...) had different parts. In this paper I attempt to offer an account of parthood that is intimate enough but not too intimate: the parts generate the whole, but they are not themselves the whole. (shrink)

A lot of philosophers engage in debates about what claims are “metaphysically necessary”, and a lot more assume with little argument that some classes of claims have the status of “metaphysical necessity”. I think we can usefully replace questions about metaphysical necessity with five other questions which each capture some of what people may have had in mind when talking about metaphysical necessity. This paper explains these five other questions, and then discusses the question “how much of metaphysics is metaphysically (...) necessary?”, and each of its five replacements. (shrink)

In this paper I argue that we need to take irreducibly plural logic more seriously in metaphysical debates due to the fact that the verdict of many metaphysical debates hangs on it. I give two examples. The main example I focus on is the debate recently revived by Jonathan Schaffer over the fundamental cardinality of the world. I show how the three main arguments provided by Schaffer are unsound in virtue of an employment of plural logic. The second example I (...) give is a more general issue about the possibility of emergent properties of mereological wholes. Employing plural logic there is a new way to understand such cases. The upshot is that plural logic greatly matters to metaphysics and hence can no longer be ignored the way it has in this area. (shrink)

Let ‘monism’ be the view that there is only one basic object—the world. Monists face the question of whether there are also non-basic objects. This is in effect the question of whether the world decomposes into parts. Jonathan Schaffer maintains that it does, Terry Horgan and Matjaž Potrč that it does not. In this paper, I propose a compromise view, which I call ‘Kantian monism.’ According to Kantian monism, the world decomposes into parts insofar as an ideal subject under ideal (...) conditions would divide it into parts, but it does not decompose into parts in and of itself, that is, in an entirely mind-independent manner. After articulating Kantian monism more precisely (Section 1), I present a prima facie case for preferring it over more standard varieties of monism (Section 2). (shrink)

An encyclopedia entry which covers various revisionary conceptions of which macroscopic objects there are, and the puzzles and arguments that motivate these conceptions: sorites arguments, the argument from vagueness, the puzzles of material constitution, arguments against indeterminate identity, arguments from arbitrariness, debunking arguments, the overdetermination argument, and the problem of the many.

Downward causation is commonly held to create problems for ontologically emergent properties. In this paper I describe two novel examples of ontologically emergent properties and show how they avoid two main problems of downward causation, the causal exclusion problem and the causal closure problem. One example involves an object whose colour does not logically supervene on the colours of its atomic parts. The other example is inspired by quantum entanglement cases but avoids controversies regarding quantum mechanics. These examples show that (...) the causal exclusion problem can be avoided, in one case by showing how it is possible to interact with an object without interacting with its atomic parts. I accept that emergence cannot be reconciled with causal closure, but argue that violations of causal closure do not entail violations of the base-level laws. Only the latter would conflict with empirical science. (shrink)

Consider a circle and a pair of its semicircles. Which is prior, the whole or its parts? Are the semicircles dependent abstractions from their whole, or is the circle a derivative construction from its parts? Now in place of the circle consider the entire cosmos (the ultimate concrete whole), and in place of the pair of semicircles consider the myriad particles (the ultimate concrete parts). Which if either is ultimately prior, the one ultimate whole or its many ultimate parts?

Consider the kinds of macroscopic concrete objects that common sense and the sciences allege to exist: tables, raindrops, tectonic plates, galaxies, and the rest. Are there any such things? Opinions differ. Ontological liberals say they do; ontological radicals say they don't. Liberalism seems favored by its plausible acquiescence to the dictates of common sense abetted by science; radicalism by its ontological parsimony. Priority theorists claim we can have the virtues of both views. They hold that tables, raindrops, etc., exist, but (...) they aren't fundamental. The ontological liberal's ontology provides the correct inventory of existent individuals. The ontological radical's more restricted ontology provides the correct inventory of fundamental individuals. The priority theorist claims that the derivative individuals are "no addition in being" to the fundamental ones, so we can have our cake and eat it too. It would be nice if priority theorists were right. In this paper I argue, with regret, that they are not. One upshot is that the sort of explanations which underwrite the priority theorist's distinction between fundamental and derivative individuals do not mitigate our ontological commitments. Another is that we still have to choose between the charms of liberalism and radicalism. (shrink)

The Vagueness Argument for universalism only works if you think there is a good reason not to endorse nihilism. Sider's argument from the possibility of gunk is one of the more popular reasons. Further, Hawley has given an argument for the necessity of everything being either gunky or composed of mereological simples. I argue that Hawley's argument rests on the same premise as Sider's argument for the possibility of gunk. Further, I argue that that premise can be used to demonstrate (...) the possibility of simples. Once you stick it all together, you get an absurd consequence. I then survey the possible lessons we could draw from this, arguing that whichever one you take yields an interesting result. (shrink)

An overview of contemporary part-whole theories, with reference to both their axiomatic developments and their philosophical underpinnings.

Jonathan Schaffer distinguishes two sorts of monism. Existence monists say that only one object exists: The World. Priority monists admit the existence of The World’s parts, but say that their features are derivative from the properties of The World. Both have trouble explaining the features of statespace, the set of possibilities available to The World.

This entry focuses on two of the more historically important monisms: existence monism and priority monism . Existence monism targets concrete objects and counts by tokens. This is the doctrine that exactly one concrete object exists. Priority monism also targets concrete objects, but counts by basic tokens. This is the doctrine that exactly one concrete object is basic, which will turn out to be the classical doctrine that the whole is prior to its parts.