This article’s purpose is to defend the depiction of ordinary-sized physical objects as mereological aggregates (MAs), to clarify what the ontology of an MA is, and to show why mereological essentialism (ME) applies to MAs that seem to be ubiquitous if we are to adopt what Frank Jackson calls “Serious Metaphysics” and refuse to broaden our ontology beyond what is (allegedly) bequeathed to us by physics and chemistry. To accomplish this goal, first, I clarify certain background issues that (...) inform what follows and I identify certain constraints that relate to the contemporary ambivalence towards ME. Second, I present a primer on Husserlian mereology that provides a superior account of parts and wholes than the inadequate approach identified in the previous section. Third, I will offer a defense of ME as the correct approach to providing an ontological account of MAs. Finally, I will evaluate two defeaters against my thesis. (shrink)

The author expounds critically Roderick Chisholm's theory of modal mereology and undertakes to redeploy and reconcile this with the Lesniewski-Tarski theory of part-whole, modally augmented. An argument is presented for the principle that what belongs to an aggregate as a part belongs essentially to it. This principle is argued not to imply that every part of an ordinary substance is essentially part of it (such substances not being aggregates), and to give no particular support to Roderick Chisholm's postulation of (...) entia successiva in substitution for ships, trees, and houses as ordinary conceived. Entia successiva are not good candidates for identification with these. (shrink)

The author expounds critically Roderick Chisholm's theory of modal mereology and undertakes to redeploy and reconcile this with the Lesniewski-Tarski theory of part-whole, modally augmented. An argument is presented for the principle that what belongs to an aggregate as a part belongs essentially to it. This principle is argued not to imply that every part of an ordinary substance is essentially part of it (such substances not being aggregates), and to give no particular support to Roderick Chisholm's postulation of (...) entia successiva in substitution for ships, trees, and houses as ordinary conceived. Entia successiva are not good candidates for identification with these. (shrink)

As it is indicated in the title, this paper is devoted to the problem of defining mereological (collective) sets. Starting from basic properties of sets in mathematics and differences between them and so called conglomerates in Section 1, we go on to explicate informally in Section 2 what it means to join many objects into a single entity from point of view of mereology, the theory of part of (parthood) relation. In Section 3 we present and motivate basic axioms (...) for part of relation and we point to their most fundamental consequences. Next three sections are devoted to formal explication of the notion of mereological set (collective set) in terms of sums, fusions and aggregates. We do not give proofs of all theorems. Some of them are complicated and their presentation would divert the reader’s attention from the main topic of the paper. In such cases we indicate where the proofs can be found and analyzed by those who are interested. (shrink)

Mulliken proposed an Aufbauprinzip for the molecules on the basis of molecular spectroscopy while establishing, point by point, his concept of molecular orbit. It is the concept of electronic state which becomes the lever for his attribution of electronic configurations to a molecule. In 1932, the concept of orbit was transmuted into that of the molecular orbital to integrate the probabilistic approach of Born and to achieve quantitative accuracy. On the basis of the quantum works of Hund, Wigner, Lennard-Jones and (...) group theory, he suggested the fragment method to establish the characteristics of molecular orbital for polyatomic molecules. These developments make it possible to bring elements of thought on the relation between a molecular whole and its parts . An operational realism combined with the second law of thermodynamics can pave the way for interesting tracks in the mereological study of chemical systems. (shrink)

Lynne Rudder Baker and many others think that paradigmatic instances of one object constituting another—a piece of marble constituting a statue, or an aggregate of particles constituting a living body—involve two distinct objects in the same place at the same time. Some who say this believe in the doctrine of temporal parts; but others, like Baker, reject this doctrine. Such philosophers, whom one might call “coincidentalists”, cannot say that these objects manage to share space in virtue of sharing a (...) temporal part confined to just that place and time. But what can or should coincidentalists say about the nature of constitution? Many have analyzed the relation as one of sharing, “at some level”, all and only the same parts. Most have agreed that such massive part-sharing is at least a central component of and necessary condition for constitution. The heart of Baker’s Persons and Bodies, and its most significant contribution to the development of coincidentalism, is a theory of constitution that makes no appeal to mereology. The leading idea in Baker’s account is, instead, a modal one: objects belonging to constituted kinds are the necessary result of putting objects belonging to appropriate constituting kinds in the right circumstances, circumstances which the constituting objects need not have been in. So putting a piece of man-shaped marble in the right circumstances necessarily results in the existence of a second object, a statue, constituted by the marble; but the piece of marble need not have fallen into these circumstances or any others in which it would constitute a statue. (shrink)

