Two arguments are offered here for postulating individual essences of concrete individuals on top of their sortal essences. One is the explanatory gap argument, the other draws on the analogy with the individual essences of events presupposed in single causal explanations. These arguments support qualitative individual essences with explanatory goals as opposed to hybrid impure relational essences accounting for origin and numerical identity. It is highlighted why origin properties as parts of impure relational essences do not yield genuine de re (...) constructions. The distinction between the two types of individual essences is traced back to the ambiguity of the very notion of individuation. (shrink)

Meta-ontology (in van Inwagen's sense) concerns the methodology of ontology, and a controversial meta-ontological issue is to what extent ontology can rely on linguistic analysis while establishing the furniture of the world. This paper discusses an argument advanced by some ontologists (I call them unifiers) against supporters of or coincident entities (I call them multipliers) and its meta-ontological import. Multipliers resort to Leibniz's Law to establish that spatiotemporally coincident entities a and b are distinct, by pointing at a predicate F (...) () made true by a and false by b . Unifiers try to put multipliers in front of a dilemma: in attempting to introduce metaphysical differences on the basis of semantic distinctions, multipliers either (a) rest on a fallacy of verbalism, entailed by a trade-off between a de dicto and a de re reading of modal claims, or (b) beg the question against unifiers by having to assume the distinction between a and b beforehand. I shall rise a tu quoque, showing that unifiers couldn't even distinguish material objects (or events) from the spatiotemporal regions they occupy unless they also resorted to linguistic distinctions. Their methodological aim to emancipate themselves from linguistic analysis in ontological businesses is therefore problematic. (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)

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

The distinction between essential versus accidental properties has been characterized in various ways, but it is currently most commonly understood in modal terms: an essential property of an object is a property that it must have, while an accidental property of an object is one that it happens to have but that it could lack. Let’s call this the basic modal characterization, where a modal characterization of a notion is one that explains the notion in terms of necessity/possibility. In the (...) characterization just given of the distinction between essential and accidental properties, the use of the word “must” reflects the fact that necessity is invoked, while the use of the word “could” reflects that possibility is invoked. The notions of necessity and possibility are interdefinable: to say that something is necessary is to say that its negation is not possible; to say that something is possible is to say that its negation is not necessary; to say that an object must have a certain property is to say that it could not lack it; and to say that an object could have a certain property is to say that it is not the case that it must lack it. (shrink)

Whether certain objects compose a whole at a given time does not seem to depend on anything other than the character of those objects and the relations between them. This observation suggests a far-reaching constraint on theories of composition. One version of the constraint has been explicitly adopted by van Inwagen and rules out his own answer to the composition question. The constraint also rules out the other well-known moderate answers that have so far been proposed.

Philosophical questions concerning parts and wholes have received a tremendous amount of the attention of contemporary analytic metaphysicians. In what follows, I discuss some of the central questions. The questions to be discussed are: how general is parthood? Are there different kinds of parthood or ways to be a part? Can two things be composed of the same parts? When does composition occur? Can material objects gain or lose parts? What is the logical form of the parthood relation enjoyed by (...) material objects? (shrink)

According to standard, pre-philosophical intuitions, there are many composite objects in the physical universe. There is, for example, my bicycle, which is composed of various parts - wheels, handlebars, molecules, atoms, etc. Recently, a growing body of philosophical literature has concerned itself with questions about the nature of composition.1 The main question that has been raised about composition is, roughly, this: Under what circumstances do some things compose, or add up to, or form, a single object? It turns out that (...) it is surprisingly difficult to give a satisfactory answer to this question that accords with standard, pre-philosophical intuitions about the universe's composite objects. In fact, the three rival views in response to this question that have received the most support in the literature are (i) that there are no objects composed of two or more parts (which means that there are no stars, chairs, humans, or bicycles);2 (ii) that the only objects composed of two or more parts are living organisms (which still means no stars. (shrink)

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)

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

A critical survey of the main metaphysical theories concerning the nature of material objects (substratum theories, bundle theories, substance theories, stuff theories) and their identity conditions, both synchronic (monist vs. pluralist theories) and diachronic (three-dimensionalism, four-dimensionalism, sequentialism).

