Some philosophers have claimed that kinds can be construed as mereologically complex structural properties. This essay examines several strategies aimed at construing a certain class of natural kinds, namely isomeric chemical kinds, in accordance with this view. In particular, the essay examines views which posit structural proper parts in addition to micro-constitutive parts to individuate isomeric chemical kinds. It then goes on to argue that the phenomenon of chirality in stereochemistry gives the proponent of kinds-as-complex-properties evidence for positing the existence (...) of causal-cum-dispositional individuating proper parts, in addition to structural parts, for chemical enantiomeric kinds. (shrink)

I propose a new theory of mereology based on a mereological reflection principle. Reflective mereology has natural fusion principles but also refutes certain principles of classical mereology such as Universal Fusion and Fusion Uniqueness. Moreover, reflective mereology avoids Uzquiano’s cardinality problem–the problem that classical mereology tends to clash with set theory when they both quantify over everything. In particular, assuming large cardinals, I construct a model of reflective mereology and second-order ZFCU with Limitation of Size. In the model, classical mereology (...) holds when the quantifiers are restricted to the urelements. (shrink)

I propose that constitution is a case of composition in which, for example, the lump of clay composes the statue. In other words, we can reduce constitution to composition. Composition does all of the work that we want from an account of constitution, and we do not need two separate relations. Along the way, I offer reasons to reject weak supplementation. Acknowledgments (which by my mistake were not included in the journal publication): Many people have given me feedback over the (...) years on this paper or an ancestor of it, and I apologize for oversights in my acknowledgments here. Special thanks to Trenton Merricks for comments on several drafts of this paper. Thanks also for helpful comments and discussions to Eugene Mills, Donald Smith, Peter Sutton, David Liebesman, Charlie Tanksley, Amanda Hicks, Kristl Laux, and to an audience at the University at Buffalo conference in honor of E. J. Lowe, an audience at Amherst College, and an audience at the 2017 APA Eastern Division Meeting. Thank you also to multiple anonymous referees along the way. (shrink)

Standard principles of mereology, such as the transitivity and asymmetry of proper parthood, have been questioned, using various multi-location scenarios. The most famous of these is Borges’s Aleph, although the literature is rife with other examples that allegedly show that some mereological principle is at odds with some form of multi-location. However, the scenarios only support this conclusion given various bridge principles that link location to parthood. I argue that the bridge principles that guarantee the desired conclusion are controversial partly (...) because they give the wrong result in other situations, in particular cases of co-location. Moreover, less controversial bridge principles do not provide an incompatibility result between standard mereological principles and multi-location. Hence, multi-location does not threaten any standard mereological principles. (shrink)

When Aristotle argues at the Metaphysics Z.17, 1041b11–33 that a whole, which is not a heap, contains ‘something else’, i.e. the form, besides the elements, it is not clear whether or not the form is a proper part of the whole. I defend the claim that the form is not a proper part within the context of the relevant passage, since the whole is divided into elements, not into elements and the form. Different divisions determine different senses of ‘part’, and (...) thus the form is not a part in the same sense as the elements are parts. I object to Koslicki’s (2006) interpretation, according to which the form is a proper part along the elements in a single sense of ‘part’, although she insists that the form and the elements belong to different categories. I argue that Koslicki’s reading involves a category mistake, i.e. the conjunction of items that do not belong to the same category (Goldwater 2018). Since for Aristotle parthood presupposes some kind of similarity of parts, the conjunction of form and elements requires treating these items as somehow belonging to the same category, e.g. ‘being’, but no such category exists. (shrink)

