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

Many philosophers today accept that phenomenal truths cannot be explained in terms of ordinary physical truths. Two possible routes to accounting for consciousness have received much attention: the emergentist route is to accept that ordinary experience is inexplicable in physical terms but that microscopic entities as described in physics nonetheless bring about conscious experience. The second route is to argue that microscopic entities have features not described in physics which can fully explain conscious experience. The view associated with panprotopsychism is (...) that microscopic entities have no phenomenal properties. The view associated with panpsychism is that microscopic entities do have phenomenal properties. In this paper it is argued that if consciousness is extended in space only the latter view is possible. According to this argument for micropsychism, if phenomenal truths are not merely structural, all truths about a whole are truths about its parts plus structural relational truths. If there are phenomenal truths about the whole, this must be because there are phenomenal truths about its parts. It wouldn’t follow that panpsychism is true, since it does not follow that consciousness exists outside the wholes we know to be conscious, but it does follow that emergentism and protopanpsychism are false. (shrink)

What are the properties of composite objects, and how do the properties of composite objects and the properties of their proper parts relate to one another? The answers to these questions depend upon which view of composition one adopts. One view, which I call the orthodox view, is that composite objects are numerically distinct from their proper parts, individually and collectively. Another view, known as composition as identity, is that composite objects are numerically identical to their proper parts, taken together. (...) I argue that the orthodox view entails that the intuitive picture of composite objects and their properties that most accept is false. Not so for composition as identity. I also show that all of the available alternatives face serious difficulties. This puts composition as identity at an advantage over the orthodox view, at least when it comes to accounting for the properties of composite objects. (shrink)

We put forward a new, ‘coherentist’ account of quantum entanglement, according to which entangled systems are characterized by symmetric relations of ontological dependence among the component particles. We compare this coherentist viewpoint with the two most popular alternatives currently on offer—structuralism and holism—and argue that it is essentially different from, and preferable to, both. In the course of this article, we point out how coherentism might be extended beyond the case of entanglement and further articulated.

Priority monism is the doctrine that there is only one basic object: the entire cosmos. Priority monists often take this to be a metaphysically necessary thesis. I explore the consequences of modalizing the priority monist thesis. I argue that, modulo some assumptions, the modalized thesis entails the necessary existence of the actual cosmos. I further argue that, if the modalized thesis is true, and the actual cosmos necessarily exists, then the only possible concrete objects are the actually existing ones.

This paper develops the metaphysical hypothesis that there are irreducibly collective pluralities, pluralities of objects that do not have a singular object among them. A way to formulate this hypothesis using plural quantification will be proposed and the coherence of irreducibly collective existence will be defended. Furthermore, irreducibly collective existence will be shown to allow for bottomless scenarios that do not involve things standing in relations of parthood. This will create logical space for an anti-atomistic form of mereological nihilism.

The emerging field of quantum mereology considers part-whole relations in quantum systems. Entangled quantum systems pose a peculiar problem in the field, since their total states are not reducible to that of their parts. While there exist several established proposals for modelling entangled systems, like monistic holism or relational holism, there is considerable unclarity, which further positions are available. Using the lambda operator and plural logic as formal tools, we review and develop conceivable models and evaluate their consistency and distinctness. (...) The main result is an exhaustive taxonomy of six distinct and precise models that both provide information about the mereological features as well as about the entangled property. The taxonomy is well-suited to serve as the basis for future systematic investigations. (shrink)

In a series papers, Jonathan Schaffer defended priority monism, the thesis that the cosmos is the only fundamental material object, on which all other objects depend. A primitive notion of dependence plays a crucial role in Schaffer’s argu- ments for priority monism. The goal of this paper is to scrutinize this notion and also to shed new light on what is at stake in the debate. I present three familiar arguments for priority monism and point out that each relies on (...) a connecting principle that ties dependence to other metaphysical relations. I then argue for two desiderata: the relation between dependence and other metaphysical relations needs to be strong enough to establish that other metaphysical relations are relevant to the direction of dependence but not so strong as to leave no room for revisionary versions of priority monism. I propose a particular way of meeting these desiderata, according to which the target notion of dependence is graded rather than all-or-nothing. One upshot is that we should be less preoccupied with priority monism itself and should instead focus on specific aspects of a broader monistic worldview. (shrink)

