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.

This thesis explores the possibility of composite consciousness: phenomenally conscious states belonging to a composite being in virtue of the consciousness of, and relations among, its parts. We have no trouble accepting that a composite being has physical properties entirely in virtue of the physical properties of, and relations among, its parts. But a long­standing intuition holds that consciousness is different: my consciousness cannot be understood as a complex of interacting component consciousnesses belonging to parts of me. I ask why: (...) what is it about consciousness that makes us think it so different from matter? And should we accept this apparent difference? (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)

The mereological predicate ‘is part of’ can be used to define the predicate ‘is identical with’. I argue that this entails that mereological theories can be ideologically simpler than nihilistic theories that do not use the notion of parthood—contrary to what has been argued by Ted Sider. Moreover, if one accepts an extensional mereology, there are good philosophical reasons apart from ideological simplicity to give a mereological definition of identity.

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

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.

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)

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)

Based on their research showing that growing cities follow basic principles, two theoretical physicists, Luis Bettencourt and Geoffrey West, call for researchers and professionals to contribute to a grand theory of urban sustainability. In their research, they develop a ‘science of the city’ to help urban planners address problems that arise from population increases. Although they provide valuable insights for understanding urban sustainability issues, they do not give planners a manageable way to approach such problems. I argue that developing an (...) applied mereology to understand the concept of ‘city identity’ gives planners a theoretical device for addressing urban affairs, including ethical concerns. In turn, I devise a model of city identity to show how a ‘philosophy of the city’ contributes to a grand theory of urban sustainability. (shrink)

According to strong composition as identity, the logical principles of one–one and plural identity can and should be extended to the relation between a whole and its parts. Otherwise, composition would not be legitimately regarded as an identity relation. In particular, several defenders of strong CAI have attempted to extend Leibniz’s Law to composition. However, much less attention has been paid to another, not less important feature of standard identity: a standard identity statement is true iff its terms are coreferential. (...) We contend that, if coreferentiality is dropped, indiscernibility is no help in making composition a genuine identity relation. To this aim, we analyse as a case study Cotnoir’s theory of general identity, in which indiscernibility is obtained thanks to a revisionary semantics and true identity statements are allowed to connect non-coreferential terms. We extend Cotnoir’s strategy for indiscernibility to the relation of comaternity, and we show that, neither in the case of composition nor in that of comaternity, indiscernibility contibutes to show that they are genuine identity relations. Finally, we compare Cotnoir’s approach with other versions of strong CAI endorsed by Wallace, Bøhn, and Hovda, and canvass the extent to which they violate coreferentiality. The comparative analysis shows that, in order to preserve coreferentiality, strong CAI is forced to adopt a non-standard semantic treatment of the singular/plural distinction. (shrink)

Lewis famously argued that mereology is ontologically innocent. Many who have considered this claim believe he was mistaken. Mereology is not innocent, because its acceptance entails the acceptance of sums, new objects that were not previously part of one’s ontology. This argument, the argument from ontological parsimony, has two versions: a qualitative and a quantitative one. I argue that the defender of mereology can neutralize both arguments by holding that, given mereology, a commitment to the parts of an object is (...) not an extra ontological commitment, made in addition to the commitment to the object; and that if the parts of an object are ‘ontologically innocent’, then sums cannot fail to be innocent either. (shrink)

The slogan “the whole is nothing over and above the parts” and related vague thoughts animate many theories of parthood and arguably are central to our ordinary conception. I examine some issues connected with this slogan.

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.

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

This article departs from a mereological conceptualization of the Daoist metaphysi- cal system in the Daodejing 道德經. I discuss what parthood status applies to dao 道. Whereas it is quite intuitive that you 有—the region of concrete objects—has parthood relationships and compositions (entities made from parts), the other, undif- ferentiated region, dao, poses a considerable problem. This problem can be charac- terized in the following way: (a) dao cannot be characterized as a particular com- position, which entails that it does (...) not include parts. However, (b) dao underpins compositions in you, which entails that it contains compositions or at least parts that make compositions in you. This generates a problem of how compositions are possi- ble with an undifferentiated ontological foundation. I focus on one possible approach to this problem––mereological nihilism, according to which no composition is pos- sible. Assuming nihilism entails dao composed of mereological simples––funda- mental entities, which are not parts. (shrink)