Universals have traditionally thought to obey the identity of indiscernibles, that is, it has traditionally been thought that there can be no perfectly similar universals. But at least in the conception of universals as immanent, there is nothing that rules out there being indiscernible universals. In this paper, I shall argue that there is useful work indiscernible universals can do, and so there might be reason to postulate indiscernible universals. In particular, I shall argue that postulating indiscernible universals can allow (...) a theory of universals to identify particulars with bundles of universals, and that postulating indiscernible universals can allow a theory of universals to develop an account of the resemblance of quantitative universals that avoids the objections that Armstrong’s account faces. Finally, I shall respond to some objections and I shall undermine the criterion of distinction between particulars and universals that says that the distinction between particulars and universals lies in that while there can be indiscernible particulars, there cannot be indiscernible universals. (shrink)

Universals have traditionally thought to obey the identity of indiscernibles, that is, it has traditionally been thought that there can be no perfectly similar universals. But at least in the conception of universals as immanent, there is nothing that rules out there being indiscernible universals. In this paper, I shall argue that there is useful work indiscernible universals can do, and so there might be reason to postulate indiscernible universals. In particular, I shall argue that postulating indiscernible universals can allow (...) a theory of universals to identify particulars with bundles of universals, and that postulating indiscernible universals can allow a theory of universals to develop an account of the resemblance of quantitative universals that avoids the objections that Armstrong’s account faces. Finally, I shall respond to some objections and I shall undermine the criterion of distinction between particulars and universals that says that the distinction between particulars and universals lies in that while there can be indiscernible particulars, there cannot be indiscernible universals. (shrink)

One of the unresolved issues in Aristotle’s hylomorphism is the part-whole puzzle. Some scholars suppose that in Metaphysics Z 17, 1041b11-33 he endorses non-mereological hylomorphism. This kind of interpretation, however, has been challenged by K. Koslicki who argues that if the evidence in Metaphysics Z 17 is combined with some related textual and conceptual considerations, then a convincing case can be made for a mereological construal of Aristotelian hylomorphism. This paper does four things. First, it scrutinizes these opposing approaches to (...) Aristotle’s theory. Second, it suggests that to adjudicate the dispute at hand one ought to determine how Aristotle deals with what has come to be known as ‘Ackrill’s problem’. It is proposed that if we consider Aristotle’s theory in light of some distinctions drawn in contemporary discussions of hylomorphism, then it transpires that he does have a solution to Ackrill’s problem. Third, it is shown that his solution to this problem suggests a particular way of settling the debate over the part-whole puzzle. And finally, it is argued that the suggested reconstruction of Aristotelian hylomorphism is consistent with the textual evidence in Metaphysics Z 17 and its associated texts. (shrink)

Some philosophers defend the possibility of synchronic multilocation, and have even used it to defend other substantive metaphysical theses. But just how strong is the case for the possibility of synchronic multilocation? The answer to this question depends in part on whether synchronic multilocation is wedded to other controversial metaphysical notions. In this paper, I consider whether the possibility of synchronic multilocation depends on the possibility of time travel, and I conclude that the answer hinges on the nature of time (...) and persistence. (shrink)

One objection to the thesis that multilocation is possible claims that, when combined with a preference for parsimonious theories, it leads to the absurd result that we ought to believe the material universe is composed of just one simple particle. I argue that this objection fails.

Anyone who admits the existence of composite objects allows a certain kind of coincidence, coincidence of a thing with its parts. I argue here that a similar sort of coincidence, coincidence of a thing with the stuff that constitutes it, should be equally acceptable. Acknowledgement of this is enough to solve the traditional problem of the coincidence of a statue and the clay or bronze it is made of. In support of this, I offer some principles for the persistence of (...) stuff that are general, not relying on the particular features of a kind of stuff in the way that principles for the persistence for a thing would. This provides a non-arbitrary grounding for stuff that is independent of the conditions on the nature and persistence of things the stuff composes. The principles also provide a general basis for responding to other questions about coincident stuff. (shrink)