We put forward a new, ‘coherentist’ account of quantum entanglement, according to which entangled systems are characterized by symmetric relations of ontological dependence among the component particles. We compare this coherentist viewpoint with the two most popular alternatives currently on offer—structuralism and holism—and argue that it is essentially different from, and preferable to, both. In the course of this article, we point out how coherentism might be extended beyond the case of entanglement and further articulated.

The notion of fundamentality, as it is used in metaphysics, aims to capture the idea that there is something basic or primitive in the world. This metaphysical notion is related to the vernacular use of “fundamental”, but philosophers have also put forward various technical definitions of the notion. Among the most influential of these is the definition of absolute fundamentality in terms of ontological independence or ungroundedness. Accordingly, the notion of fundamentality is often associated with these two other technical notions.

I develop and defend a version of panpsychism that avoids the combination problem by appealing to plural collective properties.

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)

Argument that priority monism is best understood as being a contingent thesis.

In this paper, I provide an argument for pannormism, the view according to which there are normative properties all the way down. In particular, I argue for what I call the trickling down principle, which says that if there is a metaphysically basic normative property, then, if whatever instantiates it has a ground, that ground instantiates it as well.

Priority monism has been criticised on the grounds that monists cannot give an informative story about how the world is heterogeneous: how can there be qualitative variation in the world, given we cannot explain the world’s qualitative variation in terms of its proper parts? I will argue that none of the traditional solutions to this problem are plausible, and instead argue that we should hold that what accounts for the world’s heterogeneity is that the Cosmos is identical to the collective (...) plurality of all the world’s tropes, and each individual trope, in the plurality, is non-distributively grounded in the plurality/bundle of all the world’s tropes. I go onto note that as well as providing a solution to the monistic problem of heterogeneity, this view – which I call (PUT) – could well be a promising trope bundle theory in its own right. (shrink)

The special composition question, which asks under which conditions objects compose a further object, establishes a central debate in modern metaphysics. Recent successes of inductive metaphysics, which studies the implications of the natural sciences for metaphysical problems, suggest that insights into the SCQ can be gained by investigating the physics of composite systems. In this work, I show that the minus first law of thermodynamics, which is concerned with the approach to equilibrium, leads to a new approach to the SCQ, (...) the thermodynamic composition principle : Multiple systems in thermal contact compose a single system. This principle, which is justified based on a systematic classification of possible mereological models for thermodynamic systems, might form the basis of an inductive argument for universalism. A formal analysis of the TCP is provided on the basis of mereotopology, which is a combination of mereology and topology. Here, “thermal contact” can be analyzed using the mereotopological predicate “self-connectedness”. Self-connectedness has to be defined in terms of mereological sums to ensure that scattered objects cannot be self-connected. (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)

Thought: A Journal of Philosophy, EarlyView.

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

Broadly speaking, there are three views on whether Leibniz’s Principle of the Identity of Indiscernibles (PII) is violated in the case of similar particles. According to the earliest view, PII is always violated (call this the no discernibility view); according to the more recent weak discernibility view, PII is at least valid in a weak sense. No and weak discernibility have been referred to as orthodoxy. Steven French has argued that although PII is violated, similar particles can still be regarded (...) as individuals, or, alternatively, as non-individuals: French famously concluded therefore that metaphysics is underdetermined by physics. Call this thesis orthodox underdetermination. Most recently, some authors have turned against orthodoxy by arguing that PII is valid in more than a weak sense – call this the new discernibility view, also referred to as heterodoxy. Since heterodoxy is backed up by physical considerations, metaphysics now seems to be determined by physics: physics indicates that PII is valid. In this paper, I argue that with respect to entangled states, there are two ways to establish PII’s validity, which yield two different ontological interpretations of entanglement. Therefore, a form of underdetermination returns within the heterodox framework. I argue that heterodox underdetermination deserves some attention, because the two ontological interpretations might yield different explanations of the violation of Bell inequalities. (shrink)

