In , Peter van Inwagen asked a good question. (Asking the right question is often the hardest part.) He asked: what do you have to do to some objects to get them to compose something---to bring into existence some further thing made up of those objects? Glue them together or what?1 Some said that you don’t have to do anything.2 No matter what you do to the objects, they’ll always compose something further, no matter how they are arranged. Thus we (...) learned of the fusion of the coins in our pockets and the Eiffel tower. (shrink)

There will be a few themes. One to get us going: expansion versus contraction. About an object, o, and the region, R, of space(time) in which o is exactly located,1 we may ask: i) must there exist expansions of o: objects in filled superregions2 of R? ii) must there exist contractions of o: objects in filled subregions of..

A variety of relations widely invoked by philosophers—composition, constitution, realization, micro-basing, emergence, and many others—are species of what I call ‘building relations’. I argue that they are conceptually intertwined, articulate what it takes for a relation to count as a building relation, and argue that—contra appearances—it is an open possibility that these relations are all determinates of a common determinable, or even that there is really only one building relation.

Much of the debate about identity in recent decades has been about personal identity, and specifically about personal identity over time, but identity generally, and the identity of things of other kinds, have also attracted attention. Various interrelated problems have been at the centre of discussion, but it is fair to say that recent work has focussed particularly on the following areas: the notion of a criterion of identity; the correct analysis of identity over time, and, in particular, the disagreement (...) between advocates of perdurance and advocates of endurance as analyses of identity over time; the notion of identity across possible worlds and the question of its relevance to the correct analysis of de re modal discourse; the notion of contingent identity; the question of whether the identity relation is, or is similar to, the composition relation; and the notion of vague identity. A radical position, advocated by Peter Geach, is that these debates, as usually conducted, are void for lack of a subject matter: the notion of absolute identity they presuppose has no application; there is only relative identity. Another increasingly popular view is the one advocated by Lewis: although the debates make sense they cannot genuinely be debates about identity, since there are no philosophical problems about identity. Identity is an utterly unproblematic notion. What there are, are genuine problems which can be stated using the language of identity. But since these can be restated without the language of identity they are not problems about identity. (For example, it is a puzzle, an aspect of the so-called “problem of personal identity”, whether the same person can have different bodies at different times. But this is just the puzzle whether a person can have different bodies at different times. So since it can be stated without the language of personal “identity”, it is not a problem about identity, but about personhood.) This article provides an overview of the topics indicated above, some assessment of the debates and suggestions for further reading. (shrink)

What are the ontological commitments of a sentence? In this paper I offer an answer from the perspective of the truthmaker theorist that contrasts with the familiar Quinean criterion. I detail some of the benefits of thinking of things this way: they include making the composition debate tractable without appealing to a neo-Carnapian metaontology, making sense of neo-Fregeanism, and dispensing with some otherwise recalcitrant necessary connections.

There is widespread disagreement as to what the facts are concerning just when a collection of objects composes some further object; but there is widespread agreement that, whatever those facts are, they are necessary. I am unhappy to simply assume this, and in this paper I ask whether there is reason to think that the facts concerning composition hold necessarily. I consider various reasons to think so, but find fault with each of them. I examine the theory of composition as (...) identity, but argue that the version of this doctrine that entails universalism is implausible. I consider the claim that the a priority of such facts leads to their necessity, but give a defence of substantial contingent a priori truths. I ask whether the contingency of such facts would lead to unwelcome possibilities, but argue that the worrying looking possibilities can be blocked if it is desired. Next, I argue against the thought that the Lewis-Sider argument against restricted composition might give us reason to accept the necessity of universalism. Lastly, I respond to two objections from the 2006 BSPC. I conclude in favour of the contingency of the facts concerning when some things compose some thing. (shrink)

Many of us think that ordinary objects – such as tables and chairs – exist. We also think that ordinary objects have parts: my chair has a seat and some legs as parts, for example. But once we are committed to the (seemingly innocuous) thesis that ordinary objects are composed of parts, we then open ourselves up to a whole host of philosophical problems, most of which center on what exactly the composition relation is. Composition as Identity (CI) is the (...) view that the composition relation is the identity relation. While such a view has some advantages, there are many arguments against it. In this essay, I will briefly canvass three different varieties of Composition as Identity, and suggest why one of them should be preferred over the others. Then I will outline several versions of the most common objection against CI. I will suggest how a CI theorist can respond to these charges by maintaining that some of the arguments are invalid. (In part 2, I show how a CI theorist can maintain that the remaining arguments, while valid, are unsound). (shrink)