Multilocation and Minimal Mereology do not mix well. It has been pointed out that Three-Dimensionalism, which can be construed as multilocation-friendly, runs into trouble with Weak Supplementation. But in fact, regardless of one’s theory of persistence, if someone posits the possibility of any one of several kinds of multilocation, he or she will not be able to maintain the necessity of any of the three axioms of Minimal Mereology: the Transitivity of Proper Parthood, the Asymmetry of Proper Parthood, and Weak (...) Supplementation. In fact, positing even the mere conceivability of cases involving multilocation will require the denial of the analyticity of Minimal Mereology. In response to this, some have claimed that we ought to relativise parthood, either to one region or to two. Unfortunately, if we replace the axioms of Minimal Mereology with region-relativised counterparts, we will not be able to capture the intuitions that supported the original axioms. The only adequate solution, I maintain, is to restrict multilocation to a domain outside the scope of the rules we intuitively take to govern the parthood relation. For those who take Minimal Mereology to be necessary and universal, that will mean relinquishing the possibility of multilocation. (shrink)

This paper offers a critical reconstruction of the motivations that led to the development of mereology as we know it today, along with a brief description of some problems that define current research in the field.

Philosophy and Phenomenological Research, EarlyView.

Those who accept the necessity of mereological universalism face what has come to be known as the ‘junk argument’ due to Bohn [2009], which proceeds from the incompatibility of junk with universalism and the possibility of junk, to conclude that mereological universalism isn't metaphysically necessary. Most attention has focused on ; however, recent authors have cast doubt on . This paper undertakes a defence of premise against three main objections. The first is a new objection to the effect that Bohn's (...) defence of that premise presupposes far too much. I show that one can defend premise from a much weaker set of assumptions. The second objection, due to Contessa [2012], is that those who accept unrestricted composition should only accept the existence of binary sums rather than infinitary fusions. I argue that this conception of unrestricted composition is problematic: it is in conflict with an intuitive remainder principle. The final objection is .. (shrink)

The dominant theory of parts and wholes – classical extensional mereology – has faced a number of challenges in the recent literature. This article gives a sampling of some of the alleged counterexamples to some of the more controversial principles involving the connections between parthood and identity. Along the way, some of the main revisionary approaches are reviewed. First, counterexamples to extensionality are reviewed. The ‘supplementation’ axioms that generate extensionality are examined more carefully, and a suggested revision is considered. Second, (...) the paper considers an alternative approach that focuses the blame on antisymmetry but allows us to keep natural supplementation axioms. Third, we look at counterexamples to the idempotency of composition and the associated ‘parts just once’ principle. We explore options for developing weaker mereologies that avoid such commitments. (shrink)

Mereological principles are often controversial; perhaps the most stark contrast is between those who claim that Weak Supplementation is analytic—constitutive of our notion of proper parthood—and those who argue that the principle is simply false, and subject to many counterexamples. The aim of this paper is to diagnose the source of this dispute. I’ll suggest that the dispute has arisen by participants failing to be sensitive to two different conceptions of proper parthood: the outstripping conception and the non-identity conception. I’ll (...) argue that the outstripping conception, can deliver the analyticity of Weak Supplementation on at least one sense of ‘analyticity’. I’ll also suggest that the non-identity conception cannot do so independently of considerations to do with mereological extensionality. (shrink)

Mereological principles are often controversial; perhaps the most stark contrast is between those who claim that Weak Supplementation is analytic—constitutive of our notion of proper parthood—and those who argue that the principle is simply false, and subject to many counterexamples. The aim of this paper is to diagnose the source of this dispute. I’ll suggest that the dispute has arisen by participants failing to be sensitive to two different conceptions of proper parthood: the outstripping conception and the non-identity conception. I’ll (...) argue that the outstripping conception (together with a specific set of definitions for other mereological notions), can deliver the analyticity of Weak Supplementation on at least one sense of ‘analyticity’. I’ll also suggest that the non-identity conception cannot do so independently of considerations to do with mereological extensionality. (shrink)

Does a commitment to mereological universalism automatically bring along a commitment to the controversial doctrine of mereological extensionalism—the view that objects with the same proper parts are identical? A recent argument suggests the answer is ‘yes’. This paper attempts a systematic response to the argument, considering nearly every available line of reply. It argues that only one approach—the mutual parts view—can yield a viable mereology where universalism does not entail extensionalism.