All parts of mereologically ‘gunky’ entities have proper parts. All parts relevant to mereologically ‘junky’ entities *are* proper parts. This essay explores the application of gunk and junk beyond the standard category of material object. One such application yields what is here dubbed ‘deep’ gunk and junk: a material entity x all of whose intrinsic elements from any fundamental ontological category C either have proper parts from C that also are intrinsic elements of x, or are proper parts of entities (...) from C that also are intrinsic elements of x. In addition to being independently interesting, these mereological structures pose a challenge to the bare particular ontology of substance. For bare particulars standardly are assumed to be mereologically simple, yet a deep gunky or junky entity requires any associated bare particulars to be complex. The essay closes by examining the bare particular theorist’s prospects for answering this challenge. (shrink)

Einar Bohn has argued that principles of composition must be contingent if gunky objects and junky worlds are both metaphysically possible. This paper critically examines such a case for contingentism about composition. I argue that weak mereological universalism, the principle that any two objects compose something, is consistent with the metaphysical possibility of both gunky objects and junky worlds. I further argue that, contra A. J. Cotnoir, the weak mereological universalist can accept a plausible mereological remainder axiom. The proponent of (...) contingent composition will have to look elsewhere for an argument in favor of his position. (shrink)

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

Composition as Identity is the thesis that a whole is, strictly and literally, identical to its parts, considered collectively. McDaniel [2008] argues against CAI in that it prohibits emergent properties. Recently Sider [2014] exploited the resources of plural logic and extensional mereology to undermine McDaniel’s argument. He shows that CAI identifies extensionally equivalent pluralities – he calls it the Collapse Principle – and then shows how this identification rescues CAI from the emergentist argument. In this paper I first give a (...) new generalized version of both the arguments. It is more general in that it does not presuppose an atomistic mereology. I then go on to argue that the consequences of CP are rather radical. It entails mereological nihilism, the view that there are only mereological atoms. I finally show that, given a mild assumption about property instantiation, namely that there are no un-instantiated properties, this argument entails that CAI and emergent properties are incompatible after all. (shrink)

Analytic Philosophy, Volume 63, Issue 1, Page 44-61, March 2022.

Moderate composition as identity holds that there is a generalized identity relation, “being the same portion of reality,” of which composition and numerical identity are distinct species. Composition is a genuine kind of identity; but unlike numerical identity, it fails to satisfy Leibniz’s Law. A composite whole and its parts differ with respect to their numerical properties: the whole is one; the parts (collectively) are many. Moderate composition as identity faces the challenge: how, in the absence of Leibniz’s Law, can (...) one characterize what counts as a genuine kind of identity? This paper explores a promising answer: a genuine kind of identity must satisfy a version of Leibniz’s Law restricted to properties that ascribe qualitative character. Strong composition as identity holds that there is only one identity relation, that it satisfies Leibniz’s Law, and that the parts are identical with the whole that they compose. Strong composition as identity faces the challenge of showing that numerical properties do not provide counterexamples to Leibniz’s Law, and doing so in a way that is compatible with the framework of plural logic that is needed to formulate the theory. The most promising way to do this is to hold that plural logic is fundamental at the level of our representations, but not fundamental at the level of being. At the level of being, portions of reality cannot be characterized as either singular or plural. It turns out that the proposed moderate theory and the proposed strong theory are one and the same. In spite of its many attractions, I reject it. The main issue has to do with whether slice-sensitive emergent properties are possible. I argue that they are, making use both of specific examples and general principles of modal plenitude. I do not claim that my arguments are irresistible. But they cannot be evaded as easily as a related argument against strong composition as identity given by Kris McDaniel. I critically examine McDaniel’s argument to pave the way for my own. (shrink)

In this paper, I present the thesis of Composition as Identity as I think it should be understood, and reply to some objections to it. My aim is not to argue that CAI is true, but to show how CAI can be true, and push the debate forward in the direction I think it must and should go in light of some new objections.

