Mereology is the formal study of parthood relations — when is one thing part of another, when do parts compose a whole, and what are the identity conditions for composite objects? The Special Composition Question (van Inwagen) asks: under what circumstances do some things compose a further thing? Answers range from nihilism (never — only simples exist) through universalism (always — any collection of objects composes something) to restricted composition (only under special conditions, e.g., life). The answers have implications for personal identity, persistence through time, and the ontology of artifacts.
Work through van Inwagen's Material Beings Part I. Then construct your own answer to the Special Composition Question and test it against the sorites-style objections van Inwagen raises against moderate positions.
From your work on ontological categories, you know that philosophers distinguish fundamental kinds of things: substances, properties, relations, events. Mereology adds a further question specifically about substances: when do multiple things compose a single further unified thing? This is not the same as asking whether two things are related — it asks whether two or more things literally *constitute* a new entity in the ontological inventory, something over and above the things that compose it.
The formal language of mereology is built on a single primitive relation: parthood (x is part of y). From this, we define a family of derived relations. Proper parthood (x is part of y but y is not part of x) captures our intuitive sense that your heart is part of you but you are not part of your heart. Overlap (x and y share at least one common part) is the key relation for understanding when two objects are distinct. A mereological sum of some things is the object composed of exactly those things — it has those things as parts and shares parts with nothing else. Your exposure to naive set theory provides useful intuitions: parthood in mereology is analogous to the subset relation, and mereological sums resemble unions. But the systems differ importantly — set theory posits an empty set and has a stratified membership structure, while classical mereology has no empty object and a flat parthood structure.
The Special Composition Question (van Inwagen's phrase from *Material Beings*) is the organizing problem: for any *xs* whatsoever, under what conditions is there a further thing composed of the *xs*? The question is irreducibly metaphysical — science presupposes that certain objects exist without asking *why* collections of matter constitute unified wholes. Three positions define the logical space. Nihilism says composition never occurs: only partless simples exist, and what we call composite objects are simples arranged in patterns. Universalism says composition always occurs: any collection of objects, however scattered or arbitrary, has a mereological sum. Restricted composition says composition occurs only under certain conditions — biological integration, physical bonding, causal unity — but specifying the conditions without facing sorites-style borderline cases has proven very difficult.
The implications for personal identity and persistence through time are immediate. If you are a composite object — composed of cells, or of temporal parts — then the answer to the composition question partly determines whether you persist through the loss and replacement of your parts. If nihilism is true, you don't strictly exist at all — only the simples that are arranged person-wise do. If universalism is true, you face questions about which mereological sum you *are*, since many overlapping sums coincide with your body. If restricted composition is true, your persistence conditions depend on whatever criterion makes composition possible. Mereology is not an abstract formal exercise: pursued carefully, it is an inquiry into what kind of thing you are.
Topics in reflective domains aren't scored by quiz answers. Read, reflect, and mark when you've thought it through.