Comparing Buddhist and contemporary analytic views about mereological composition reveals significant dissimilarities about the purposes that constrain successful answers to mereological questions, the kinds of considerations taken to be probative in justifying those answers, and the value of mereological inquiry. I develop these dissimilarities by examining three questions relevant to those who deny the existence of composite wholes. The first is a question of justification: What justifies denying the existence of composite wholes as more reasonable than (...) affirming their existence? The second is a question of ontology: Under what conditions are many partless individuals arranged composite-wise? The third is a question of reasonableness: Why, if there are no composites available to experience, do “the folk” find it reasonable to believe there are? I motivate each question, sketch some analytic answers for each, develop in more detail answers from the Theravādin Buddhist scholar Buddhaghosa, and extract comparative lessons. (shrink)

Mereological universalists and nihilists disagree on the conditions for composition. In this paper, we show how this debate is a function of one’s chosen semantics for plural quantifiers. Debating mereologists have failed to appreciate this point because of the complexity of the debate and extraneous theoretical commitments. We eliminate this by framing the debate between universalists and nihilists in a formal model where these two theses about composition are contradictory. The examination of the two theories in the (...) model brings clarity to a debate in which opponents frequently talk past one another. With the two views stated precisely, our investigation reveals the dependence of the mereologists’ ontological commitments on the semantics of plural quantifiers. Though we discuss the debate with respect to a simplified and idealized model, the insights provided will make more complex debates on composition more productive and deflationist criticisms of the debate less substantial. (shrink)

Under what conditions are material objects, such as particles, parts of a whole object? This is the composition question and is a longstanding open question in philosophy. Existing attempts to specify a non-trivial restriction on composition tend to be vague and face serious counterexamples. Consequently, two extreme answers have become mainstream: composition (the forming of a whole by its parts) happens under no or all conditions. In this paper, we provide a self-contained introduction to the integrated information (...) theory of consciousness (IIT). We show that IIT specifies a non-trivial restriction on composition: composition happens when integrated information is maximized. We compare the IIT-restriction to existing proposals and argue that the IIT-restriction has significant advantages, especially in response to the problems of vagueness and counterexamples. An appendix provides an introduction to calculating parts and wholes with a simple system. (shrink)

Some claim that Composition as Identity (CI) entails Mereological Essentialism (ME). If this is right, then we have an effective modus tollens against CI: ME is clearly false, so CI is, too. Rather than deny the conditional, I will argue that a CI theorist should embrace ME. I endorse a theory of modal parts such that ordinary objects are spatially, temporally, and modally extended. Accepting modal parts is certainly beneficial to CI theorists, but it also provides elegant solutions (...) to the traditional puzzles of constitution, making it a competitive move in its own right. (shrink)

This investigation constitutes an attempt towards (1) understanding issues and problems relating to the notions of one, many, part and whole in Parmenides and Plato; (2) extracting conditions for a successful account of multiplicity and parthood; (3) surveying Deleuzian conceptions and uses of these notions; (4) appraising the extent to which Deleuze’s metaphysics can answer some of these ancient problems concerning the status of multiplicity and the nature of mereological composition, that is, of the relations that pertain between (...) parts and the wholes that they compose. (shrink)

It is a common view that if composition as identity is true, then so is mereological universalism (the thesis that all objects have a mereological fusion). Various arguments have been advanced in favour of this: (i) there has been a recent argument by Merricks, (ii) some claim that Universalism is entailed by the ontological innocence of the identity relation, (or that ontological innocence undermines objections to universalism) and (iii) it is entailed by the law of selfidentity. After (...) a preliminary introduction to the competing theories of persistence (necessary for a discussion of Merricks’ argument) I examine each in turn and demonstrate how they fail. I conclude that the prejudice that if composition as identity is true then Universalism is true, is unwarranted. Thus one motivation for believing Universalism is lost and those who believe composition as identity should now be receptive to some form of restricted composition. (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)

In this paper, I argue that Spinoza holds a perspectivalist view of mereological composition, a form of anti-realism. The paper has two parts: In the first half of the paper, I introduce interpretive puzzles for the standard realist reading of Spinoza’s mereology. In the second half of the paper, I discuss Spinoza’s positive view on mereological composition and present a perspectivalist reading that avoids the interpretive puzzles.

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)

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)