In this paper, we focus on two related reductive theses in metaphysics—Humean Supervenience and Composition as Identity—and on their status in light of the indications coming from science, in particular quantum mechanics. While defenders of these reductive theses claim that they can be updated so as to resist the quantum evidence, we provide arguments against this contention. We claim that physics gives us reason for thinking that both Humean Supervenience and Composition as Identity are at least contingently false, as the (...) very process of composition determines, at least in some cases, the nature of composed systems. The argument has essentially to do with the fact that denying the reductive theses in question allows one to provide better explanations for the quantum evidence. (shrink)

It is impossible to deduce the properties of a strongly emergent whole from a complete knowledge of the properties of its constituents, according to C. D. Broad, when those constituents are isolated from the whole or when they are constituents of other wholes. Elanor Taylor proposes the Collapse Problem. Macro-level property p supposedly emerges when its micro-level components combine in relation r. However, each component has the property that it can combine with the others in r to produce p. Broad’s (...) nondeducibility criterion is not met. This article argues that the amount of information required for r is physically impossible. Strong Emergence does not collapse. But the Collapse Problem does. Belief in Strong Emergence is strongly warranted. Strong Emergence occurs whenever it is physically impossible to deduce how components, in a specific relation, would combine to produce a whole with p. Almost always, that is impossible. Strong Emergence is ubiquitous. Word counts. (shrink)

Humeans identify the laws of nature with universal generalizations that systematize rather than govern the particular matters of fact. Humeanism is frequently accused of circularity: laws explain their instances, but Humean laws are, in turn, grounded by those instances. Unfortunately, this argument trades on controversial assumptions about grounding and explanation that Humeans routinely reject. However, recently an ostensibly semantic circularity objection has been offered, which seeks to avoid reading such assumptions into the Humean view. This paper argues that the new (...) semantic version tacitly relies on the familiar metaphysical one and, therefore, it ultimately brings nothing new to the table. (shrink)

Quantum mechanics arguably provides the best evidence we have for strong emergence. Entangled pairs of particles apparently have properties that fail to supervene on the properties of the particles taken individually. But at the same time, quantum mechanics is a terrible place to look for evidence of strong emergence: the interpretation of the theory is so contested that drawing any metaphysical conclusions from it is risky at best. I run through the standard argument for strong emergence based on entanglement, and (...) show how it rests on shaky assumptions concerning the ontology of the quantum world. In particular, I consider two objections: that the argument involves Bell's theorem, whose premises are often rejected, and that the argument rests on a contested account of parts and wholes. I respond to both objections, showing that, with some important caveats, the argument for emergence based on quantum mechanics remains intact. (shrink)

Recently, Jonathan Tallant has argued that we should reject priority views, which hold that some objects are fundamental and others are dependent. Tallant’s argument relies on two proposed mereological possibilities: a gunky world, where everything has a proper part, and a junky world, where everything is a proper part. In this paper, I criticise Tallant’s argument and argue that neither of these possibilities threaten priority views per se; at most, they threaten only particular forms of priority views that contain a (...) certain independently controversial assumption. First, I defend priority pluralism against the gunk argument: the genuine conceivability of gunk can be plausibly doubted on the basis of a certain principle concerning metaphysical possibility, and even if this principle is false, the possibility of a gunky world poses no devastative problem for pluralism per se because it can be considered to be consistent with nonatomism. Second, I defend priority monism against the junk argument: the possibility of a junky world poses no devastative problem for monism per se because it can be considered to be consistent with nonholism in a twofold sense. Finally, I show that even monism as defined as genuinely holistic can be plausibly defended against the junk argument once the claim of the possible nonexistence of the maximal whole is reinterpreted based on the priority-based conception of existence. (shrink)

A growing number of philosophers have argued against the orthodoxy that the correct principle of composition will be a metaphysically necessary truth. With contingentism about composition a seemingly viable option, it would appear that would‐be necessitarians shoulder the burden of proof. The aim of this paper is to demonstrate that the contingentist, too, has a significant burden. I argue that nonbrutal principles of composition satisfy a principle according to which facts about whether or not a collection composes supervene on noncomposition (...) facts that are spatiotemporally local to the collection. I further argue that the contingentist has reason to reject both brutal composition and the supervenience principle. This reveals a significant internal tension in the contingentist's position. Unless this tension can be resolved, there will be (defeasible) reason to prefer necessitarianism about composition. (shrink)