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)

An introduction to composition, persistence, and identity.

This is a collection of articles and essays that bear on the relationship between scientific and poetical/romantic views of the world.

The Frege-Russell view is that existence is a second-order property rather than a property of individuals. One of the most compelling arguments for this view is based on the premise that there is an especially close connection between existence and number. The most promising version of this argument is by C.J.F Williams (1981, 1992). In what follows, I argue that this argument fails. I then defend an account according to which both predications of number and existence attribute properties to individuals.

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)

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)

Pace Perry, wondering whether perceived things are identical is thinking about them, for Hume, with no thought of perceptions of them. Hume is not a proto-Fregean; Hume's Difficulty is not a version of Frege's Puzzle. Pace Falkenstein, wondering about an identity is not wondering whether clearly distinct things--stages, surfaces, names--are connected in some way. Pace Garrett, wondering about the identity of an observed object is wondering whether it is really one or two things, not whether there is one F or (...) two Fs. Second, Humean consciousness is apperception, not immediate awareness. Third, Hume finds nothing with epistemic merit. (shrink)

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.

In Parts of Classes (1991) and Mathematics Is Megethology (1993) David Lewis defends both the innocence of plural quantification and of mereology. However, he himself claims that the innocence of mereology is different from that of plural reference, where reference to some objects does not require the existence of a single entity picking them out as a whole. In the case of plural quantification . Instead, in the mereological case: (Lewis, 1991, p. 87). The aim of the paper is to (...) argue that one—an innocence thesis similar to that of plural reference is defensible. To give a precise account of plural reference, we use the idea of plural choice. We then propose a virtual theory of mereology in which the role of individuals is played by plural choices of atoms. (shrink)

Mereotopology is today regarded as a major tool for ontological analysis, and for many good reasons. There are, however, a number of open questions that call for an answer. Some are philosophical, others have direct applicative import, but all are crucial for a proper assessment of the strengths and limits of mereotopology. This paper is an attempt to put sum order in this area.

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)

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)

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.

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)

In Parts of Classes David Lewis attempts to draw a sharp contrast between mereology and set theory and he tries to assimilate mereology to logic. For him, like logic but unlike set theory, mereology is “ontologically innocent”. In mereology, given certain objects, no further ontological commitment is required for the existence of their sum. On the contrary, by accepting set theory, given certain objects, a further commitment is required for the existence of the set of them. The latter – unlike (...) the sum of the given objects – seems to be an abstract entity whose existence is not directly entailed by the existence of the objects themselves. The argument for the innocence of mereology is grounded on the thesis of composition as identity. In our paper we argue that: arguments for the ontological innocence of mereology are not conclusive. Some arguments against the ontological innocence of mereology show a certain ambiguity in the innocence thesis itself. The innocence thesis seems to depend on a general conception of the nature of objects and on how the notion of ontological commitment is understood. Specifically, we think that the thesis is the manifesto of a realistic conception of parts and sums. Quine‟s notorious criticism of the set-theoretical interpretation of second order logic seems to be reproducible against Lewis‟defence of mereology. To the purpose we construct a mereological model of a substantive fragment of set theory, adequate to ground the set-theoretical semantics of second order logic. (shrink)

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

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)

Roughly, the problem of the Trinity is the problem of how God can be one and yet be the Father, the Son, and the Holy Spirit, which are three, not one. That one thing is identical with three distinct things seems to violate traditional laws of identity. I propose a solution to this problem according to which it is just an ordinary claim of one-many identity. For example, one pair of shoes is identical with two shoes; and my one body (...) is identical with its six limbs of arms, legs, head, and torso. The pair of shoes is not identical with each one of the two shoes, nor is my body identical with each one of its six limbs, but rather identical with all of them taken together, or collectively. I argue that the problem of the Trinity should be understood accordingly: God is identical with the Father, the Son, and the Holy Spirit collectively, but not with each one of them distributively. According to the way I develop this proposal, no traditional laws of identity are violated, but merely generalized in an intuitive way. I argue that this is compatible with Christian Orthodoxy as given by the Athanasian Creed. I end by responding to some anticipated objections. (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.

Mereological essentialists argue that mereological summations cannot change their parts. Mereological inessentialists argue that mereological summations can change some or all of their parts. In this paper I articulate and defend a position called Moderate Mereological Inessentialism, according to which certain mereological summations can change some, but not all, of their parts. Persistent mereological summations occur when the functional parts of mereological summations persist through alterations to its spatial parts.

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.

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)

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 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 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. (shrink)