The meanings of words seem to change over time. But while there is a growing body of literature in linguistics and philosophy about meaning change, there has been little discussion about the metaphysical underpinnings of meaning change. The central aim of this paper is to push this discussion forward by surveying the terrain and advocating for a particular metaphysical picture. In so doing, we hope to clarify various aspects of the nature of meaning change, as well as prompt future philosophical (...) investigation into this topic. More specifically, this paper has two parts. The first, broadly exploratory, part surveys various metaphysical accounts of meaning change. The goal here is to lay out the terrain, thereby highlighting some key choice points. Then, in the second part, after critiquing Prosser’s (Philosophy Phenomenol Res 100(3):657–676, 2020) exdurantism about ‘mental files’, we sketch and defend the enduring senses view of meaning change. (shrink)

It is widely assumed that the identity relation is, among other things, transitive. Some have proposed that the identity relation might hold between objects contingently or occasionally. If, on those proposals, identity is shown to not be transitive, then there is reason to reject such proposals. One such argument attempts to show that the identity relation on such proposals violates transitivity in cases of ‘simultaneous’ fissions and fusion. I argue that, even in those cases, contingent identity and occasional identity are (...) transitive. (shrink)

This paper addresses the issue of how to best account for the diversity of our (synchronic) mental activities. The discussion starts with Mark Textor’s mental monism. According to mental monism, our mental life is constituted by just one simple mental act, in which different sub-acts can be conceptually distinguished. Textor grounds this view in the work of the early Brentano and contrasts it with the theory of the later Brentano, who introduces a mental substance into his philosophy. According to Textor, (...) Brentano needs a substance because he is unable to explain how mental monism can account for the separability of our mental activities, e.g. the fact that I can stop hearing F while still seeing blue. Textor argues, however, that mental monism can solve this problem. I address two issues regarding Textor’s view. First, I challenge his interpretation of Brentano by arguing that the early Brentano imports ontological complexity into our mental life; I defend Brentano’s view against possible criticisms, and I address some objections to mental monism. Second, I oppose Textor’s narrative about the mental substance. I argue that Brentano needs a substance not to explain separability, but rather to individuate our mental acts. I still argue, however, that Brentano’s earlier view (understood in my sense) is better than the substance account for dividing the mind. (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)

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

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

The problem of the many threatens to show that, in general, there are far more ordinary objects than you might have thought. I present and motivate a solution to this problem using many-one identity. According to this solution, the many things that seem to have what it takes to be, say, a cat, are collectively identical to that single cat.

According to a well known, yet controversial metaphysical thesis, Composition is Identity. Recently, Kris McDaniel has articulated and defended a related—and arguably more controversial—thesis, one he calls Parthood is Identity (PI). Roughly the view has it that a whole is, strictly and literally, identical to each of its parts considered individually. At first sight, the view seems rather implausible. However, McDaniel’s formulation and defense are worthy of a serious discussion. In this paper I put forth such a discussion. The result (...) is what we should have expected all along: PI is not only implausible, but arguably false. (shrink)

A material composite object is an object composed of two or more material parts. The world, it seems, is simply awash with such things. The Eiffel Tower, for instance, is composed of iron girders, nuts and bolts, and so on. You and I, as human beings, are composed of flesh and bone, and various organs. Moreover, these parts themselves are composed of further parts, such as molecules, which themselves are composed of atoms, which are composed of sub-atomic particles. Material composite (...) objects are, it seems, ubiquitous. However, despite their ubiquity, a little philosophical reflection on the matter, as is so often the case, reveals that they are also deeply puzzling. -/- The question which has received most attention from philosophers interested in material composition is: under what circumstances do two or more material objects compose a further object? Why is it, for instance, that a collection of iron girders that are bolted together in the centre of Paris do compose an object (that is, the Eiffel Tower), but that there is no object composed of the Eiffel Tower and the Moon? What conditions are satisfied by the first set of objects, and not by the second set of objects, which make this the case? In short, what are the necessary and sufficient conditions for composition to occur? -/- Since the 1980s, philosophers have devoted considerable attention to this question, and it has proved difficult to answer. This article provides a survey of the various answers that have been given to this question, plus the arguments that have been offered in their defence. (shrink)