Many of those who accept the universalist thesis that mereological composition is unrestricted also maintain that the folk typically restrict their quantifiers in such a way as to exclude strange fusions when they say things that appear to conflict with universalism. Despite its prima facie implausibility, there are powerful arguments for universalism. By contrast, there is remarkably little evidence for the thesis that strange fusions are excluded from the ordinary domain of quantification. Furthermore, this reconciliatory strategy seems hopeless (...) when applied to the more fundamental conflict between universalism and the intuitions that tell against it. (shrink)

I show that a particular version of Hume's Dictum together with the falsity of Composition as Identity entails an incoherency, so either that version of Hume's Dictum is false or Composition as Identity is true. I conditionally defend the particular version of Hume's Dictum in play, and hence conditionally conclude that Composition as Identity is true. I end by suggesting an alternative way out for a persistent foe of Composition as Identity, namely mereological nihilism.

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)

The general composition question asks “what are the necessary and jointly sufficient conditions any xs and any y must satisfy in order for it to be true that those xs compose that y?” Although this question has received little attention, there is an interesting and theoretically fruitful answer. Namely, strong composition as identity (SCAI): necessarily, for any xs and any y, those xs compose y iff those xs are identical to y. SCAI is theoretically fruitful because if it (...) is true, then there is an answer to one of the most difficult and intractable questions of mereology (The Simple Question). In this paper, I introduce the identity account of simplicity and argue that if SCAI is true then this identity account of simplicity is as well. I consider an objection to the identity account of simplicity. Ultimately, I find this objection unsuccessful. (shrink)

Composition as identity, as I understand it, is a theory of the composite structure of reality. The theory’s underlying logic is irreducibly plural; its fundamental primitive is a generalized identity relation that takes either plural or singular arguments. Strong versions of the theory that incorporate a generalized version of the indiscernibility of identicals are incompatible with the framework of plural logic, and should be rejected. Weak versions of the theory that are based on the idea that composition is (...) merely analogous to identity are too weak to be interesting, lacking in metaphysical consequence. I defend a moderate version according to which composition is a kind of identity, and argue that the difference is metaphysically substantial, not merely terminological. I then consider whether the notion of generalized identity, though fundamental, can be elucidated in modal terms by reverse engineering Hume’s Dictum. Unfortunately, for realists about possible worlds, such as myself,... (shrink)

In this paper I develop a version of universalism that is non-mereological. Broadly speaking, non-mereological universalism is the thesis that for any arbitrary set of objects and times, there is a persisting object which, at each of those times, will be constituted by those of the objects that exist at that time. I consider two general versions of non-mereological universalism, one which takes basic simples to be enduring objects, and the other which takes simples to be instantaneous (...) objects. This yields three versions of endurantism, of which I ultimately defend the version I call universalist endurantism. Universalist endurantism is the thesis that for any arbitrary set S of instantaneous simples that exist at the same instant, there exists a fusion of the members of S, and for any arbitrary set S* of instantaneous fusions each of which exist at a different instant, there exists an enduring object O that is constituted by those fusions at those instants. Universalist endurantism is ‘non-mereological’ in that the relation that holds between instantaneous fusions and persisting objects is not the part/whole relation, but rather, is the relation of constitution, thus allowing that the persisting objects are three rather than four dimensional. I argue that universalist endurantism not only has the various benefits of mereological universalism in allowing vagueness to be explicated as semantic indeterminacy, but in addition allows the endurantist to hold that some properties are genuinely intrinsic and are exemplified simpliciter. (shrink)

This articles explores the mereological foundation of truthmaker semantics. Building upon Kit Fine’s abstract theory of part in [16], we engage in an exploration of the mereological assumptions that determine the construction of truthmaker semantics. Our approach yields semantics for a diverse range of logics, including substructural logics such as the associative Lambek calculus, as well as the logics of analytic containment. Furthermore, we elucidate the philosophical implications that arise from this pioneering approach.

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)