In this paper reasons are given for accepting a paradigmatically ‘metaphysical’ thesis called Unrestricted Mereological Composition, or something close to it. These reasons are drawn from thoroughly empirical considerations that played a significant role in the history of physical sciences, particularly in the emergence of the Newtonian laws of motion. Roughly: this metaphysical thesis is supported by a principle of ‘inference to the best explanation’ of observations of the very same kind that paradigmatically furnish evidence supporting or undermining empirical (...) theories in physics. There are methodological morals in metaphilosophy to be drawn from this historical example – blurring the distinction that has been traditionally drawn between ‘metaphysical’ theses and ‘empirical’ hypotheses. (shrink)

Lynne Rudder Baker and many others think that paradigmatic instances of one object constituting another—a piece of marble constituting a statue, or an aggregate of particles constituting a living body—involve two distinct objects in the same place at the same time. Some who say this believe in the doctrine of temporal parts; but others, like Baker, reject this doctrine. Such philosophers, whom one might call “coincidentalists”, cannot say that these objects manage to share space in virtue of sharing a (...) temporal part confined to just that place and time. But what can or should coincidentalists say about the nature of constitution? Many have analyzed the relation as one of sharing, “at some level”, all and only the same parts. Most have agreed that such massive part-sharing is at least a central component of and necessary condition for constitution. The heart of Baker’s Persons and Bodies, and its most significant contribution to the development of coincidentalism, is a theory of constitution that makes no appeal to mereology. The leading idea in Baker’s account is, instead, a modal one: objects belonging to constituted kinds are the necessary result of putting objects belonging to appropriate constituting kinds in the right circumstances, circumstances which the constituting objects need not have been in. So putting a piece of man-shaped marble in the right circumstances necessarily results in the existence of a second object, a statue, constituted by the marble; but the piece of marble need not have fallen into these circumstances or any others in which it would constitute a statue. (shrink)

The theory according to which most ordinary objects are mere “entia successiva”—sequences of distinct mereological aggregates, whose unity resides exclusively in our minds—is a variant of the standard, three-dimensional conception of objects. For the aggregates are, at bottom, endurants, i.e., entities that persist through time by being fully present at any time at which they exist. In this paper I compare this theory with the so-called “stage view”, according to which ordinary objects—indeed, all objects—are sequences of momentary entities that (...) cannot truly be said to persist through time. Both theories face a number of intuitive difficulties but the stage view, I argue, has a lot more to offer in return. (shrink)

Viewed from a suitable distance, David Lewis's ontological scheme is simplicity itself. Absolutely everything that exists, according to Lewis, is either a spatiotemporal particular, or a set theoretic construction from such particulars, or a mereological aggregate of such items. Set theoretic constructionalism is not an incidental feature of Lewis's system. The master argument of On the Plurality of Worlds is that a pluriverse composed of infinitely many concrete universes constitutes a “paradise for philosophers. Given his other views, his (...) account of classes has profound implications for general metaphysics, implying as it does an account of the nature of properties and instantiation, propositions and propositional truth, the nature of events, and so on. But Lewis does not consider those implications. The aim of this chapter is to close the circle by bringing Lewis's mature account of sets into contact with his larger ontological scheme. (shrink)

I discuss a general limitative consequence of the unrestricted mereological composition thesis. The unrestricted composition thesis, which is roughly the assertion that every plurality of objects possesses a fusion or sum, is shown to be in conflict with general existence-conditions for certain categories of mereologically non-composite objects. The conclusion is that the unrestricted composition thesis, which is a maximizing principle about what aggregates exist, places sharp limits on what unaggregated items can exist.

This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical (...) for formal ontology. We provide examples to support this thesis from the domain of biomedicine. (shrink)