In Parts of Classes [Lewis 1991] David Lewis attempts to draw a sharp contrast between mereology and set theory and to assimilate mereology to logic. He argues that, like logic but unlike set theory, mereology is “ontologically innocent”. In mereology, given certain objects, no further ontological commitment is required for the existence of their sum. On the contrary, by accepting set theory, given certain objects, a further commitment is required for the existence of the set of them. The latter – (...) unlike the sum of the given objects – seems to be an abstract entity whose existence is not directly entailed by the existence of the objects themselves. The argument for the innocence of mereology is grounded on the thesis of “Composition as identity”. Lewis analyses two different versions of the thesis: the first is the Strong composition thesis, according to which certain objects are their sum, where the use of “are” would mean that composition is literally identity. The second version is the Weak composition thesis, according to which composition is analogous, under some aspects, to identity. He criticises the first version of the thesis and argues for the second one. In the paper we argue that (T1) arguments for the ontological innocence of mereology are not conclusive. An obvious objection to the Strong composition thesis is that – given certain objects Xs – they cannot be their sum because none of them is the sum. One could reply to this objection by observing that the “are” in the sentence “The Xs are their sum” is to be understood collectively and not distributively. But the crux is that the collective reading fails to generate a new entity, whereas mereology, in particular in Lewis’ use for the reconstruction of set theory as “megethology”, needs to consider sums as real objects. Besides, we contend that Lewis’ argument for the innocence of mereology based on the Weak composition thesis is a petitio principii. The reason is that the aspects of the analogy between composition and identity, which Lewis emphasises, obtain under the presupposition of the existence of sums. But this is just what a denier of innocence would refuse. (T2) Some arguments against the ontological innocence of mereology show a certain ambiguity in the innocence thesis itself. Some defences of the innocence seem to implicitly presuppose that the sum of certain objects Xs is not a genuine entity. Speaking of the sum of the Xs would be just another way of speaking plurally of the Xs. However, the relevant use of sums in mereology treats them as well determined objects. The relevant innocence thesis takes for granted that, though sums are genuine objects, nevertheless their existence does not require any further commitment. (T3) The innocence thesis, apart from Lewis’ defence, seems to depend on a general conception of the nature of objects and on how the notion of ontological commitment is understood. We think that the thesis is the manifesto of a realistic conception of parts and sums. This conception consists of the following clauses: (i) given any object x, it is well determined which parts it possesses; these are in turn objects whose existence is a necessary consequence of the existence of x. (ii) However any objects Xs are given, they automatically constitute a well determined object x which is their sum; (iii) We can refer singularly and plurally to parts and sums of given objects. Obviously, one might wonder if such a conception is really ontologically innocent. One could object that it is not innocent because clauses (i) – (iii) are not. For example, clause (i) could be considered as an ontological commitment to the existence of sums. But the innocence at issue does not concern the above-sketched conception. The innocence is embedded in the conception itself. In other words, someone who argues for clauses (i) – (iii) takes a point of view from which mereology appears to be innocent. For, such a point of view forces us to consider as well determined the parts of any object and does not allow us to separate the existence of certain objects form the existence of their sum. (T4) is the claim that the alleged innocence of mereology is subject to Quine’s notorious criticisms of the set-theoretical interpretation of second order logic. To the purpose, we construct a mereological model of a substantive fragment of set theory, i.e. the one that grounds the principal model semantics of second order logic. First, we construct a mereological model under the assumption of the existence of infinitely many atoms. Then, we replace this assumption with that of the existence of any infinite object (with or without atoms). Finally, let us make a general point about the innocence thesis of mereology. A conclusive argument for that would be a refutation of the thesis that there are only denumerably many entities. For, since the parts of an infinite object constitute a non-denumerable infinity, such an argument would entail that there could be no infinite without a non-denumerable infinity. However, the thesis that any genuine infinity is a denumerable one has had some important advocates. So, a conclusive argument for the innocence of mereology seems to be highly implausible. (shrink)

Many philosophers accept some version of a principle that says for all x, if x exists, then x plays a unique causal role. After briefly clarifying one version of the principle in Section 1, Section 2 gives reasons to doubt it by showing that there are non-identical “causal indiscernibles”—I call them “married causes.” Section 3 then sketches a few philosophical puzzles for which married causes may be helpful.

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.

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)