Mereological nihilism is the philosophical position that there are no items that have parts. If there are no items with parts then the only items that exist are partless fundamental particles, such as the true atoms (also called philosophical atoms) theorized to exist by some ancient philosophers, some contemporary physicists, and some contemporary philosophers. With several novel arguments I show that mereological nihilism is the correct theory of reality. I will also discuss strong similarities that mereological nihilism (...) has with empirical results in quantum physics. And I will discuss how mereological nihilism vindicates a few other theories, such as a very specific theory of philosophical atomism, which I will call quantum abstract atomism. I will show that mereological nihilism also is an interpretation of quantum mechanics that avoids the problems of other interpretations, such as the widely known, metaphysically generated, quantum paradoxes of quantum physics, which ironically are typically accepted as facts about reality. I will also show why it is very surprising that mereological nihilism is not a widely held theory, and not the premier theory in philosophy. (shrink)

Mereological nihilists typically employ a paraphrase strategy in order to mitigate the apparent absurdity of their denial of the existence of composite objects. I argue here that the nihilist's paraphrase strategy is incomplete, because no schema for generating nihilistically acceptable paraphrases of sentences concerning material constitution has ever been given. Nor can an adequate schema be arrived at by generalising things that nihilists have already said. I fill this lacuna in the nihilist's account by developing and defending a novel (...) paraphrase schema that makes essential reference to the determinable‐determinate relation that holds between arrangement‐properties instantiated by the simples. (shrink)

This paper defends a realist account of the composition of Newtonian forces, dubbed ‘residualism’. According to residualism, the resultant force acting on a body is identical to the component forces acting on it that do not prevent each other from bringing about its acceleration. Several reasons to favor residualism over alternative accounts of the composition of forces are advanced. (i) Residualism reconciles realism about component forces with realism about resultant forces while avoiding any threat of causal overdetermination. (ii) (...) Residualism provides a systematic semantics for the term ‘force’ within Newtonian mechanics. (iii) Residualism allows us to precisely apportion the causal responsibility of each component force in the ensuing acceleration. (iv) Residualism handles special cases such as null forces, single forces, and antagonistic forces in a natural way. (v) Residualism provides a neat picture of the causal powers of forces: each force essentially has two causal powers⎯the power to bring about accelerations (sometimes together with other co-directionnal forces) and the power to prevent other forces from doing so⎯exactly one of which is manifested at a time. (vi) Residualism avoids commitment to unobservable effects of forces: forces cause either stresses (tensile or compressive) or accelerations. (shrink)

Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in a (...) variety of forms and only one of them obeys substitution unrestrictedly. I justify this departure from orthodoxy by showing some problems which result from attempts to avoid inconsistencies within plural logic by means of postulating other non-singular terms besides plural terms. Thereby, some of the main criticisms raised against Composition as Identity can be addressed. Further, I argue that the way objects are arranged is relevant with respect to the question which object they compose, i.e. to which object they are identical to. This helps to meet a second group of arguments against Composition as Identity. These arguments aim to show that identifying composite objects on the basis of the identity of their parts entails, contrary to our common sense view, that rearranging the parts of a composite object does not leave us with a different object. Moreover, it allows us to carve out the intensional aspects of Composition as Identity and to defend mereological universalism, the claim that any objects compose some object. Much of the pressure put on the latter view can be avoided by distinguishing the question whether some objects compose an object from the question what object they compose. Eventually, I conclude that Composition as Identity is a coherent and plausible position, as long as we take identity to be a more complex relation than commonly assumed. (shrink)

It is well-known that the entangled quantum state of a composite object cannot be reduced to the states of its parts. This quantum holism provides a peculiar challenge to formulate an appropriate mereological model: When a system is in an entangled state, which objects are there on the micro and macro level, and which of the objects carries which properties? This paper chooses a modeling approach to answer these questions: It proceeds from a systematic overview of consistent mereological (...) models for entangled systems and discusses which of them is compatible with the quantum mechanical evidence (where quantum states are understood realistically). It reveals that entangled quantum systems neither describe undivided wholes nor objects that stand in irreducible relations. The appropriate model assumes that the entangled property is an irreducible non-relational plural property carried collectively by the micro objects, while there is no macro object. In this sense, quantum holism is an instance of property holism, not of object holism. (shrink)