Lynne Rudder Baker presents and defends a unique account of the material world: the Constitution View. In contrast to leading metaphysical views that take everyday things to be either non-existent or reducible to micro-objects, the Constitution View construes familiar things as irreducible parts of reality. Although they are ultimately constituted by microphysical particles, everyday objects are neither identical to, nor reducible to, the aggregates of microphysical particles that constitute them. The result is genuine ontological diversity: people, bacteria, donkeys, mountains and (...) microscopes are fundamentally different kinds of things - all constituted by, but not identical to, aggregates of particles. Baker supports her account with discussions of non-reductive causation, vagueness, mereology, artefacts, three-dimensionalism, ontological novelty, ontological levels and emergence. The upshot is a unified ontological theory of the entire material world that irreducibly contains people, as well as non-human living things and inanimate objects. (shrink)

We argue that a formal semantics for music can be developed, although it will be based on very different principles from linguistic semantics and will yield less precise inferences. Our framework has the following tenets: Music cognition is continuous with normal auditory cognition. In both cases, the semantic content derived from an auditory percept can be identified with the set of inferences it licenses on its causal sources, analyzed in appropriately abstract ways. What is special about music semantics is that (...) it aggregates inferences based on normal auditory cognition with further inferences drawn on the basis of the behavior of voices in tonal pitch space. This makes it possible to define an inferential semantics but also a truth-conditional semantics for music. In particular, a voice undergoing a musical movement m is true of an object undergoing a series of events e just in case there is a certain structure-preserving map between m and e. Aspects of musical syntax might be derivable on semantic grounds from an event mereology, which also explains some cases in which tree structures are inadequate for music. Intentions and emotions may be attributed at several levels, and we speculate on possible explanations of the special relation between music and emotions. (shrink)

When an entity ontologically depends on another entity, the former ‘presupposes’ or ‘requires’ the latter in some metaphysical sense. This paper defends a novel view, Dependence Deflationism, according to which ontological dependence is what I call an aggregative cluster concept: a concept which can be understood, but not fully analysed, as a ‘weighted total’ of constructive and modal relations. The view has several benefits: it accounts for clear cases of ontological dependence as well as the source of disagreement in controversial (...) ones; it gives a nice story about the evidential relevance of modal, mereological and set-theoretic facts to ontological dependence; and it makes sense of debates over the relation's formal properties. One important upshot of the deflationary account is that questions of ontological dependence are generally less deep and less interesting than usually thought. (shrink)

David Lewis defends the following "non-circular definition of personhood": "something is a continuant person if and only if it is a maximal R-interrelated aggregate of person-stages. That is: if and only if it is an aggregate of person-stages, each of which is R-related to all the rest (and to itself), and it is a proper part of no other such aggregate." I give a counterexample, involving a person who is a part of another, much larger person, with (...) a separate mental life. I then offer an easy repair, which preserves the virtues of Lewis's definition without introducing any new vices. (shrink)

Using the work of Lacan but with reference to a number of other philosophers, this article argues eight main theses: first of all, that non-Platonic philosophical construction follows after a foundational destruction; second, that philosophy generally has a nothing outside its text, one that allows for the formation of that text—for example, Kant forms the text of phenomena only by way of the noumena; third, that this transcendental nothing renders all identities ideal, however that is conceived—an example being Badiou’s notion (...) of “belonging,” one derived from the work of Georg Cantor and Paul Cohen; fourth, that a consequence of this ideality is mereological nihilism; fifth, due to this mereological nihilism any existent is only ever an aggregate, that is, an aggregate of some base element, or “stuff ”—a position that returns such philosophy to that of the ancients; sixth, this collapses idealism and materialism into each other, a collapse marked by what is referred to throughout as an impossible monism. Moreover, this impossible monism is a result of philosophy’s constant production of a bastard trinity—a dual monism, as it were. Seventh, that there are two models of difference evident in non-Platonic philosophy: the first is that of a block, with difference cut into it—like Swiss cheese, as it were—while the second is a flux which we seek to arrest with local regimes of stability. Eighth, and finally, that theology, in line with Plato, suggests the possibility of another difference, namely, a peaceable one. (shrink)