Many of us think that ordinary objects – such as tables and chairs – exist. We also think that ordinary objects have parts: my chair has a seat and some legs as parts, for example. But once we are committed to the (seemingly innocuous) thesis that ordinary objects are composed of parts, we then open ourselves up to a whole host of philosophical problems, most of which center on what exactly this composition relation is. Composition as Identity (CI) is the (...) view that the composition relation is the identity relation. While such a view has some advantages, there are many arguments against it. In this essay, I discuss several versions of the most common objection against CI, and show how the CI theorist can maintain that these arguments – contrary their initial intuitive appeal – are nonetheless unsound. (shrink)

I argue that composition as identity is incompatible with the possibility of emergent properties (as characterized in the paper) and so should be rejected.

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)

I argue that an individual has aspects numerically identical with it and each other that nonetheless qualitatively differ from it and each other. This discernibility of identicals does not violate Leibniz's Law, however, which concerns only individuals and is silent about their aspects. They are not in its domain of quantification. To argue that there are aspects I will appeal to the internal conflicts of conscious beings. I do not mean to imply that aspects are confined to such cases, but (...) the best way to start is to recognize them experientially. We can feel the conflicts within ourselves. In doing so we can feel some of our aspects. I will try to enhance our understanding of the concept of aspect by listing and formalizing some principles for its use. After that I will argue that all sorts of individual things have aspects, not just people who are conflicted. (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.

Construing the instantiation of a universal by a particular in terms of my theory of aspects resolves the basic mystery of this "non-relational tie", and gives theoretical unity to the four characteristics of instantiation discerned by Armstrong. Taking aspects as distinct in a way akin to Scotus's formal distinction, I suggest that instantiation is the sharing of an aspect by a universal and a particular--a kind of partial identity. This approach allows me to address Plato's multiple location and One over (...) Many problems, Bradley's problem concerning the instantiation of relations, and the problem of change. (shrink)

"Composition as identity" is the radical claim that the whole is identical to the parts - radical because it implies that a single object can be identical to many objects. Composition as identity, together with auxiliary assumptions, implies the principle of "collapse": an object is one of some things if and only it is part of the fusion of those things. Collapse has important implications: the comprehension principle of plural logic must be restricted, plural definite descriptions such as "the Cheerios (...) in the bowl" are empty, Composition as identity does not preclude emergent properties (contrary to what McDaniel has argued), and drastic simplifications of mereological and logical ideology are extensionally available. (shrink)

‘Restricted composition’ says that there are some composite objects. And it says that some objects jointly compose nothing at all. The main threat to restricted composition is the influential and widely defended Vagueness Argument. We shall see that the Vagueness Argument fails. In seeing how this argument fails, we shall discover a new focus for the debate over composition's extent.

There is more than one way to say that composition is identity. Yi has distinguished the Weak Composition thesis from the Strong Composition thesis and attributed the former to David Lewis while noting that Lewis associates something like the latter with me. Weak Composition is the thesis that the relation between the parts collectively and their whole is closely analogous to identity. Strong Composition is the thesis that the relation between the parts collectively and their whole is identity. Yi is (...) right that Strong Composition does not fully reflect my view. We must recognize further what, borrowing Lewis's characterization, could be called the "stronger, and stranger" Composition thesis, or what I'll call the Stronger Composition thesis for short. On Strong Composition, it is only collectively that the parts are identical with the whole. On Stronger Composition, they are individually identical with it as well. I will explain and motivate this thesis. (shrink)

I here defend microphysical manyism. According to microphysical manyism, each composite or higher-level object is a mere plurality of microphysical particles. After clarifying the commitments of the view, I offer two physicalist-friendly arguments in its favour. The first argument appeals to the Canberra Plan. Here I argue that microphysical particles acting in unison play the theoretical roles associated with composite objects - that they do everything that we think of composite objects as doing - and thus that composite objects are (...) to be identified with pluralities of microphysical particles. Along the way I rebut the objections that pluralities of particles don’t display the right emergent, ‘lingering’, or modal properties to be good candidates for identification with higher-level objects. In the second argument I claim that microphysical manyism is uniquely able to capture a compelling and widespread physicalist intuition concerning the intimate nature of the relationship between higher-level, composite objects and the microphysical world. (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)

We tend to talk about (refer to, quantify over) parts in the same way in which we talk about whole objects. Yet a part is not something to be included in an inventory of the world over and above the whole to which it belongs, and a whole is not something to be included in the inventory over and above its constituent parts. This paper is an attempt to clarify a way of dealing with this tension which may be labeled (...) the Minimalist View: An element in the field of a part-whole relation is to be included in an inventory of the world if and only if it does not overlap any distinct element that is itself included in the inventory. (shrink)