Mereological Nihilism is the thesis that no material object has proper parts; every material object is a simple. Recent developments in plural semantics have made it possible to develop and motivate this position. In particular, some have argued that the tools of plural reference and quantification enable us to systematically paraphrase true statements apparently about composites into statements that only concern simples. Are composites really surplus to philosophical requirements? Given the resources of plural semantics, what must the world be (...) like if composites are to be theoretically indispensable? I will describe and defend the possibility of scenario in which mention of composites cannot be paraphrased. We will therefore come to appreciate one way in which the world would have to be in order for composites to be required and for Nihilism to fail. (shrink)

In this paper I present two new arguments against the possibility of an omniscient being. My new arguments invoke considerations of cardinality and resemble several arguments originally presented by Patrick Grim. Like Grim, I give reasons to believe that there must be more objects in the universe than there are beliefs. However, my arguments will rely on certain mereological claims, namely that Classical Extensional Mereology is necessarily true of the part-whole relation. My first argument is an instance of a (...) problem first noted by Gideon Rosen and requires an additional assumption about the mereological structure of certain beliefs. That assumption is that an omniscient being’s beliefs are mereological simples. However, this assumption is dropped when I present my second argument. Thus, I hope to show that if Classical Extensional Mereology is true of the part-whole relation, there cannot be an omniscient being. (shrink)

The existence of mereological sums can be derived from an abstraction principle in a way analogous to numbers. I draw lessons for the thesis that “composition is innocent” from neo-Fregeanism in the philosophy of mathematics.

Many say that ontological disputes are defective because they are unimportant or without substance. In this paper, we defend ontological disputes from the charge, with a special focus on disputes over the existence of composite objects. Disputes over the existence of composite objects, we argue, have a number of substantive implications across a variety of topics in metaphysics, science, philosophical theology, philosophy of mind, and ethics. Since the disputes over the existence of composite objects have these substantive implications, they are (...) themselves substantive. (shrink)

When some objects are the parts of another object, they compose that object and that object is composite. This article is intended as an introduction to the central questions about composition and a highly selective overview of various answers to those questions. In §1, we review some formal features of parthood that are important for understanding the nature of composition. In §2, we consider some answers to the question: which pluralities of objects together compose something? As we will (...) see, the dominant answers are all of them and none of them. In §§3-4, we examine one of the main arguments that has driven philosophers to these extreme answers: the argument from vagueness. In §5, we turn to the question of whether composition is unique: is it sometimes the case that some things compose more than one thing? Finally, in §6, we turn from the question of which composites exist to the question of which composites exist fundamentally. (shrink)

This article has two goals: a historical and a speculative one. The historical goal is to offer a coherent account of Spinoza’s view on mereological composition. The speculative goal is to show that Spinoza’s substance monism is distinct from versions of monism that are currently defended in metaphysics and that it deserves the attention of contemporary metaphysicians. Regarding the second goal, two versions of monism are currently defended and discussed in contemporary metaphysics: existence monism according to which there (...) actually exists exactly one concrete entity; and priority monism that is famously defended by Jonathan Schaffer and according to which there exists exactly one fundamental concrete being, the cosmos, and several derivative concrete beings that are the parts of the cosmos. In this article, I argue that substance monism is neither an existence nor a priority monism because, while Spinoza’s monist is committed to the existence of a unique fundamental individual—the substance—and to the existence of several derivative individuals—the bodies or modes of extension—, Spinoza denies that the substance is mereologically complex. Regarding the first goal, the paper solves several interpretative puzzles by arguing that Spinoza distinguishes between three kinds of composition and that his talk of composition between the substance and its modes is by his own light not to be interpreted as literally true. (shrink)

Philosophers disagree whether composition as identity entails mereological universalism. Bricker :264–294, 2016) has recently considered an argument which concludes that composition as identity supports universalism. The key step in this argument is the thesis that any objects are identical to some object, which Bricker justifies with the principle of the universality of identity. I will spell out this principle in more detail and argue that it has an unexpected consequence. If the universality of identity holds, then (...) class='Hi'>composition as identity not only leads us to universalism, but also leads to the view that there are no mereological atoms. (shrink)