Each thing is fundamental. Not only is no thing any more or less real than any other, but no thing is prior to another in any robust ontological sense. Thus, no thing can explain the very existence of another, nor account for how another is what it is. I reach this surprising conclusion by undermining two important positions in contemporary metaphysics: hylomorphism and hierarchical views employing so-called building relations, such as grounding. The paper has three main parts. First, I observe (...) hylomorphism is alleged by its proponents to solve various philosophical problems. However, I demonstrate, in light of a compelling account of explanation, that these problems are actually demands to explain what cannot be but inexplicable. Second, I show how my argument against hylomorphism illuminates an account of the essence of a thing, thereby providing insight into what it is to exist. This indicates what a thing, in the most general sense, must be and a correlative account of the structure in reality. Third, I argue that this account of structure is incompatible not only with hylomorphism, but also with any hierarchical view of reality. Although hylomorphism and the latter views are quite different, representing distinct philosophical traditions, I maintain they share untenable accounts of structure and fundamentality and so should be rejected on the same grounds. (shrink)

Composition is Identity is the thesis that a whole is, strict and literally, its parts considered collectively. Mereological Nihilism is the thesis that there are no composite objects whatsoever instead. This paper argues that they are equivalent, at least insofar as Composition is Identity is phrased in a particular way. It then addresses some consequences of such equivalence.

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

Setting off from a familiar distinction in the philosophy of properties, this paper introduces a tripartite distinction between sparse causation, abundant causation and mere abundant causation. It is argued that the contrast between sparse and mere abundant causation allows us to resolve notorious philosophical issues having to do with negative causation, causation involving institutional properties and physical macro-causation in a way that is unified, intuitive and in line with scientific doctrines and practices.

Powers are properties defined by what they do. The focus of the large majority of the powers literature has been mainly put on explicating the (multifaceted) results of the production of a power in certain (multifaceted) initial conditions: but all this causal complexity is bound to be—and, in fact, it has proved to be—quite difficult to handle. In this paper we take a different approach by focusing on the very activity of producing those multifaceted manifestations themselves. In this paper, we (...) propose an original account of what the essence of a power consists in which stems from a radical reconceptualisation of power-causation according to which counterfactuals are to be explained away by powers, and not vice-versa. We call this approach the dynamical operator account of powers. According to this account, the causal role of powers consists in their ensuring that the ontological transition from a stimulus S to a manifestation M happens. Powers thus have a dynamical essence which consists in the fundamental activity of generating the counterfactuals typically associated with them. We show that if one conceptualises this functional activity as the metaphysical fulcrum around which counterfactual-based causation revolves, one is granted not only an improved methodology to individuate powers but also a better understanding of their knowability, modality and directedness. (shrink)

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)

In Parts of Classes David Lewis argued that mereology is ‘ontologically innocent’, mereological notions not incurring additional ontological commitments. Unfortunately, though, Lewis’s argument for this is not fully spelled out. Here we use some formal results concerning translations between formal languages to argue for the ontological innocence of mereology directly.

Say that some things compose something, if the latter is a whole, fusion, or mereological sum of the former. Then the thesis that composition is identity holds that the composition relation is a kind of identity relation, a plural cousin of singular identity. On this thesis, any things that compose a whole are identical with the whole. This article argues that the thesis is incoherent. To do so, the article formulates the thesis in a plural language, a symbolic language that (...) includes counterparts of plural constructions of natural languages, and shows that it implies that nothing has a proper part. Then the article argues that the thesis, as its proponents take it, is incoherent because they take it to imply or presuppose that some things have proper parts. (shrink)