In his excellent book, Four-Dimensionalism: An Ontology of Persistence and Time (Sider, 2001), Theodore Sider defends a version of four-dimensionalism which he calls the ‘stage-theory’. This paper focuses on Sider's argument from vagueness and argues that, due to the problematic nature of the argument from vagueness, Sider’s case in favor of four-dimensionalism is in the end not successful.

Considering topology as an extension of mereology, this paper analyses topological variants of mereological essentialism (the thesis that an object could not have different parts than the ones it has). In particular, we examine de dicto and de re versions of two theses: (i) that an object cannot change its external connections (e.g., adjacent objects cannot be separated), and (ii) that an object cannot change its topological genus (e.g., a doughnut cannot turn into a sphere). Stronger forms of structural essentialism, (...) such as morphological essentialism (an object cannot change shape) and locative essentialism (an object cannot change position) are also examined. (shrink)

Dion is a full-bodied man. Theon is that part of him which consists of all of him except his left foot. What becomes of Dion and Theon when Dion’s left foot is amputated? In Burke 1994, employing the doctrine of sortal essentialism, I defended a surprising position last defended by Chrysippus: that Dion survives while the seemingly unscathed Theon perishes. This paper defends that position against objections by Stone, Carter, Olson, and others. Most notably, it offers a novel, conservative solution (...) to the many-thinkers problem, a solution that enables us to accept the existence of brain-containing person-parts while denying that those person-parts are thinking, conscious beings. (shrink)

Trust me: my chair isn't big enough for two. You may doubt that every rational, conscious being is a person; perhaps there are beings that mistakenly believe themselves to be people. If so, read ‘rational, conscious being’ or the like for 'person'.

Do pregnant mothers have fetuses as parts? According to the “parthood view” they do, while according to the “containment view” they don’t. This paper raises a novel puzzle about pregnancy: if mothers have their fetuses as parts, then wherever there is a pregnant mother, there is also a smaller thinking being that has every part of the mother except for those that overlap with the fetus. This problem resembles a familiar overpopulation puzzle from the personal identity literature, known as the (...) “Thinking Parts Problem”, but it’s not merely a special case of that problem. Rather, the fact that late-term fetuses have a mental life of their own makes the Problem of Pregnant Thinkers, as I will call it, a sui generis and especially recalcitrant problem. (shrink)

The phasalist solution to the classic puzzle of the statue and the piece of clay only works for some coincidence puzzles and not others. To address this limitation of phasalism, I develop a novel approach to coincidence puzzles that permits different kinds of coincidence puzzles to be solved in different ways, provided that each solution satisfies certain constraints inspired by the phasalist solution to the statue puzzle. I apply my approach to four different kinds of coincidence puzzles, and I argue (...) that it is no less plausible than rival approaches in the literature. (shrink)

Various cases of conjoined twinning have been presented as problems for the animalist view that we are animals. In some actual and possible cases of human dicephalus that have been discussed in the literature, it is arguable that there are two persons but only one human animal. It is also tempting to believe that there are two persons and one animal in possible instances of craniopagus parasiticus that have been described. Here it is argued that the animalist can admit that (...) these are cases in which human persons are not animals, without forfeiting the title “animalist.” It is also shown that this is not only an option but also a well-motivated and plausible option for the animalist. Seeing this requires getting clear on what the word “we” should be thought to include in the animalist's claim that we are animals. Here animalism is defended against twinning objections by figuring out how to view the scope of the animalist's identity claim. (shrink)

Many philosophers believe that the criteria of identity over time for ordinary objects entail that such objects are permanent members of certain sortal kinds. The sortal kinds in question have come to be known as substance sortal kinds. But in this article, I defend a criterion of identity that is suited to phasalism, the view that alleged substance sortals are in fact phase sortals. The criterion I defend is a sortal‐weighted version of a change‐minimizing criterion first discussed by Eli Hirsch. (...) I present this criterion and then argue that it withstands attempts to show that it is inferior to non‐phasalist rivals. (shrink)