According to the so-called strong variant of Composition as Identity (CAI), the Principle of Indiscernibility of Identicals can be extended to composition, by resorting to broadly Fregean relativizations of cardinality ascriptions. In this paper we analyze various ways in which this relativization could be achieved. According to one broad variety of relativization, cardinality ascriptions are about objects, while concepts occupy an additional argument place. It should be possible to paraphrase the cardinality ascriptions in plural logic and, as a (...) consequence, relative counting requires the relativization either of quantifiers, or of identity, or of the is one of relation. However, some of these relativizations do not deliver the expected results, and others rely on problematic assumptions. In another broad variety of relativization, cardinality ascriptions are about concepts or sets. The most promising development of this approach is prima facie connected with a violation of the so-called Coreferentiality Constraint, according to which an identity statement is true only if its terms have the same referent. Moreover - even provided that the problem with coreferentiality can be fixed - the resulting analysis of cardinality ascriptions meets several difficulties. (shrink)

When do several objects compose a further object? The last twenty years have seen a great deal of discussion of this question. According to the most popular view on the market, there is a physical object composed of your brain and Jeremy Bentham’s body. According to the second-most popular view on the market, there are no such objects as human brains or human bodies, and there are also no atoms, rocks, tables, or stars. And according to the third-ranked view, there (...) are human bodies, but still no brains, atoms, rocks, tables, or stars. Although it’s pleasant to have so many crazy-sounding views around, I think it would also be nice to have a commonsense option available. The aim of this paper is to offer such an option. The approach I offer begins by considering a mereological question other than the standard one that has been the focus of most discussions in the literature. I try to show that the road to mereological sanity begins with giving the most straightforward and commonsensical answer to this other question, and then extending that answer to further questions about the mereology of physical objects. On the approach I am recommending, it turns out that all of the mereological properties and relations of physical objects are determined by their spatial properties and relations. (shrink)

In this thesis I argue against unrestricted mereological hybridism, the view that there are absolutely no constraints on wholes having parts from many different logical or ontological categories, an exemplar of which I take to be ‘mixed fusions’. These are composite entities which have parts from at least two different categories – the membered (as in classes) and the non-membered (as in individuals). As a result, mixed fusions can also be understood to represent a variety of cross-category summation such (...) as the abstract with the concrete, the physical with the non-physical, and the possible with the impossible, just to name a few. -/- Proposed by David Lewis (1991) alongside his defence of classical mereology (the major theory of parthood which permits such transcategorial composites through its principle of unrestricted composition) it is my contention that mixed fusions are an under-examined consequence of indiscriminate mereological fusion which harbour a multitude of complications. In my attempt to discern their substantive character, throughout this thesis I make a case study of mixed fusions and uncover several problematic consequences which I think follow from their most plausible assessment. -/- These include: (1) that mixed fusions’ probable membership relations may lead to dubious foundational loops in the mereological Universe, or (2) otherwise that mixed fusions oblige an implausible ontological priority of the mereological Universe as a whole; (3) that mixed fusions contradict the reductive account of set theory they are proposed within, by plausibly being seen to have the same members as their class parts, and (4) that mixed fusions therefore confound a mereological thesis of Composition as Identity, which some (including Lewis) use to support classical mereology – a consequence which is potentially self-defeating; (5) that mixed fusions as sums of abstract and concrete entities both subvert Lewis’s (1986) system of modal realism, while (6) also undermining less expansive theories of possible worlds; and finally, (7) that even where some of the foregoing is resisted, it remains implausible that mixed fusions are ontologically innocent, because their supposed distinction from their parts in this case ensures that they need to be counted as additional entities in one’s ontology. -/- To be clear, I do not advance a theory of mereological hybrid nihilism in the sense of denying all cases of transcategorial composition. (I only cover a few select instances of mereological hybridism via mixed fusions after all.) Rather, I deny that mereological hybridism is plausible in full generality, by demonstrating that any cases of it are at least limited by the constraints that I identify. This in turn vindicates a call for a restriction on parthood theories and composition principles which allow certain types of categorially mixed entities – including restricting classical mereology with its principle of unrestricted composition. -/- Although theories of parthood like the standard classical mereology are not ordinarily developed for the sake of mereological hybrids like mixed fusions, these and other transcategorial composites are still among the logical consequences of such parthood systems operating with sufficient generality. The significance of my thesis, then, comes from showcasing how some of these kinds of entities do not conform to the systems in which they are included as required, and hence I argue for the rejection of unrestricted mereological hybridism as well as any mereological principles which support it. (shrink)