Van Inwagen's General Composition Question (GCQ) asks what conditions on an object and its constituents make the object a whole that these constituents compose, as opposed to an object linked to the constituents by a relation other than composition. The answer is traditionally expected to cite no mereological terms, to hold of metaphysical necessity and to be such that no defeating scenarios can be conceived (e.g., a scenario in which the conditions are met but the constituents fail to genuinely compose (...) the object). While not all writers agree on setting these high expectations on the principles that constitute answers to the GCQ (Hawley 2006), there is a yet unsettled issue concerning the principles’ naturalistic accreditation: Could putative principles be constrained and informed by advanced physical knowledge? Arguing positively, we outline two styles of principles worthy of naturalistic authority. In an explorative spirit, we notice that each style incurs certain costs. First, the principle in question may fail some of the above expectations set in an aprioristic context. Second, it may require a specific meta-theoretic understanding of what it takes to achieve naturalistic accreditation. Finally, it may address the GCQ “piecemeal” and fail to generalize to objects of all physical sorts.1. (shrink)

A.J. Cotnoir has argued that we should distinguish between two notions of proper parthood: outstripped part and non-identical part. Outstripped parthood is an asymmetric relation, but non-identical parthood is not. We argue, first, that the intuitions Cotnoir uses to motivate these notions do not always give the right verdict; and, second, that systematic reasons for distinguishing these two notions of parthood have further counter-intuitive consequences. This means the distinction between two notions of proper parthood currently lacks adequate motivation.

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)

A number of approaches to quantum gravity (QG) seem to imply that spacetime does not exist. Philosophers are quick to point out, however, that the loss of spacetime should not be regarded as total. Rather, we should interpret these approaches as ones that threaten the fundamentality but not the existence of spacetime. In this paper, I argue for two claims. First, I argue that spacetime realism is not forced by QG; spacetime eliminativism remains an option. Second, I argue that eliminativism (...) provides a useful framework for developing two existing approaches to the metaphysics of QG, involving functionalism and mereology respectively. (shrink)

A number of approaches to quantum gravity (QG) seem to imply that spacetime does not exist. Philosophers are quick to point out, however, that the loss of spacetime should not be regarded as total. Rather, we should interpret these approaches as ones that threaten the fundamentality but not the existence of spacetime. In this paper, I argue for two claims. First, I argue that spacetime realism is not forced by QG; spacetime eliminativism remains an option. Second, I argue that eliminativism (...) provides a useful framework for developing two existing approaches to the metaphysics of QG, involving functionalism and mereology respectively. (shrink)

According to a number of approaches in theoretical physics, spacetime does not exist fundamentally. Rather, spacetime exists by depending on another, more fundamental, non-spatiotemporal structure. A prevalent opinion in the literature is that this dependence should not be analyzed in terms of composition. We should not say, that is, that spacetime depends on an ontology of non-spatiotemporal entities in virtue of having them as parts. But is that really right? On the contrary, we argue that a mereological approach to dependent (...) spacetime is not only viable, but promises to enhance our understanding of the physical situation. (shrink)

There’s a common line of reasoning which supposes that the phenomenal unity of conscious experience is grounded in a mind-like simple subject. To the contrary, Mādhyamika Buddhist philosophers like Śrīgupta (seventh–eighth century) argue that any kind of mental simple is incoherent and thus metaphysically impossible. Lacking any unifying principle, the phenomenal unity of conscious experience is instead an unfounded illusion. In this paper, I present an analysis of Śrīgupta’s "neither-one-nor-many argument" against mental simples and show how his line of reasoning (...) is driven by a set of implicit questions concerning the nature of and relation between consciousness and its intentional object. These questions not only set the agenda for centuries of intra-Buddhist debate on the topic, but they are also questions to which any defender of unified consciousness or a simple subject of experience arguably owes responses. (shrink)

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