Personites are like continuant people but shorter-lived. Johnston argues that personites do not exist since otherwise personites would have the same moral status as persons, which is untenable. I argue that Johnston’s arguments fail. To do that I propose an alternative way to understand intrinsicness and I clarify the meaning of reductionism about persons. I also argue that a plausible ethical theory is possible even if personites have the same moral status as persons. My arguments draw on Johnston’s earlier debate (...) with Parfit about personal identity and the place of ordinary concerns in a naturalistic world. I also describe an important but metaphysics-free problem that arises from Johnston’s discussion. (shrink)

It is widely held that every person is a person essentially, where being a person is having special mental properties such as intelligence and self-consciousness. It follows that nothing can acquire or lose these properties. The paper argues that this rules out all familiar psychological-continuity views of personal identity over time. It also faces grave difficulties in accounting for the mental powers of human beings who are not intelligent and self-conscious, such as foetuses and those with dementia.

The concept of concrete and abstract entities relates to an ontological specification problem, described by Plato’s Sophist concept of the Gods and Giants and their interpretation of metaphysical reality. Developing an ontology without considering the full metaphysical implications leaves conceptual gaps in the creation of events, change in states and management of thoughts, plans and deceptions. This paper seeks to resolve conceptual gaps in the field of cyberspace representation, enabling both ontological interoperability and the development of more complex artificial intelligence (...) technologies. The beginnings of a new meta-ontology for cyberspace are proposed, based on Stoic metaphysics. A meta-ontology provides high-level construction of meaning, upon which more specific ontologies can be built. Coherence between ontologies is important because cyberspace is a contextually dependent knowledge space within the broader infosphere, with many interdependent concepts. This paper enhances the potential for ontological interoperability and transparency between users, human or machine. (shrink)

In the region where some cat sits, there are many very cat-like items that are proper parts of the cat (or otherwise mereologically overlap the cat) , but which we are inclined to think are not themselves cats, e.g. all of Tibbles minus the tail. The question is, how can something be so cat-like without itself being a cat. Some have tried to answer this “Problem of the Many” (a problem that arises for many different kinds of things we regularly (...) encounter, including desks, persons, rocks, and clouds) by relying on a mereological maximality principle, according to which, something cannot be a member of a kind K if it is a large proper part of, or otherwise greatly mereologically overlaps, a K. It has been shown, however, that a maximality constraint of this type, i.e. one that restricts mereological overlap, is open to strong objections. Inspired by the insights of, especially, Sutton and Madden, I develop a type of functional-maximality principle that avoids these objections (and has other merits), and thereby provides a better answer to the Problem of the Many. (shrink)

Are grounding claims fully general in character? If an object a is F in virtue of being G, does it follow that anything that’s G is F for that reason? According to the thesis of Weak Formality, the answer here is ‘yes’. In this paper, however, I argue that there is philosophical utility in rejecting this thesis. More exactly, I argue that two currently unresolved problems in contemporary metaphysics can be dealt with if we hold that there can be cases (...) of ‘kind-dependent grounding’, the key thought being that once we allow for such cases, we must also accept that Weak Formality is false. (shrink)

When we think about ethics, we normally focus on a particular sort of agent: the individual person. Some philosophers have argued that we should rethink the limits of what counts as an ethically relevant unit of agency by expanding outward, and claiming that groups of people can have normative reasons for action. In this paper, I explore whether we can go in the other direction. Are there sub‐personal beings who count as agents with their own reasons for action? In particular, (...) might the temporal parts of persons, beings like “me‐in‐my‐twenties,” be thought of as normative agents? This idea, I argue, has deep attractions, and deep, but surmountable, challenges. And if we do accept this idea, I argue, this can indirectly help to support the case for thinking that groups can have reasons for action. (shrink)