In this paper I address two important objections to the theory called ‘ Composition as Identity’ : the ‘wall-bricks-and-atoms problem’, and the claim that CAI entails mereological nihilism. I aim to argue that the best version of CAI capable of addressing both problems is the theory I will call ‘Atomic Composition as Identity’ which consists in taking the plural quantifier to range only over proper pluralities of mereological atoms and every non-atomic entity to be identical to (...) the plurality of atoms it fuses. I will proceed in three main steps. First, I will defend Sider’s Composition as identity. Oxford University Press, Oxford, pp 211–221, 2014) idea of weakening the comprehension principle for pluralities and I will show that :219–235, 2016a) it can ward off both the WaBrA problem and the threat of mereological nihilism. Second, I will argue that CAI-theorists should uphold an ‘atomic comprehension principle’ which, jointly with CAI, entails that there are only proper pluralities of mereological atoms. Finally, I will present a novel reading of the ‘one of’ relation that not only avoids the problems presented by Yi Composition as identity. Oxford University Press, Oxford, pp 169–191, 2014) and Calosi :429–443, 2016b, Am Philos Q 55:281–292, 2018) but can also help ACAI-theorists to make sense of the idea that a composite entity is both one and many. (shrink)

Philosophical problems about the part-whole relation have been discussed throughout the history of philosophy, at least since Plato and Aristotle. In contemporary philosophy, the understanding of these issues has benefited from the formal tools of Classical Extensional Mereology. This paper aims is to defend mereological restrictivism against some constraints imposed by the vagueness argument. To achieve this, the paper is divided into three parts. In the first, I introduce the special composition question (hereafter SCQ) as formulated by [Van (...) Inwagen, 1990] and briefly present the three sets of theories that proffer answers to it. In the second part, I focus on the vagueness argument, that was presented by [Lewis, 1986, ] and [Sider, 2007, ] to defend mereological universalism. In the third section, I introduce the theory of natural properties by David Lewis. From this theory, I propose a new mereological operation labeled as natural fusion. The purpose of this operation is to falsify one of the premises of the vagueness argument. Then, I discuss some examples and counter-examples to natural fusion. (shrink)

I focus on three mereological principles: the Extensionality of Parthood (EP), the Uniqueness of Composition (UC), and the Extensionality of Composition (EC). These principles are not equivalent. Nonetheless, they are closely related (and often equated) as they all reflect the basic nominalistic dictum, No difference without a difference maker. And each one of them—individually or collectively—has been challenged on philosophical grounds. In the first part I argue that such challenges do not quite threaten EP insofar as they (...) are either self-defeating or unsupported. In the second part I argue that they hardly undermine the tenability of EC and UC as well. (shrink)

I argue that Composition as Identity blocks the plural version of Cantor's Theorem, and that therefore the plural version of Cantor's Theorem can no longer be uncritically appealed to. As an example, I show how this result blocks a recent argument by Hawthorne and Uzquiano.

Ned Markosian has recently defended a new theory of composition, which he calls regionalism : some material objects xx compose something if and only if there is a material object located at the fusion of the locations of xx. Markosian argues that regionalism follows from what he calls the subregion theory of parthood. Korman and Carmichael agree. We provide countermodels to show that regionalism does not follow from, even together with fourteen potentially implicit background principles. We then show that (...) regionalism does follow from five of those background principles together with and two additional principles connecting parthood and location, which we call and. While the additional principles are not uncontroversial, our conjecture is that many will find them attractive. We conclude by mentioning that fills a previously unnoticed gap in the formal theory of location presented in Parsons. (shrink)