Does Aquinas have a theory of social ontology? It is not easy to answer this question. On the one hand, Aquinas never discusses the ontology of those entities that we today consider significant for social ontology. On the other hand, though, there are places where Aquinas addresses the mereological question of the relation between aggregates and the individuals that compose them, and these places are significant for bringing to light what Aquinas had to say, if anything, about social ontology. (...) In the end, Aquinas grants social aggregates a place within Aristotelian ontology. My claim here is stronger, however. As a follower of Aristotle, Aquinas cannot avoid having a theory of social ontology, however inchoate this theory may be. In this paper, I show that his theory is metaphysical in character rather than cognitive or linguistic; nevertheless, it also considers the three primitives that, according to John Searle, are at the basis of any social construction, namely collective intentionality, assignment of function, and constitutive rules and procedures. I shall prove that Aquinas’s theory lies between reductionism and realism when it answers the question of the nature of social aggregates, and between naturalism and constructionism when it comes to explaining their origin. (shrink)

Collectives are familiar items in Wyclif's ontology. They are characterized as aggregates – aggregata – and this is the technical term I first took to be a trustworthy lexical indicator for collectives in Wyclif. But his use of that technical term turned out to be way too wide, for aggregata are all over the place in Wyclif. Here are some examples. Wyclif calls aggregates, in logic: propositions, truths, and inferences; in metaphysics: individual substances, relations, mixed bodies, integral wholes and universals; (...) in ethics: passions, virtues and vices, but also sins, and so on and so forth. So while the term aggregatum does indeed catch all the collectives, it appears also to designate many items that, at least prima facie, are not collectives. In this paper, I will first briefly evaluate the reasons given for considering Wyclif's mereology as being deviant; second, I will consider the objection of infinite regress addressed to the wyclifian theory of the aggregate man; third, I will try to connect Wyclif's mereology with two other central aspects of his thought, namely is broader metaphysics and his Trinitarian theology. (shrink)

The paper deals with Leibniz’s ontology and the metaphysics of the aggregate. Concerning the ontology of aggregates, the main aim is to provide _a new argument_ in favor of the claim that an aggregate and its constituents have the same ontological import. This argument takes the form of a weakening of a principle known in the contemporary literature of mereology as ‘composition as identity’ (CAI). The paper shows that Leibniz’s nominalism toward aggregates is a direct consequence of two (...) elements: the way in which he considers the relationship between aggregates and their constituents in his logical calculus; and his theory of identity (and more generally, equivalence relations) as providing us with the ground for substitution _salva veritate_. It is concluded that Leibniz is committed to a principle that the author dubs Ontological-CAI: the aggregate/whole is _ontologically identical_ (i.e. it has the same ontological import) as its constituents/parts. Concerning the metaphysics of aggregates, the paper outlines in what sense aggregates are grounded on their constituents: arguing that Leibniz is committed to a further principle that the author calls Metaphysical-CAI: the aggregate/whole is _metaphysically grounded_ on its constituents/parts. From this it can be understood in which sense Leibniz could be considered a mereological nihilist, and in which sense not. The paper also sets out two different and competing readings of Metaphysical-CAI, and argues that Leibniz accepted both of them by interpreting them as different levels of explanation of the nature of aggregates. (shrink)

In the Categories Aristotle defined substance as that which is neither predicable of nor in another. In saying that a substance is not predicable of another, Aristotle meant to exclude genera and species from the category substance. Aman is a substance but not man. In saying that a substance is not in another, Aristotle meant to exclude property particulars from the category. A man is a substance, not his color. The Categories treats substances as simples. Though a particular substance, Bucephalus (...) the horse, has parts, it is nevertheless a single entity in the category substance and, hence, incomplex in the way a black thing or a running man are not. Black things and runners are complex because they are aggregates of substances and property particulars. Even if a horse is one substance and, thus, an entity, a horse is made of parts and one may wonder how it is related to its parts, as well as how its being made of parts coheres with the definition of substance given in the Categories. (shrink)

Mark Siderits has been one of the sharpest, clearest philosophers working on Buddhism in the last several decades. His work has also been strikingly wide-ranging. In this chapter, we will focus on two themes in his work that we find particularly interesting. First, Siderits makes a strong case that Abhidharma Buddhists promote mereological nihilism – the view that only simple entities are ultimately real, and aggregates (like a chariot or a heap) are at best useful fictions. Mereological nihilism (...) grounds an argument against the existence of selves, which of course, is central to the tradition. But Siderits draws out a further, bracing conclusion from mereological nihilism – that consciousness isn’t ultimately real. We think this conclusion so antithetical to other commitments of Buddhism that it provides reason to doubt whether Buddhists should sustain the commitment to mereological nihilism. There is another important argument for the no-self view, however, Vasubandhu’s causal-efficacy argument; on this argument, real things must enter in cause-and-effect relations, and when we turn to cause-and-effect, there is no place where the self plays a necessary role. This argument informs our exploration of the second theme from Siderits – his defense of the “personalist” view that person (unlike self) is a useful fiction. We challenge this claim, first by noting that Vasubandhu himself uses the causal-efficacy argument against both selves and persons, and second by arguing that selves and persons are also on a par when it comes to whether they are useful fictions. (shrink)