Armstrong has loose identity be an equivalence relation, yet in cases of something becoming something else, loose identity is not transitive. My alternate account has an attribution of loose identity be really two: a true attribution of an underlying relation (perhaps not transitive) and a false attribution--a Humean feigning-of strict identity. The feigning may become less appropriate as the underlying relation grows more distant. What makes it appropriate initially is that the underlying relation supports a predictable change in some collective. (...) The importance of the predictably changing collective is signaled by regarding it as a single thing. (shrink)

Schaffer offers us in the last section of “On What Grounds What” (2009) an applied illustration of his allegedly Aristotelian metaontological position. According to this illustration, Schaffer’s metaontological position, supplemented with a few Aristotelian theses about substance and grounding, would converge in a view remarkably similar to his priority monism (Philosophical Studies, 145, 131–148, 2009b; Philosophical Review, 119, 31–76, 2010a), the view that there is one single fundamental substance. In this paper, I will argue against Schaffer’s suggestion that priority monism (...) represents a viable development of Aristotelian metaphysics. In particular, I will hold that the most plausible version of Schaffer’s priority monism by Aristotelian standards fails to satisfy basic Aristotelian tenets about dependence, composition, change, and persistence, and suggest that this is evidence that Aristotelians are more at home with a pluralism rather than a monism about substance. (shrink)

Composition as Identity claims that a composite object is identical to its parts taken collectively. This is often understood as reducing the identity of composite objects to the identity of their parts. The author argues that Composition as Identity is not such a reduction. His central claim is that an intensional notion of composition, which is sensitive to the arrangement of the composing objects, avoids criticisms based on an extensional understanding of composition. The key is to understand composition as an (...) intensional kind of identity relation, many-one identity. Eventually, the author suggests an arrangement condition for many-one identity that allows him to distinguish between composite objects, even if they have the same parts. (shrink)

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)

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)

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)

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

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

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

Recently, some mechanists have embraced reductionism and some reductionists have endorsed mechanism. However, the two camps disagree sharply about the extent to which mechanistic explanation is a reductionistic enterprise. Reductionists maintain that cellular and molecular mechanisms can explain mental phenomena without necessary appeal to higher-level mechanisms. Mechanists deny this claim. I argue that this dispute turns on whether reduction is a transitive relation. I show that it is. Therefore, mechanistic explanations at the cellular and molecular level explain mental phenomena. I (...) make my case in part by noting that mechanisms at higher levels are composed of mechanisms at lower levels. Compositional relations are transitive. In addition, they are explanatory. I conclude that there are explanatory linkages from cellular and molecular mechanisms to mental phenomena within a hierarchy of nested mechanisms. (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.

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.

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.

According to Composition as Identity, a whole is distinct from each of its parts individually, but identical to all of them taken together. It is sometimes claimed that, if you accept CAI, then your belief in a whole is ‘ontologically innocent’ with respect to your belief in its parts. This claim is false. But the defender of CAI can claim a different advantage for her view. Following Agustín Rayo, I distinguish ontology from plethology. I then show that CAI allows us (...) to introduce an interesting notion of ‘plethological innocence’ which would otherwise collapse into the notion of ‘ontological innocence’, and that CAI renders belief in composite objects plethologically innocent. (shrink)

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)

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.

We tend to talk about 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 an inventory over and above its own 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 other element that is itself included in the inventory. As it turns out, a clarification of this view involves both a defense of mereological extensionality and an account of the topological distinction between detached and undetached parts. (shrink)

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)

"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)

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)

‘It feels like I have lost a part of myself’ is frequently uttered by those grieving the death of a loved one. Despite the ubiquity of such utterances, and the palpable sense that they express something true, few philosophers have considered what, if anything, accounts for their truth. Here, I develop a suggestion from Donald Baxter according to which Composition as Identity provides us a means to understand the grief utterances literally. In doing so, I identify and develop a version (...) of Leibniz's Law required for Composition as Identity to account for the truth of the grief utterances. In turn, this principle helps shed light on Composition as Identity's central claim: that the parts are identical to the whole. By considering objections to the resulting view, I construct a list of desiderata for other philosophers interested in accounting for the grief utterances. (shrink)

In this journal, Einar Bøhn has proposed a solution to the so-called Trinitarian Paradox. After summarizing the Paradox and Bøhn’s proposed solution, I argue that those committed to Christian orthodoxy cannot accept the solution, for three reasons: First, it requires positing more kinds of divine entity than God and the Persons of the Trinity; second, it is based upon a false assumption; and, finally, the proposed solution amounts at best to a form of obscurantism.