Recent work in quantum gravity has prompted a re-evaluation of the fundamental nature of spacetime. Spacetime is potentially emergent from non-spatiotemporal entities posited by a theory of quantum gravity. Recent efforts have sought to interpret the relationship between spacetime and the fundamental entities through a mereological framework. These frameworks propose that spacetime can be conceived as either having non-spatiotemporal entities as its constituents or being a constituent part of a non-spatiotemporal structure. I present a roadmap for those interested in (...) exploring the role of composition in understanding the emergence of spacetime. I establish a taxonomy based on four crucial parameters that should be considered when constructing potential mereological models. Subsequently, I connect these models to a spectrum of perspectives found in current literature, with the aim of pinpointing areas that require further exploration. Finally, I identify three potential challenges facing mereological models of spacetime emergence, rooted in issues of mereological harmony, the distinction between continuous and discrete spacetime, and the implications of quantum superposition. (shrink)

Let’s begin with a simple example. Consider two quarks: one near the tip of your nose, the other near the center of Alpha Centauri. Here is a question about these two subatomic particles: Is there an object that has these two quarks as its parts and that has no other parts? According to one view of the matter (a view that is surprisingly endorsed by a great many contemporary philosophers), the answer to this question is Yes. But I think it (...) is fair to say that according to common sense, the answer to this question is really No, there is no object that has as its only two parts a quark near the tip of your nose and another quark near the center of Alpha Centauri. (shrink)

This chapter explores a potential analogy between mereological principles and laws of nature. Against a backdrop of what Marmodoro has termed ‘power structuralism’ (and a rejection of a Humean worldview), the connection between parthood and modality may be richer than has hitherto been considered. Mereological principles delineate possibilities for parts and wholes, and putting powers at the centre of a discussion about parthood can furnish a novel conception of mereological laws, much as dispositionalism has done so for (...) natural laws; namely, these principles express connections between fundamental dispositional properties. By extending dispositionalism to comprehend mereology in this way, we can help fulfil its promise to provide a foundational, naturalistic metaphysics, as foundational mereological debates then begin to mirror those relating to dispositionalist views of laws of nature: we may treat natural and mereological laws in tandem, as holding either necessarily or contingently, with associated strategies for dealing with supposed counterexamples to one’s preferred set of mereological principles. We can thus bring new life to the debate over whether questions of composition admit of contingent or only necessary answers. (shrink)

Van Inwagen proposes that besides simples only living organisms exist as composite objects. This paper suggests expanding van Inwagen’s ontology by also accepting composite objects in the case that physical bonding occurs (plus some extra conditions). Such objects are not living organ-isms but rather physical bodies. They include (approximately) the complete realm of inanimate ordinary objects, like rocks and tables, as well as inanimate scientific objects, like atoms and mol-ecules, the latter filling the ontological gap between simples and organisms in (...) van Inwagen’s origi-nal picture. We thus propose a compositional pluralism claiming that composition arises if and on-ly if bonding or life occurs. (shrink)

Mereological universalists, according to whom every plurality of entities has a fusion, usually claim that most quantifications are restricted to ordinary entities. However, there is no evidence that our usual quantifications over ordinary objects are restricted. In this article I explore an alternative way of reconciling Mereological Universalism with our usual quantifications. I resort to a modest form of ontological expansionism and to the so-called interpretational modalities. Quantifications over ordinary objects are the initial stages of the expansion. From (...) these initial stages, expansions can proceed upwards (fusions of entities in the domain of quantification are added), downwards (parts of entities in the domain are added), and sidewards (entities which are mereologically disjoint from the entities in the domain are added). These expansions are driven by a variety of epistemic and pragmatic reasons and raise different kinds of problems. At each stage, a modalized version of Mereological Universalism is true. By contrast, only at some especially rich stages, standard, non-modalized Mereological Universalism is true as well. Among these especially rich stages, there is a final, metaphysically pre-eminent stage of mereological plenitude. In the last part of the article I discuss some problems and limitations of expansionism. (shrink)

In the debate over the existence of composite objects, it is sometimes suggested that perceptual evidence justifies belief in composite objects. But it is almost never suggested that we are perceptually justified in believing in composite objects on the basis of the fact that the phenomenology of our perceptual experiences enables us to discriminate between situations where there are composite objects and situations where there are merely simples arranged composite object-wise. But while the thought that the phenomenology of our perceptual (...) experiences cannot enable us to discriminate between situations where there are composite objects and situations where there are merely simples arranged composite object-wise is commonly taken for granted, it requires some defence, both in light of its importance in shaping the debate and in light of its recently coming under attack by a prominent philosopher of perception. In this paper, I offer such a defence. (shrink)