abstract: I provide a novel interpretation of Aristotle's account of the unity of soul, treating it as resolving the apparent incompatibility of the existence of psychic parts and the soul's status as a unifying form. This incompatibility, I contend, rests on a problematic assumption: mereological actualism, or the claim that parts are actually distinct and prior to the whole. Aristotle successfully undermines actualism and formulates an alternative conception of parthood within De Anima 's figure-soul analogy. As triangles are only (...) potentially present within quadrilaterals, so lower psychic parts are potential parts of higher souls. This picture treats a soul not as a mere aggregate of capacities, but as essentially unified and prior to its parts. Finally, I argue that this picture can be illuminated and must be read against the background of his hylomorphic account of the unity of form given in Metaphysics H.6. (shrink)

Two views of Plato’s politics in the Republic predominate in the literature. Political organicism is the view that the polis is an organism and implies that individual happiness is defined by an individual’s contribution to the polis’s good. Individualism is the view that the polis is reducible to individuals, which implies that the polis’s good is nothing but individual happiness aggregated. This article develops a middle-of-the-road view called weak organicism, which qualifies Plato’s organicism and includes a Platonic account of the (...) mereological relations of the polis. These relations imply that individuals as such are not structurally dependent on the whole polis, thereby making conceptual space for Plato’s expressly stated thesis that the polis’s good is over and above individual happiness without necessarily implying that individual happiness is reducible to the polis’s good, which the literature generally supposes to be a corollary of political organicism. (shrink)

This paper proposes a reformulation of the treatment of boundaries, at parts and aggregates of entities in Basic Formal Ontology. These are currently treated as mutually exclusive, which is inadequate for biological representation since some entities may simultaneously be at parts, boundaries and/or aggregates. We introduce functions which map entities to their boundaries, at parts or aggregations. We make use of time, space and spacetime projection functions which, along the way, allow us to develop a simple temporal theory.

Michael Jubien’s Ontology, Modality, and the Fallacy of Reference is an interesting and lively discussion of those three topics. In ontology, Jubien defends, to a first approximation, a Quinean conception: a world of objects that may be arbitrarily sliced or summed. Slicing yields temporal parts; summing yields aggregates, or fusions. Jubien is very unQuinean in his explicit Platonism regarding properties and propositions, but concerns about abstracta are peripheral to much of the argumentation in the book.1 His version of the doctrine (...) that arbitrary mereological sums exist is nonstandard in that he views it as a convention (albeit a useful one) that we treat sums of objects as themselves being objects. Indeed, he views the concept of objecthood itself as being conventional. The world consists fundamentally of stuff, which we divide into things in any way that suits our purposes. In modality, Jubien’s views are to a first approximation Chisholmian: he holds the doctrine of mereological essentialism, according to which anything.. (shrink)

Mereological nihilism is the view that no objects have proper parts. Despite how counter‐intuitive it is, it is taken quite seriously, largely because it solves a number of puzzles in the metaphysics of material objects – or so its proponents claim. In this article, I show that for every puzzle that mereological nihilism solves, there is a similar puzzle that (a) it doesn’t solve, and (b) every other solution to the original puzzle does solve. Since the solutions to (...) the new puzzles apply just as well to the old puzzles, the old puzzles provide no motivation to be a mereological nihilist. (shrink)

Mereological principles are sometimes used to support general claims about the structure and arrangement of objects in the world. I focus initially on one such mereological principle, the weak supplementation principle (WSP). It is not obvious that (WSP) is prescribed by ordinary thinking about parthood. Further, (WSP) is not needed for a fairly strong formal characterization of the part–whole relation. For these reasons, some arguments relying on (WSP) might be countered by simply denying (WSP). I argue more generally (...) that there is no reason to assume that one core mereology functions as a common basis for all plausible metaphysical theories. (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)