It is often claimed that the social sciences cannot be reduced to a lower-level individualistic science. The standard argument for this position is the Fodorian multiple realizability argument. Its defenders endorse token–token identities between “higher-level” social objects and pluralities/sums of “lower-level” individuals, but they maintain that the properties expressed by social science predicates are often multiply realizable, entailing that type–type identities between social and individualistic properties are ruled out. In this paper I argue that the multiple realizability argument for explanatory (...) holism is unsound. The social sciences are indeed irreducible, but the principled reason for this is that the required token–token identifications cannot in general be carried through. In consequence, paradigmatic social science predicates cannot be taken to apply to the objects quantified over in the lower-level sciences. The result is that typical social science predicates cannot even be held to be co-extensive with individualistic predicates, which means type–type identifications are ruled out too. Multiple realizability has nothing to do with this failure of co-extensiveness, because the relevant social science predicates are not multiply realized in the sense intended by the explanatory holists, a sense which presupposes reductive token–token identifications. (shrink)

In this paper, I aim to show that analytic philosophy can contribute to the theological discussion of ecclesiology. By considering recent analytic work on social ontology, I outline how we might think of the Church as one entity, constituted by many disparate parts. The paper begins with an overview of the theological constraints for the paper, and then proceeds to examine recent work on the philosophy of social ontology and group agency. Drawing on this literature, I outline three models of (...) social ontology from the history of philosophy and suggest reasons why all of them fail to provide an account of the Church’s agency. Finally, I develop an alternative model which, I suggest, better fits the conditions stipulated. (shrink)

A widely held view has it that sometimes there is more than one thing in exactly the same place, as is the case, allegedly, with a clay statue. There is the statue, but there also is a piece of clay—both obviously in the same place yet distinct in virtue of their differing properties, if only modal ones. Those holding this view—pluralists—often describe the relation between such objects as one of constitution, with the piece of clay being said to constitute the (...) statue. In the first part of this paper I consider ways in which the supposed relation of constitution may be understood. I conclude that the only coherent interpretation of ‘x constitutes y’ is one on which it is presupposed that x and y are identical. While this does not, by itself, show that pluralism is false, it is something that should make us suspicious of it. In the second part of the paper I propose a simple way with the temporal and modal facts the pluralist appeals to, showing that they do not force us into accepting his puzzling doctrine. (shrink)

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)

If, as some philosophers maintain, there are no composites, we do not have to ask whether, as others hold, composition is identity. Here I argue that both groups are wrong: there are composites, and composition is not identity. I examine one argument for excluding composites from our ontology, based on their alleged causal redundancy. I give reason to think that composites are ineliminable in causal explanations of macroscopic effects. I go on to argue that the relation between composites and their (...) components is not one of identity. (shrink)

In defending the startling claim that that there are no artifacts, indeed, no inanimate material objects of the familiar sort, Peter van Inwagen has argued that truths about such putative objects can be paraphrased as truths that do not make essential reference to them and that we should endorse only the ontological commitments of the paraphrase. In this note I argue that the paraphrases van Inwagen recommends cannot meet his condition. Read one way, they lose us some truths. Read another, (...) they entail the existence of the very objects they are supposed to rid us of. However, we need not share van Inwagen's distaste for the latter: to say that they exist is not to say that anything exists in addition to the simples composing them. (shrink)

Mereology, the theory of parts and wholes, is sometimes used as a framework for categorisation because it is regarded as ontologically innocent in the sense that the mereological fusion of some entities is nothing over and above the entities. In this paper it is argued that an adequate answer to the question of whether the thesis of the ontological innocence of mereology holds relies crucially on the underlying theory of reference. It is then shown that upholding the thesis comes at (...) high costs, viz. at the cost of a quite strong logical background theory or at paradoxical ways of predicating and counting. (shrink)

David Lewis famously endorsed Unrestricted Composition. His defense of such a controversial principle builds on the alleged innocence of mereology. This innocence defense has come under different attacks in the last decades. In this paper I pursue another line of defense, that stems from some early remarks by van Inwagen. I argue that Unrestricted Composition leads to a better metaphysics. In particular I provide new arguments for the following claims: Unrestricted Composition entails extensionality of composition, functionality of location and four-dimensionalism (...) in the metaphysics of persistence. Its endorsement yields an impressively coherent and powerful metaphysical picture. This picture shows a universe that might not be innocent but it is certainly elegant. (shrink)