The ancient puzzle of Dion and Theon has given rise to a surprising array of apparently implausible views. For example, in order to solve the puzzle, several philosophers have been led to deny the existence of their own feet, others have denied that objects can gain and lose parts, and large numbers of philosophers have embraced the thesis that distinct objects can occupy the same space, having all their material parts in common. In this paper, I argue for an alternative (...) approach: I claim that human beings have ordinary parts—hands, heads, feet, and so on—but no extraordinary parts, such as ‘foot-complements’, the existence of which is essential to the puzzle. I rebut three objections to this approach: an objection that it is unacceptably metaphysically arbitrary, an objection that the view is incompatible with versions of the puzzle involving decapitation, and an objection concerning masses of matter. If we can believe that there are such things as hands and feet without involving ourselves in paradox, and without accepting large numbers of co-located material objects that share all their material parts, then that is what we should do. My view is the only known alternative which allows this. (shrink)

This paper is concerned with the paradox of decrease. Its aim is to defend the answer to this puzzle that was propounded by its originator, namely, the Stoic philosopher Chrysippus. The main trouble with this answer to the paradox is that it has the seemingly problematic implication that a material thing could perish due merely to extrinsic change. It follows that in order to defend Chrysippus’ answer to the paradox, one has to explain how it could be that Theon is (...) destroyed by the amputation without changing intrinsically. In this paper, I shall answer this challenge by appealing to the broadly Aristotelian idea that at least some of the proper parts of a material substance are ontologically dependent on that substance. I will also appeal to this idea in order to offer a new solution to the structurally similar paradox of increase. In this way, we will end up with a unified solution to two structurally similar paradoxes. (shrink)

In Sections 1–7, I provide a detailed description of some of the advantages of theistic modal realism. The aim is to show specifically how theistic modal realism solves many of the intractable problems of philosophical theology. A detailed description of all of the advantages would require a much longer treatment. The aim is to give a good sense of the theoretical benefits that theistic modal realism affords traditional theists. I offer some concluding remarks in Section 8.

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 argue that metaphysical views of material objects should be understood as 'packages', rather than individual claims, where the other parts of the package include how the theory addresses 'recalcitant data', and that when the packages meet certain general desiderata - which all of the currently competing views *can* meet - there is nothing in the world that could make one of the theories true as opposed to any of the others.

Among your closest associates is a certain human animal – a living, breathing, organism. You see it when you look in the mirror. When it is sick, you don't feel too well. Where it goes, you go. And, one thinks, where you go, it must follow. Indeed, you can make it move through sheer force of will. You bear, in short, an important and intimate relation to this, your animal. So too rest of us with our animals. Animalism says that (...) this relation is nothing short of identity. According to animalists, we do not only coincide with or constitute or inhabit or otherwise hang out with these close associates, our animals: we are them. In this article, I offer an opinionated take on what animalism might be and situate it against contemporary rivals. Then, I outline a simple case for animalism. Finally, I sketch non-standard routes for animalists to take in light of standard challenges. My goal in all of this is to open up some new avenues of animalist thinking. (shrink)

The Problem of Overlappers is a puzzle about what makes it the case, and how we can know, that we have the parts we intuitively think we have. In this paper, I develop and motivate an overlooked solution to this puzzle. According to what I call the self-making view it is within our power to decide what we refer to with the personal pronoun ‘I’, so the truth of most of our beliefs about our parts is ensured by the very (...) mechanism of self-reference. Other than providing an elegant solution to the Problem of Overlappers, the view can be motivated on independent grounds. It also has wide-ranging consequences for how we should be thinking about persons. Among other things, it can help undermine an influential line of argument against the permissibility of elective amputation. After a detailed discussion and defence of the self-making view, I consider some objections to it. I conclude that none of these objections is persuasive and we should at the very least take seriously the idea that we are to some extent self-made. (shrink)

Material objects extend through space by having different spatial parts in different places. But how do they persist through time? According to some philosophers, things have temporal parts as well as spatial parts: accepting this is supposed to help us solve a whole bunch of metaphysical problems, and keep our philosophy in line with modern physics. Other philosophers disagree, arguing that neither metaphysics nor physics give us good reason to believe in temporal parts.

Hylomorphism claims that structure is a basic ontological and explanatory principle; it accounts for what things are and what they can do. My goal is to articulate a metaphysic of hylomorphic structure different from those currently on offer. It is based on a substance-attribute ontology that takes properties to be powers and tropes. Hylomorphic structures emerge, on this account, as powers to configure the materials that compose individuals.