This paper approaches Husserl’s analysis of time-consciousness from a mereological perspective. Taking as inspiration Bergson’s idea that pure durée is a multiplicity of interpenetration, I will show, from within Husserlian phenomenology, that the absolute flow can indeed be described as a whole of interpenetrating parts. This mereological perspective will inform my re-consideration of the much-discussed issue of Husserl’s self-criticism concerning the schema of content and apprehension. It will also reveal a fundamental similarity between Husserl’s conception of the absolute (...) flow and Sartre’s conception of lived temporality. This paper consists of four sections. Section 2 presents the basic elements of Husserl’s mereology. Section 3 introduces the difficulty encountered by Husserl’s early account of time that makes use of the schema. I will examine Barry Dainton’s criticism of Husserl’s theory of time-consciousness against the background of the older debate between Meinong and Stern, a debate that has informed Husserl’s own account. Section 4 distinguishes two common criticisms of the schema from Husserl’s own self-criticism, which is in turn divided into two steps. It is shown how the second step of this self-criticism implies the interpenetration of the absolute flow and responds to Dainton’s criticism. Finally, Sect. 5 concludes with some comparative remarks. I will show how Husserl’s notion of absolute flow, as mereologically interpreted, anticipates Sartre’s conception of consciousness as self-transcendence, as well as how it accommodates the apparently conflicting mereological intuitions of Aristotle and Bergson. (shrink)

Mereological nihilism is the thesis that composite objects—objects with proper parts—do not exist. Nihilists generally paraphrase talk of composite objects F into talk of there being “xs arranged F-wise” . Recently several philosophers have argued that nihilism is defective insofar as nihilists are either unable to say what they mean by such phrases as “there are xs arranged F-wise,” or that nihilists are unable to employ such phrases without incurring significant costs, perhaps even undermining one of the chief motivations (...) for nihilism. In this paper I defend nihilism against these objections. A key theme of the paper is this: if nihilists need to employ such phrases as “there are xs arranged F-wise,” non-nihilists will need to do so as well. Accordingly, any costs incurred by the nihilist when she employs such phrases will be shared by everyone else. What’s more, such phrases are intelligible when employed by the nihilist, as well as when they are employed by the non-nihilist, insofar as analyses of such phrases will not essentially involve mereological concepts incompatible with nihilism. (shrink)

When do the folk think that mereological composition occurs? Many metaphysicians have wanted a view of composition that fits with folk intuitions, and yet there has been little agreement about what the folk intuit. We aim to put the tools of experimental philosophy to constructive use. Our studies suggest that folk mereology is teleological: people tend to intuit that composition occurs when the result serves a purpose. We thus conclude that metaphysicians should dismiss folk intuitions, as tied into a (...) benighted teleological view of nature. (shrink)

Binarizing belief aggregation tackles the problem of aggregating individuals’ probabilistic beliefs on logically connected propositions into the group’s binary beliefs. One common approach to associating probabilistic beliefs with binary beliefs would be applying thresholds to probabilities. This paper aims to introduce and classify a range of threshold-based binarizing belief aggregation rules while characterizing them based on different forms of monotonicity and other properties.

Mereological nihilists hold that composition never occurs, so that nothing is ever a proper part of anything else. Substance dualists generally hold that we are each identical with an immaterial soul. In this paper, I argue that every popular objection to substance dualism has a parallel objection to composition. This thesis has some interesting implications. First, many of those who reject composition, but accept substance dualism, or who reject substance dualism and accept composition, have some explaining to do. Secondly, (...) one popular objection to mereological nihilism, one which contends that mereological nihilism is objectionable insofar as it is incompatible with the existence of people, is untenable. (shrink)

Mereological nihilism is the thesis that composition never occurs. Sider has defended nihilism on the basis of its relative ideological simplicity. In this paper I develop the argument from ideological simplicity, and defend it from some recent objections. Along the way I discuss the best way to formulate nihilism, what it means for a theory to exhibit lesser or greater degrees of ideological simplicity, the relationship between the parthood relation and the identity relation, and the notion that we should (...) judge the ideological simplicity of competing theories on the basis of the kinds of ideological commitments required by those theories. (shrink)