Peter van Inwagen's "special composition question" asks, more or less, "what must some objects be like in order for them to compose another object?" In this paper I develop and defend a theistic anti-realist response to the special composition question, according to which God decides when composition occurs. While I do not endorse this theistic mereological anti-realism, I think that it is worth developing. I argue that this theistic mereological anti-realism is preferable to extant non-theistic (...) variants of mereological anti-realism, and that theistic mereological anti-realism receives some motivation from several other sources. (shrink)

Strong Composition as Identity is the thesis that necessarily, for any xs and any y, those xs compose y iff those xs are non-distributively identical to y. Some have argued against this view as follows: if some many things are non-distributively identical to one thing, then what’s true of the many must be true of the one. But since the many are many in number whereas the one is not, the many cannot be identical to the one. Hence is (...) mistaken. Although I am sympathetic to this objection, in this paper, I present two responses on behalf of the theorist. I also show that once the defender of accepts one of these two responses, that defender will be able to answer The Special Composition Question. (shrink)

A set of parameters for classifying composition operations is introduced. These parameters determine whether a composition operation is 1) universal, 2) determinate, 3) whether there is a difference between possible and actual compositions, 4) whether there can be singleton compositions, 5) whether they give rise to a hierarchy, and 6) whether components of compositions can be repeated. Philosophical implications of these parameters (in particular in relation to set theory) and mereology are discussed.

In a series of publications, L. A. Paul has defended a version of the bundle theory according to which material objects are nothing but mereological sums of ‘their’ properties. This ‘mereological’ bundle theory improves in important ways on earlier bundle theories, but here I present a new argument against it. The argument is roughly this: Material objects occupy space; even if properties have spatial characteristics, they do not quite occupy space; on no plausible construal of mereological (...) class='Hi'>composition does a mereological sum of non-space-occupying entities occupy space; therefore, material objects are not mereological sums of properties. (shrink)

En aquest article pretenc fer una crítica al nihilisme mereològic, al·ludint que les expressions «simples agrupats en-tant-que-F» tenen unes conseqüències desastroses per als seus compromisos ontològics. Primer, explicaré què és el nihilisme mereològic -que és part de l’eliminativisme- el qual pretén negar l’existència dels objectes compostos (objectes amb parts pròpies) i l’estratègia de la paràfrasi: l’ús que fan de les expressions «simples agrupats en-tant-que-F» per referir-se als objectes ordinaris sense comprometre’s amb l’existència d’objectes compostos, però posaré l’èmfasi en aquells nihilistes (...) mereològics que pretenen explicar l’existència de les propietats emergents. Seguidament, presentaré una classe de crítiques, les de Bennett i Tallant, sobre l’ús d’aquesta estratègia per part dels nihilistes, i quina és la resposta crítica que ofereix Brenner sobre aquesta classe de crítica. Finalment, presentaré la meva crítica on mostraré que el nihilisme mereològic utilitzant l’estratègia de la paràfrasi s’està comprometent amb l’existència d’objectes compostos i que la crítica de Brenner no funciona amb la meva postura. -/- In this paper I intend to critique mereological nihilism, alluding that the expression «simples arranged F-wise» has disastrous consequences for its ontological commitments. First, I will explain what mereological nihilism is -which is part of Eliminativism- which tries to deny the existence of composite objects (objects with proper parts) and the Paraphrase Strategy: the use they make of the expression «simples arranged F-wise» to refer to ordinary objects without committing to the existence of composite objects, and I put the focus on the mereological nihilist that pretends to explain the existence of emergent properties. Second, I will present a kind of criticism, by Bennett and Tallant, of the use of this strategy by nihilism and which is the response of Brenner about this kind of criticism. Finally, I will present my criticism where I will show that nihilism by using the Paraphrase Strategy is committing itself to the existence of composite objects and that the Brenner’s critique does not work with my position. (shrink)