ABSTRACT This paper proposes a novel answer to the Special Composition Question. In some respects it agrees with brutalism about composition; in others with universalism. The main novel feature of this answer is the insight I think it gives into what the debate over the Special Composition Question is about.

I endorse Composition as Identity, broadly and loosely understood as the thesis that a composite whole is nothing over and above its parts, and the parts nothing over and above the whole. Thus, given an object, x, composed of n proper parts, y1, ..., yn, I feel the tension between my Quinean heart and its Lewisian counterpart. I feel the tension between my obligation to countenance n+1 things, x and the y’s, each of which is a distinct portion of reality, (...) and my inclination to count just 1 thing, x, or just n things, the y’s, the former encompassing the same amount of reality as the latter. This paper is an attempt to reconstruct this tension and to explain it away without forgoing the intimate link between counting and countenancing. (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 paper provides new arguments for the following claim: either strong composition as identity cannot retain the full strength of both the logical principles of one-one identity and its semantical principles or it only delivers cases of boring composition in that it entails mereological nihilism.

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.

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.

Monists about material constitution typically argue that when Statue is materially constituted by Clay, Statue is just Clay. Pluralists about material constitution deny that constitution is identity: Statue is not just Clay. When Clay materially constitutes Statue, Clay is not identical to Statue. I discuss three familiar puzzles involving grounding, overdetermination and conceptual issues, and develop three new puzzles stemming from the connection between mereological composition and material constitution: a mereological puzzle, an asymmetry puzzle, and a structural puzzle.

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.

There are two main ways in which the notion of mereological fusion is usually defined in the current literature in mereology which have been labelled ‘Leśniewski fusion’ and ‘Goodman fusion’. It is well-known that, with Minimal Mereology as the background theory, every Leśniewski fusion also qualifies as a Goodman fusion. However, the converse does not hold unless stronger mereological principles are assumed. In this paper I will discuss how the gap between the two notions can be filled, focussing in particular (...) on two specific sets of principles that appear to be of particular philosophical interest. The first way to make the two notions equivalent can be used to shed some interesting light on the kind of intuition both notions seem to articulate. The second shows the importance of a little-known mereological principle which I will call ‘Mild Supplementation’. As I will show, the mereology obtained by adding Mild Supplementation to Minimal Mereology occupies an interesting position in the landscape of theories that are stronger than Minimal Mereology but weaker than what Achille Varzi and Roberto Casati have labelled ‘Extensional Mereology’. (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)

I defend mereological nihilism, the view that there are no composite objects, against a challenge from ontological emergence, the view that some things have properties that are ‘something over and above’ the properties of their parts. As the nihilist does not believe in composite wholes, there is nothing in the nihilist's ontology to instantiate emergent properties – or so the challenge goes. However, I argue that some simples can collectively instantiate an emergent property, so the nihilist's ontology can in fact (...) accommodate emergent properties. Furthermore, I show that employing plural instantiation does not bloat the nihilist's ontology or ideology. (shrink)

A plurality or plural object is a single object that is also many, and pluralitism is the thesis that there is such an object. This paper argues that pluralitism and closely related theses (e.g., the many-one identity thesis and the composition as identity thesis) violate logic. To do so, it formulates an approach to the logic and semantics of plural constructions that results in plural logic and relates treatments of plural constructions to accounts of natural number. And it gives a (...) critical examination of Frege’s views of numbers and plural constructions, and sketches the view of plural constructions as devices for talking about the many (as such), and an account of natural numbers as properties of a special kind, plural properties. (shrink)

A critical survey of the fundamental philosophical issues in the logic and formal ontology of space, with special emphasis on the interplay between mereology (the theory of parthood relations), topology (broadly understood as a theory of qualitative spatial relations such as continuity and contiguity), and the theory of spatial location proper.

This paper defends Flatland—the view that there exist neither determination nor dependence relations, and that everything is therefore fundamental—from the objection from explanatory inefficacy. According to that objection, Flatland is unattractive because it is unable to explain either the appearance as of there being determination relations, or the appearance as of there being dependence relations. We show how the Flatlander can meet the first challenge by offering four strategies—reducing, eliminating, untangling and omnizing—which, jointly, explain the appearance as of there being (...) determination relations where no such relations obtain. Since, plausibly, dependence relations just are asymmetric determination relations, we argue that once we come mistakenly to believe that there exist determination relations, the existence of other asymmetries (conceptual and temporal) explains why it appears that there are dependence relations. (shrink)

How should ‘the physical’ be defined for the purpose of formulating physicalism? In this paper I defend a version of the via negativa according to which a property is physical just in case it is neither fundamentally mental nor possibly realized by a fundamentally mental property. The guiding idea is that physicalism requires functionalism, and thus that being a type identity theorist requires being a realizer-functionalist. In §1 I motivate my approach partly by arguing against Jessica Wilson's no fundamental mentality (...) constraint. In §2 I set out my preferred definition of ‘the physical’ and make my case that physicalism requires functionalism. In §3 I defend my proposal by attacking the leading alternative account of ‘the physical,’ the theory-based conception. Finally, in §4 I draw on my definition, together with Jaegwon Kim's account of intertheoretic reduction, to defend the controversial view that physicalism requires a priori physicalism. (shrink)

I defend the thesis that Composition Entails Identity (CEI): that is, a whole is identical to all of its parts, taken together. CEI seems to be inconsistent, since it seems to require that the parts of a whole possess incompatible number properties (for instance, being one thing and being many things). I show that these number properties are, in fact, compatible.

Traditionally, this puzzle has been solved in various ways. Aristotle, for example, distinguished between “accidental” and “essential” changes. Accidental changes are ones that don't result in a change in an objects' identity after the change, such as when a house is painted, or one's hair turns gray, etc. Aristotle thought of these as changes in the accidental properties of a thing. Essential changes, by contrast, are those which don't preserve the identity of the object when it changes, such as when (...) a house burns to the ground and becomes ashes, or when someone dies. Armed with these distinctions, Aristotle would then say that, in the case of accidental changes, (1) and (2) are both false—a changing thing can really change one of its “accidental properties” and yet literally remain one and the same thing before and after the change. (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)

Part–whole causation is the thesis that some causes are part of their effects. PWC has been objected to because of its incompatibility with the criterion that causes not be spatially included within their effects and the criterion that causes and effects are ontologically distinct in some sense. This paper serves to undermine the sufficiency of these ways of objecting to PWC by showing that for each criterion either cause-effect relationships need not satisfy it or part–whole relationships can. A case-study of (...) the collapse of Bridge 9340 is employed to facilitate the discussion. (shrink)

This paper describes a plausible view of the nature of physical objects, their mereological connections to each other, and their relation to spacetime. As well as being parsimonious, the view provides a plausible context for denying all of the following: (1) A theory that objects endure through time (and do not have temporal parts, as normally conceived) cannot claim that material objects are identical to space-time regions they occupy. (2) At least one of the family of mereological connections (part-whole, overlap (...) etc.) is to be taken as primitive. (3) Claims entirely in the language of quantifiers and identity and mereology are not semantically vague. It is thus an example showing that the there are more options for the metaphysics of objects, spacetime and mereology than many metaphysicians ordinarily assume. (shrink)

The core idea of David Armstrong’s combinatorial theory of possibility is attractive. Rearrangement is the key to modality; possible worlds result from scrambling bits and pieces of other possible worlds. Yet I encounter great difficulty when trying to formulate the theory rigorously, and my best attempts are vulnerable to counterexamples. The Leibnizian biconditionals relate possibility and necessity to possible world and true in.

Some have it that wholes are, somehow, identical to their parts. This doctrine is as alluring as it is puzzling. But in this paper, I show that the doctrine is inconsistent with two widely accepted theses. Something has to go.

Some hold that musical works are fusions of, or coincide with, their performances. But if performances contain wrong notes, won't works inherit that property? We say ‘no’.

Peter Simons has argued that the expression ‘the universe’ is not a genuine singular term: it can name neither a single, completely encompassing individual, nor a collection of individuals. (It is, rather, a semantically plural term standing equally for every existing object.) I offer reasons for resisting Simons’s arguments on both scores.

This article aims to provide a consistent explication of the doctrine of Divine Simplicity. To achieve this end, a re-construal of the doctrine is made within an “aspectival trope-theoretic” metaphysical framework, which will ultimately enable the doctrine to be elucidated in a consistent manner, and the Plantingian objections raised against it will be shown to be unproblematic.

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.

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)

In this work I first develop, motivate, and defend the view that mereological composition, the relation between an object and all its parts collectively, is a relation of identity. I argue that this view implies and hence can explain the logical necessity of classical mereology, the formal study of the part-whole relation. I then critically discuss four contemporary views of the same kind. Finally, I employ my thesis in a recent discussion of whether the world is fundamentally one in number.