It is often assumed that indeterminacy in mereological relations—in particular, indeterminacy in which collections of objects have fusions—leads immediately to indeterminacy in what objects there are in the world. This assumption is generally taken as a reason for rejecting mereological vagueness. The purpose of this paper is to examine the link between mereological vagueness and existential vagueness. I hope to show that the connection between the two forms of vagueness is not nearly so clear-cut as has been (...) supposed. (shrink)

Is a whole something more than the sum of its parts? Are there things composed of the same parts? If you divide an object into parts, and divide those parts into smaller parts, will this process ever come to an end? Can something lose parts or gain new ones without ceasing to be the thing it is? Does any multitude of things (including disparate things such as you, this book, and the tail of a cat) compose a whole of some (...) sort? Questions such as these have occupied us for at least as long as philosophy has existed. They define the field that has come to be known as mereology-the study of all relations of part to whole and of part to part within a whole-and have deep and far-reaching ramifications in metaphysics as well as in logic, the foundations of mathematics, the philosophy of language, the philosophy of science, and beyond. In Mereology, A. J. Cotnoir and Achille C. Varzi have compiled decades of advanced research into a comprehensive, up-to-date, and formally rigorous picture. The early chapters cover the more classical aspects of mereology; the rest of the book deals with variants and extensions. Whether you are an established professional philosopher, an interested student, or a newcomer, inside you will find all the tools you need to join this ever-evolving field of inquiry and theorize about all things mereological. (shrink)

Core principles of mereology have been questioned by appealing to time travel scenarios. This paper questions the methodology of employing time travel scenarios to argue against mereology. We show some time travel scenarios are structurally equivalent to more standard ones not involving time travel; and that the three main theories about persistence through time can each solve both the time travel scenario as well as the structurally similar classical scenario. Time travel scenarios that are not similar to more standard arguments (...) are instead problematic because they are open to different, incompatible interpretations. We conclude that compared to the classical arguments against mereological principles, time travel scenarios do not add anything new. (shrink)

I argue that mereological nihilism fails because it cannot answer the special arrangement question: when is it true that the xs are arranged F-wise? I suggest that the answers given in the literature fail and that the obvious responses that could be made look to undermine the motivations for adopting nihilism in the first place.

Parthood and composition are everywhere. The leg of a table is part of the table, the word "Christmas" is part of the sentence "I wish you a merry Christmas", the 13th century is part of the Middle Ages. The Netherlands, Belgium, and Luxembourg compose Benelux, the body of a deer is composed of a huge number of cells, the Middle Ages are composed of the Early Middle Ages, High Middle Ages, and Late Middle Ages. Is there really a general theory (...) covering every instance of parthood and composition? Is classical mereology this general theory? Are its seemingly counter-intuitive features serious defects? -/- Mereology: A Philosophical Introduction addresses the multifaceted and lively philosophical debates surrounding these questions, and defends the idea that classical mereology is indeed the general and exhaustive theory of parthood and composition in the domain of concrete entities. -/- Several examples of parthood and composition, involving entities of different kinds, are scrutinised in depth. Incidentally, mereology is shown to interact in a surprising way with metaontology. Presenting a well-organized and comprehensive discussion of parthood and related notions, Mereology: A Philosophical Introduction contributes to a better understanding of a subject central to contemporary metaphysics. (shrink)

This peer reviewed reference article is an annotated online bibliography on mereology with 80+ entries. It's aim is to provide a selective and balanced guide to the subject. It contains thematic headings with commentaries. The reader should come away cognizant of what the most influential work in mereology are. Topics highlighted herein include, but are not limited to: the history of mereology, classical extensional mereology and its challenges, parthood, connections with location relations, mereological simples and gunk, composition as identity, (...) as well as mereological essentialism, nihilism, and universalism. (shrink)

I develop a definition of mereological endurantism which overcomes objections that have been proposed in the literature and thereby avoids the charge of obscurity put forward by Sider against the view.

