A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith ** The Bounds of Axiomatisation, Graham White ** Rethinking Boundaries, Wojciech Zelaniec ** Sheaf Mereology and Space Cognition, Jean Petitot ** A Mereotopological Definition of 'Point', Carola Eschenbach ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel ** Mass Reference and the Geometry of Solids, Almerindo E. Ojeda (...) ** Defining a 'Doughnut' Made Difficult, N .M. Gotts ** A Theory of Spatial Regions with Indeterminate Boundaries, A.G. Cohn and N.M. Gotts ** Mereotopological Construction of Time from Events, Fabio Pianesi and Achille C. Varzi ** Computational Mereology: A Study of Part-of Relations for Multi-media Indexing, Wlodek Zadrozny and Michelle Kim. (shrink)

Are a material object, such as a statue, and its constituting matter, the clay, parts of one another? One wouldn't have thought so, and yet a number of philosophers have argued that they are. I review the arguments for this surprising claim showing how they all fail. I then consider two arguments against the view concluding that there are both pre-theoretical and theoretical considerations for denying that the statue and the clay are mutual parts.

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.

Mainstream metaphysics has been preoccupied by inquiring into the nature of major kinds of entities, like objects, properties and events, while avoiding minor entities, like shadows or holes. However, one might want to hope that dealing with such minor entities could be profitable for even solving puzzles about major entities. I propose a new ontological puzzle, the Shadow of Constitution Puzzle, incorporating the old puzzle of material constitution, with shadows in the role of the minor entity to guide our approach (...) to the issues involved. I then analyze the standard answers to the original puzzle of constitution, in their role as potential solutions to the new puzzle. Finally, I discuss three views that can solve the proposed puzzle. (shrink)

Some essence facts have metaphysical explanations. Some metaphysical explanations for essence facts consist in nonessential facts.

The basic philosophical controversy regarding ordinary objects is: Do tables and chairs, sticks and stones, exist? This paper aims to do two things: first, to explain why how this can be a controversy at all, and second, to explain why this controversy has arisen so late in the history of philosophy. Section 1 begins by discussing why the 'obvious' sensory evidence in favor of ordinary objects is not taken to be decisive. It goes on to review the standard arguments against (...) the existence of ordinary objects – including those based on problems with causal redundancy, parsimony, co-location, sorites arguments, and the special composition question. Section 2 goes on to address what it is about the contemporary approach to metaphysics that invites and sustains this kind of controversy, and helps make evident why debates about ordinary objects lead so readily to debates in metametaphysics about the nature of metaphysics itself. (shrink)

This paper defends a hylomorphic version of animalism according to which human persons survive as immaterial, bodiless animals after death. According to the hylomorphism under consideration, human persons have souls that survive death, and according to the animalism under consideration, human persons are necessarily animals. One might think this implies that human persons don't survive their deaths since if they were to survive their deaths, they would be immaterial animals after death, but necessarily animals are material. This paper shows that (...) the hylomorphic animalist can overcome this problem in a way that respects the intuition that animals are material. In addition, the paper defends the hylomorphic animalist survivalist from the objection that her view introduces an insoluble mereological puzzle. (shrink)

Are the sculpture and the mass of gold which permanently makes it up one object or two? In this article, we argue that the monist, who answers ‘one object’, cannot accommodate the asymmetry of material constitution. To say ‘the mass of gold materially constitutes the sculpture, whereas the sculpture does not materially constitute the mass of gold’, the monist must treat ‘materially constitutes’ as an Abelardian predicate, whose denotation is sensitive to the linguistic context in which it appears. We motivate (...) this approach in terms of modal analyses of material constitution, but argue that ultimately it fails. The monist must instead accept a deflationary, symmetrical use of ‘materially constitutes’. We argue that this is a serious cost for her approach. (shrink)

In debates about the metaphysics of material objects examples of colocated objects are commonly taken to be examples of coincidence too. But the argument that colocation is best understood as involving coincidence is never spelled out. This paper shows under what conditions colocation entails coincidence and argues that the entailment depends on a principle that actually rules out certain forms of colocation. This undermines the argument from colocation to coincidence.