Standard animalists are committed to a stringent form of restricted composition, thereby denying the existence of brains, hands, and other proper parts of an organism . One reason for positing this near-nihilistic ontology comes from various challenges to animalism such as the Thinking Parts Argument, the Unity Argument, and the Argument from the Problem of the Many. In this paper, I show that these putatively distinct arguments are all instances of a more general problem, which I call the ‘Too Many (...) Candidates Problem’ . Given my formulation of the problem, it is evident that standard animalists are mistaken in believing that restricting composition is the only solution. I show that there is another option for solving the TMC. The advantage of such a position, which I call ‘unrestricted animalism’, is that it is compatible with unrestricted composition and the existence of brains and other proper parts of an organism. I conclude by sketching several strategies one can take regarding this latter solution to the TMC. (shrink)

In some sense, survival seems to be an intrinsic matter. Whether or not you survive some event seems to depend on what goes on with you yourself —what happens in the environment shouldn’t make a difference. Likewise, being a person at a time seems intrinsic. The principle that survival seems intrinsic is one factor which makes personal fission puzzles so awkward. Fission scenarios present cases where if survival is an intrinsic matter, it appears that an individual could survive twice over. (...) But it’s well known that standard notions of “intrinsicality” won’t do to articulate the sense in which survival is intrinsic, since ‘personhood’ appears to be a maximal property. We formulate a sense in which survival and personhood (and perhaps other maximal properties) may be almost intrinsic—a sense that would suffice, for example, to ground fission arguments. It turns out that this notion of almost-intrinsicality allows us to formulate a new version of the problem of the many. (shrink)

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)

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)

Being conscious is intrinsic. Suppose P, a conscious human being, “shrinks” by losing an atom from her left index finger. Suppose that at the very first instant at which P has lost that atom, the atoms that then compose her remain just as they were immediately before “the loss.” This implies—assuming MS for reductio—that, just as those atoms compose a conscious object after the loss, so they composed a conscious object before the loss. Name that latter object ‘the atom-complement’.

A recent solution to the Body-Minus problem, which is a problem of material constitution, claims that ordinary proper parts (such as left feet) exist, but the complements of these objects (such as left-foot complements) do not exist. In this paper, I examine a defense of this solution from the worry of arbitrariness and from its ineffectiveness against a revised version of the problem that focuses on the head, and I show that this defense fails.

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

Here is a puzzle from the Stoic, Chrysippus: There was once a man called Dion, who was unfortunate enough to have his foot annihilated. Thereafter, he was known as Theon. Theon is identical to what was left over after Dion’s foot was removed. That is, Theon is that part of Dion that does not include his foot. If all this is true, then Theon is a proper part of Dion. That is, he is a part of Dion, but not identical (...) to Dion. But if that’s right, then, surprisingly, Dion didn’t survive the loss of his foot. (shrink)

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)

It may soon be possible for neurotechnology to connect two subjects' brains such that they share a single token mental state, such as a feeling of pleasure or displeasure. How will our moral frameworks have to adapt to accommodate this prospect? And if this sort of mental-state-sharing might already obtain in some cases, how should this possibility impact our moral thinking? This question turns out to be extremely challenging, because different examples generate different intuitions: If two subjects share very few (...) mental states, then it seems that we should count the value of those states twice, but if they share very many mental states, then it seems that we should count the value of those statesonce. We suggest that these conflicting intuitions can be reconciled if the mental states that matter for welfare have a holistic character, in a way that is independently plausible. We close by drawing tentative conclusions about how we ought to think about the moral significance of shared mental states. (shrink)

Classical mereology (CM) is usually taken to be formulated in a tenseless language, and is therefore associated with a four-dimensionalist metaphysics. This paper presents three ways one might integrate the core idea of flat plenitude, i.e., that every suitable condition or property has exactly one mereological fusion, with a tensed logical setting. All require a revised notion of mereological fusion. The candidates differ over how they conceive parthood to interact with existence in time, which connects to the distinction between endurance (...) and perdurance. Similar issues arise for the integration of mereology with modality, and much of our discussion applies to this project as well. (shrink)