For aggregative theories of moral value, it is a challenge to rank worlds that each contain infinitely many valuable events. And, although there are several existing proposals for doing so, few provide a cardinal measure of each world's value. This raises the even greater challenge of ranking lotteries over such worlds—without a cardinal value for each world, we cannot apply expected value theory. How then can we compare such lotteries? To date, we have just one method for doing so (proposed (...) separately by Arntzenius, Bostrom, and Meacham), which is to compare the prospects for value at each individual location, and to then represent and compare lotteries by their expected values at each of those locations. But, as I show here, this approach violates several key principles of decision theory and generates some implausible verdicts. I propose an alternative—one which delivers plausible rankings of lotteries, which is implied by a plausible collection of axioms, and which can be applied alongside almost any ranking of infinite worlds. (shrink)

How best to think about quantum systems under permutation invariance is a question that has received a great deal of attention in the literature. But very little attention has been paid to taking seriously the proposal that permutation invariance reflects a representational redundancy in the formalism. Under such a proposal, it is far from obvious how a constituent quantum system is represented. Consequently, it is also far from obvious how quantum systems compose to form assemblies, i.e. what is the formal (...) structure of their relations of parthood, overlap and fusion. In this paper, I explore one proposal for the case of fermions and their assemblies. According to this proposal, fermionic assemblies which are not entangled—in some heterodox, but natural sense of ‘entangled’—provide a prima facie counterexample to classical mereology. This result is puzzling; but, I argue, no more intolerable than any other available interpretative option. (shrink)

Two mereological theories are presented based on a primitive apartness relation along with binary relations of mereological excess and weak excess, respectively. It is shown that both theories are acceptable from the standpoint of constructive reasoning while remaining faithful to the spirit of classical mereology. The two theories are then compared and assessed with regard to their extensional import.

This article applies the tools of experimental philosophy to the ongoing debate about both the theoretical viability and the practical import of partially aggregative moral theories in distributive ethics. We conduct a series of three experiments (N=383): First, we document the widespread occurrence of the intuitions that motivate this position. Our study then moves beyond establishing the existence of partially aggregative intuitions in two dimensions: First, we extend experimental work in such a way as to ascertain which amongst existing versions (...) of partial aggregation (localised vs. global) chimes more fully with moral common sense. Specifically, we document how, in tie-breaking cases, ‘irrelevant goods’ judgments (Kamm) are just as robust as the original aggregative/non-aggregative pair of judgments that constitute partial aggregation. Second, by pairing laypeople’s moral judgments in standard cases with their intuitions about the limits of permissible self-prioritisation, we investigate whether one prominent explanation of why irrelevant claims may not be aggregated (Voorhoeve’s ‘personal prerogative’ argument) can be said to underpin people’s intuitions about the (ir)relevance relation of claims in conflict cases. We close with a discussion of our findings’ practical and theoretical import and highlight avenues for future research. (shrink)

Classical mereology (CM) is usually taken to be formulated in a tenseless language, and is therefore associated with a four-dimensionalist metaphysics. This paper presents three ways one might integrate the core idea of flat plenitude, i.e., that every suitable condition or property has exactly one mereological fusion, with a tensed logical setting. All require a revised notion of mereological fusion. The candidates differ over how they conceive parthood to interact with existence in time, which connects to the distinction (...) between endurance and perdurance. Similar issues arise for the integration of mereology with modality, and much of our discussion applies to this project as well. (shrink)

This paper explores the mereology of structural universals, using the structural richness of a non-classical mereology without unique fusions. The paper focuses on a problem posed by David Lewis, who using the example of methane, and assuming classical mereology, argues against any purely mereological theory of structural universals. The problem is that being a methane molecule would have to contain being a hydrogen atom four times over, but mereology does not have the concept of the same part occurring several (...) times. This paper takes up the challenge by providing mereological analysis of three operations sufficient for a theory of structural universals: Reflexive binding, i.e. identifying two of the places of a universal; Existential binding, i.e. the language-independent correlate of an existential quantification; and Conjunction. (shrink)

The aggregation of individual judgments over interrelated propositions is a newly arising field of social choice theory. I introduce several independence conditions on judgment aggregation rules, each of which protects against a specific type of manipulation by agenda setters or voters. I derive impossibility theorems whereby these independence conditions are incompatible with certain minimal requirements. Unlike earlier impossibility results, the main result here holds for any (non-trivial) agenda. However, independence conditions arguably undermine the logical structure of judgment aggregation. I therefore (...) suggest restricting independence to premises, which leads to a generalised premise-based procedure. This procedure is proven to be possible if the premises are logically independent. (shrink)

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