The idea that two objects can coincide—by sharing all their proper parts, or matter—yet be non-identical, results in the “Problem of Coincident Objects”: in what relation do objects stand if they are not identical but share all their proper parts? One solution is to introduce material constitution. In this paper, I argue that this is ad hoc since, first, this solution cannot be generalized to solve similar problems, and, second, there are pseudo cases of coincidence that should not trigger the (...) introduction of material constitution and these cannot be distinguished in any principled way from the allegedly real cases of coincidence. (shrink)

I am now typing on a computer I bought two years ago. The computer I bought is identical to the computer on which I type. My computer persists over time. Let us divide our subject matter in two. There is first the question of criteria of identity, the conditions governing when an object of a certain kind, a computer for instance, persists until some later time. There are secondly very general questions about the nature of persistence itself. Here I include (...) the question of temporal parts, as well as certain familiar paradoxes (e.g., the statue and the lump). Following John Perry (1975, Introduction), let us characterize a criterion of identity over time for F s as a way of filling in φ in the following schema: Stages S1 and S2 belong to some continuing F iff φ Defenders of temporal parts (see below) regard S1 and S2 as being temporal parts of the continuing F ; others regard S1 and S2 as different stages in the life history of the continuing F . Thus each camp can make use of Perry’s formula. It is traditional to divide such criteria into those governing persons and those governing anything else. It is further traditional to say that the criterion of identity over time for non-persons involves spatiotemporal continuity. An excellent discussion is Eli Hirsch’s The Concept of Identity1, which utilizes the notion of continuity under a sortal. Kind-terms, or sortals, are terms that specify what kind of or sort of thing an object is. Examples include ‘tree’, ‘car’, and ‘mountain’. Where F is a sortal, Hirsch’s analysis is roughly that stages belong to the same F iff they are connected by a spatiotemporally and qualitatively continuous sequence of F -stages. Unmodified, this analysis prohibits temporally discontinuous entities, such as a watch that is taken apart and then reassembled. Hirsch discusses the necessary modifications. Spatiotemporal continuity analyses face a problem when applied to the persistence of matter. The literature here has been dominated by discussion of examples provided by David Armstrong (1980) and Saul Kripke (unpublished.... (shrink)

Late Lowe’s metaphysics of material objects is an interesting multi-thingist theory that still attracts interest from various authors. The core idea is that ifxmaterially constitutesy, thexis a proper part ofy. I discuss some mereological issues that arise from the approach and propose a revision of the mereology associated. Particularly, I examine the tenability of a number of supplementation principles and conclude that just one may serve the theory adequately. Still, the endorsement of such a principle does not come for free. (...) Successively, I address the derivability of an important extensionality theorem and conclude that the theorem must be taken as an axiom in the mereology at stake. Lastly, I discuss two notable definitions of mereological fusions to assess which one best suits the present theory. The result is that authors sharing Lowe’s multi-thingist conception of material objects can still enjoy a moderately strong mereology. (shrink)

What is the relation between a clay statue andthe lump of clay from which it is made? According to the defender of the standardaccount, the statue and the lump are distinct,enduring objects that share the same spatiallocation whenever they both exist. Suchobjects also seem to share the samemicrophysical structure whenever they bothexist. This leads to the standard objection tothe standard account: if the statue and thelump of clay have the same microphysicalstructure whenever they both exist, how canthey differ in their (...) de re temporalproperties, de re modal properties and soon? In this paper I develop amereological answer to this question – thestatue and the lump differ with respect totheir parts and this explains theirdifference with respect to de re temporalproperties, de re modal properties andthe like. (shrink)

It is uncontroversial that artifacts like statues and tables are mind-dependent. What is controversial is whether and how this mind-dependence has implications for the ontology of artifacts. I argue the mind-dependence of artifacts entails that there are no artifacts or artifact joints in the extra-mental world. In support of this claim, I argue that artifacts and artifact joints lack any extra-mental grounding, and so ought not to have a spot in a realist ontology. I conclude that the most plausible story (...) about artifacts is that they are in minds of suitably intelligent creatures, and not the extra-mental world. Artifacts and their joints are merely mental projections onto a world of ‘indifferent materials’. With this established, I show how many cases of object coincidence, the view that more than one material object can be located in the same exact region of space-time, cannot occur. (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.

It is often said that the same particles can simultaneously make up two or more material objects that differ in kind and in their mental, biological, and other qualitative properties. Others wonder how objects made of the same parts in the same arrangement and surroundings could differ in these ways. I clarify this worry and show that attempts to dismiss or solve it miss its point. At most one can argue that it is a problem we can live with.

In this paper I shall explore a novel alternative to these familiar views. In his recent book Sub ects of Ex erience, E. J. Lowe argues, as many others have done before, that you and I are not animals. It follows from this, he says, that we must be simple substances without parts. That may sound like Cartesian dualism. But Lowe is no Cartesian. He argues from premises that many present-day materialists accept. And he claims that our being mereologically simple (...) is consistent with our having such paradigmatically physical properties as being six feet tall and weighing 160 pounds. You and I, he claims, are mereological atoms shaped like human beings. (shrink)

Many philosophers say that the same atoms may compose at once a statue and a lump of matter that could outlive the statue. I reject this because no difference between the statue and the lump could explain why they have different persistence conditions. But if we say that the lump is the statue, it is difficult to see how there could be any human beings. I argue that this and analogous problems about material objects admit only of solutions that at (...) least appear to be radically at odds with our ordinary thinking. (shrink)

Puzzles about persistence and change through time, i.e., about identity across time, have foundered on confusion about what it is for ‘two things’ to be have ‘the same thing’ at a time. This is most directly seen in the dispute over whether material objects can occupy exactly the same place at the same time. This paper defends the possibility of such coincidence against several arguments to the contrary. Distinguishing a temporally relative from an absolute sense of ‘the same’, we see (...) that the intuition, ‘this is only one thing’, and the dictum, ‘two things cannot occupy the same place at the same time’, are individuating things at a time rather than absolutely and are therefore compatible with coincidence. Several other objections philosophers have raised ride on this same ambiguity. Burke, originating what has become the most popular objection to coincidence, argues that if coincidence is possible there would be no explanation of how objects that are qualitatively the same at a time could belong to different sorts. But we can explain an object’s sort by appealing to its properties at other times. Burke’s argument to the contrary equivocates on different notions of ‘cross-time identity’ and ‘the statue’. From a largely negative series of arguments emerges a positive picture of what it means to say multiple things coincide and of why an object’s historical properties explain its sort rather than vice versa – in short, of how coincidence is possible. (shrink)

I argue that two competing accounts of persistence, three and four dimensionalism, are in fact metaphysically equivalent. I begin by clearly defining three and four dimensionalism, and then I show that the two theories are intertranslatable and equally simple. Through consideration of a number of different cases where intuitions about persistence are contradictory, I then go on to show that both theories describe these cases in the same manner. Further consideration of some empirical issues arising from the theory of special (...) relativity lead me to conclude that the two theories are equally explanatory, and thus finally that they are metaphysically equivalent. (shrink)

It is possible to wholly exist at multiple spatial locations at the same time. At least, if time travel is possible and objects endure, then such must be the case. To accommodate this possibility requires the introduction of a spatial analog of either relativising properties to times—relativising properties to spatial locations—or of relativising the manner of instantiation to times—relativising the manner of instantiation to spatial locations. It has been suggested, however, that introducing irreducibly spatially relativised or spatially adverbialised properties presents (...) some difficulties for the endurantist. I will consider an objection according to which embracing such spatially relativised properties could lead us to reject mereology altogether in favour of a metaphysics according to which objects are wholly present at every space-time point at which they exist. I argue that although such a view is coherent, there are some good reasons to reject it. Moreover, I argue that the endurantist can introduce spatially relativised or adverbialised properties without conceding that objects lack spatial parts. Such a strategy has the additional advantage that it allows the endurantist not only to explain time travel, but also to reconcile our competing intuitions about cases of fission. (shrink)

It is possible to wholly exist at multiple spatial locations at the same time. At least, if time travel is possible and objects endure, then such must be the case. To accommodate this possibility requires the introduction of a spatial analog of either relativising properties to times—relativising properties to spatial locations—or of relativising the manner of instantiation to times—relativising the manner of instantiation to spatial locations. It has been suggested, however, that introducing irreducibly spatially relativised or spatially adverbialised properties presents (...) some difficulties for the endurantist. I will consider an objection according to which embracing such spatially relativised properties could lead us to reject mereology altogether in favour of a metaphysics according to which objects are wholly present at every space-time point at which they exist. I argue that although such a view is coherent, there are some good reasons to reject it. Moreover, I argue that the endurantist can introduce spatially relativised or adverbialised properties without conceding that objects lack spatial parts. Such a strategy has the additional advantage that it allows the endurantist not only to explain time travel, but also to reconcile our competing intuitions about cases of fission. (shrink)

I introduce a methodology for doing the history of philosophy called philosophical modeling. I then employ this methodology to give a theory of Kant's distinction between things in themselves and appearances. This theory models Kant's distinction on the distinction between a constituting object and the object it constitutes.

Whenever an object constitutes, makes up or composes another object, the objects in question share a striking number of properties. This paper is addressed to the question of what might account for the intimate relation and striking similarity between constitutionally related objects. According to my account, the similarities between constitutionally related objects are captured at least in part by means of a principle akin to that of strong supervenience. My paper addresses two main issues. First, I propose independently plausible principles (...) by means of which to delineate, in a non-ad-hoc, non-stipulative and non-circular fashion, those properties which can be expected to be shared among constitutionally related objects in virtue of their being so related from those which in general cannot be expected to be shared, or which are shared for other reasons. Secondly,I spell out in detail the nature of the supervenience-principle at work in this context. My account thus aims at isolating, in a methodologically responsible fashion, the particular sort of restricted indiscernibility principle which is a component of the constitution-relation. (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)

I know that I could have been where you are right now and that you could have been where I am right now, but that neither of us could have been turnips or natural numbers. This knowledge of metaphysical modality stands in need of explanation. I will offer an account based on our knowledge of the natures, or essencess, of things. I will argue that essences need not be viewed as metaphysically bizarre entities; that we can conceptualise and refer to (...) essences; and that we can gain knowledge of them. We can know about which properties are, and which properties are not, essential to a given entity. This knowledge of essence offers a route to knowledge of the ways those entities must be or could be. (shrink)

I know that I could have been where you are right now and that you could have been where I am right now, but that neither of us could have been turnips or natural numbers. This knowledge of metaphysical modality stands in need of explanation. I will offer an account based on our knowledge of the natures, or essencess, of things. I will argue that essences need not be viewed as metaphysically bizarre entities; that we can conceptualise and refer to (...) essences; and that we can gain knowledge of them. We can know about which properties are, and which properties are not, essential to a given entity. This knowledge of essence offers a route to knowledge of the ways those entities must be or could be. (shrink)

Are the sculpture and the mass of gold which permanently makes it up one object or two? In this article, we argue that the monist, who answers ‘one object’, cannot accommodate the asymmetry of material constitution. To say ‘the mass of gold materially constitutes the sculpture, whereas the sculpture does not materially constitute the mass of gold’, the monist must treat ‘materially constitutes’ as an Abelardian predicate, whose denotation is sensitive to the linguistic context in which it appears. We motivate (...) this approach in terms of modal analyses of material constitution, but argue that ultimately it fails. The monist must instead accept a deflationary, symmetrical use of ‘materially constitutes’. We argue that this is a serious cost for her approach. (shrink)

Mental, mathematical, and moral facts are difficult to accommodate within an overall worldview due to the peculiar kinds of properties inherent to them. In this paper I argue that a significant class of social entities also presents us with an ontological puzzle that has thus far not been addressed satisfactorily. This puzzle relates to the location of certain social entities. Where, for instance, are organizations located? Where their members are, or where their designated offices are? Organizations depend on their members (...) for their existence, but the members of an organization can be where the organization is not. The designated office of an organization, however, need be little more than a mailbox. I argue that the problem can be solved by conceptualizing the relation between social entities and non-social entities as one of constitution, a relation of unity without identity. Constituted objects have properties that cannot be reduced to properties of the constituting objects. Thus, my attempt to solve the Location Problem results in an argument in favor of a kind of non-reductive materialism about the social. (shrink)

There are three families of solutions to the traditional Amputation Paradox: Eliminativism, Contingent Identity Theories, and Theories of Coincident Entities. Theories of Coincident Entities challenge our common understanding of the relation between identity and parthood, since they accept that two things can be mereologically coincident without being identical. The contemporary discussion of the Amputation Paradox tends to mention only one theory of Coincident Entities, namely the Constitution View, which violates the mereological principle of Extensionality. But in fact, there is another (...) theory, namely the Unique Part View, which violates another mereological principle. In this paper, I argue that the contemporary focus on the Constitution View is unmotivated, at least when we are confronted with the Amputation Paradox, and that a balanced comparison of the two views should favour the Unique Part View. (shrink)

There is a well-known argument from Leibniz's Law for the view that coincident material things may be distinct. For given that they differ in their properties, then how can they be the same? However, many philosophers have suggested that this apparent difference in properties is the product of a linguistic illusion; there is just one thing out there, but different sorts or guises under which it may be described. I attempt to show that this ‘opacity’ defence has intolerable consequences for (...) the functioning of our language and that the original argument should therefore be allowed to stand. (shrink)

Philosophy and Phenomenological Research, EarlyView.

In this paper, I focus on three issues intertwined in current debates between endurantists and perdurantists—(i) the dimension of persisting objects, (ii) whether persisting objects have timeless, or only time-relative, parts, and (iii) whether persisting objects have proper temporal parts. I argue that one standard endurantist position on the first issue is compatible with standard perdurantist positions on parthood and temporal parts. I further argue that different accounts of persistence depend on the claims about objects' dimensions and not on the (...) auxiliary claims about parthood and temporal parts. (shrink)

The general account of material constitution presented in my article, Spatially Coinciding Objects (Ratio vol. 24.1, June 1982), is further developed. There we saw how distinct objects in the same place at the same time can be strictly ordered by an asymmetrical, transitive relation of material constitution. I show herein how this relation can conceivably form ‘upright trees’ in which one object constitutes two other objects, neither of which constitutes the other. It is, however, impossible to have ‘inverted trees’ in (...) which one thing is constituted by two things neither of which constitutes the other. (This impossibility is implied when supposing that there is just one thing which counts as the proximate matter of a thing.). (shrink)

This paper presents and defends an account of the coincidence of biological organisms with mereological sums of their material components. That is, an organism and the sum of its material components are distinct material objects existing in the same place at the same time. Instead of relying on historical or modal differences to show how such coincident entities are distinct, this paper argues that there is a class of physiological properties of biological organisms that their coincident mereological sums do not (...) have. The account answers some of the most pressing objections to coincidence, for example the so-called grounding problem , that material coincidence seems to require that coinciding objects have modal differences that do not supervene on any other properties. (shrink)

It is argued that those who accept the psychological criterion of personal identity, such as Parfit and Shoemaker, should accept what I call the 'series' view of a person, according to which a person is a unified aggregate of mental events and states. As well as defending this view against objections, I argue that it allows the psychological theorist to avoid the two lives objection which the 'animalist' theorists have raised against it, an objection which causes great difficulties for the (...) conception of a person that most psychological theorists favour, the constitution view. It is also argued that the series view allows that people can body swap and teleport, which the constitution view—which takes a person to be a physical object (but a distinct physical object from the human being)—has great trouble with. (shrink)

It is argued that those who accept the psychological criterion of personal identity, such as Parfit and Shoemaker, should accept what I call the ‘series’ view of a person, according to which a person is a unified aggregate of mental events and states. As well as defending this view against objections, I argue that it allows the psychological theorist to avoid the two lives objection which the ‘animalist’ theorists have raised against it, an objection which causes great difficulties for the (...) conception of a person that most psychological theorists favour, the constitution view. It is also argued that the series view allows that people can body swap and teleport, which the constitution view–which takes a person to be a physical object (but a distinct physical object from the human being)–has great trouble with. (shrink)

The paper addresses various questions about the logical and metaphysical relations between notions of parthood, location and persistence. In particular it argues that the conjunction of mereological extensionalism and multilocation, is highly problematic, if not utterly inconsistent. It thus provides an alternate route to reject multilocation, one that does not rely on Barker and Dowe's well known argument, at least for those who endorse extensionality of parthood. It then argues that other major metaphysical theses such as three-dimensionalism turn out to (...) be at odds with extensionalism. (shrink)

It is sometimes claimed that ordinary objects, such as mountains and chairs, are not material in their own right, but only in virtue of the fact that they are constituted by matter. As Fine puts it, they are “only derivatively material” (2003, 211). In this paper I argue that invoking “constitution” to account for the materiality of things that are not material in their own right explains nothing and renders the admission that these objects are indeed material completely mysterious. Although (...) there may be metaphysical contexts in which mysterianism can be accepted with equanimity, I further argue, the question of the materiality of quotidian objects is not one of them. (shrink)

Metaphysics has enjoyed a vigorous revival in the last few decades. Even so, there has been little ontological interest in the things that we interact with everyday—trees, tables, other people.1 It is not that metaphysicians ignore ordinary things altogether. Indeed, they are happy to say that sentences like ‘The daffodils are out early this year’ or ‘My computer crashed again’ are true. But they take the truth of such sentences not to require that a full description of reality mention daffodils (...) or computers. Many metaphysicians now interpret the apparent variety of things in the world as variety only of concepts applied to things that are basically of the same sort—for example, sums of particles or of temporal parts of particles. (shrink)

A material object is constituted by a sum of parts all of which are essential to the sum but some of which seem inessential to the object itself. Such object/sum of parts pairs include my body/its torso and appendages and my desk/its top, drawers, and legs. In these instances, we are dealing with objects and their components. But, fundamentally, we may also speak, as Locke does, of an object and its constitutive matter—a “mass of particles”—or even of that aggregate and (...) the sum of subatomic particles ‘making it up’. The “problem of material constitution” (henceforth, PMC) is generated by assuming inter alia that the members of any such pair are numerically identical, that is, that the constituted and the constituting are one and the same thing. (shrink)

This unique anthology of new, contributed essays offers a range of perspectives on various aspects of ontic vagueness. It seeks to answer core questions pertaining to onticism, the view that vagueness exists in the world itself. The questions to be addressed include whether vague objects must have vague identity, and whether ontic vagueness has a distinctive logic, one that is not shared by semantic or epistemic vagueness. The essays in this volume explain the motivations behind onticism, such as the plausibility (...) of mereological vagueness and indeterminacy in quantum mechanics and they offer various arguments both for and against ontic vagueness; onticism is also compared with other, competing theories of vagueness such as semanticism, the view that vagueness exists only in our linguistic representation of the world. Gareth Evans’s influential paper of 1978, “Can There Be Vague Objects?” gave a simple but cogent argument against the coherence of ontic vagueness. Onticism was subsequently dismissed by many. However, in recent years, researchers have become aware of the logical gaps in Evans’s argument and this has triggered a new wave of interest in onticism. Onticism is now widely regarded as at least a coherent view. Reflecting this growing consensus, the present anthology for the first time puts together essays that are focused on onticism and its various facets and it fills in the lacuna in the literature on vagueness, a much-discussed subject in contemporary philosophy. (shrink)

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