Unrestricted Composition and Mereological Liberalism

Core Idea

Unrestricted composition (mereological liberalism) permits composition in all cases, yielding many composite objects including fusions of scattered or causally inert parts. Restricted composition limits composition to specific conditions (e.g., spatiotemporal continuity, causal integration, or functional organization), preserving intuitive distinctions between genuine objects and arbitrary collections.

Explainer

You've studied the Special Composition Question — the question of *when* some things compose a further thing — and you've seen the formal tools mereology provides for thinking about part-whole relationships. Now comes the debate over *how to answer* that question. The two main camps are unrestricted composition (mereological liberalism) and restricted composition, and they differ not just in their answers but in what they value in a metaphysical theory.

Unrestricted composition holds that for any objects whatsoever — no matter how scattered, causally disconnected, or intuitively "unrelated" — there exists a mereological fusion: a composite object that has exactly those things as parts. The left shoe on your foot and the Eiffel Tower compose a thing. The Moon, your coffee mug, and the number seven (if numbers are objects) compose a thing. This sounds bizarre, but its defenders — prominently David Lewis — argue it has a major virtue: theoretical simplicity. Unrestricted composition requires no principled line between "real" composites and "mere collections," because it draws no such line at all. Every fusion of parts exists, period. The ontological extravagance is accepted as the price of a clean, exception-free principle.

Restricted composition insists that only some combinations of parts form genuine composite objects. The challenge is stating the restriction without introducing arbitrariness. Why do the atoms in a rock compose a rock, but the Moon and your coffee mug don't compose anything? Proposed restrictions appeal to spatiotemporal continuity (the parts must be adjacent), causal integration (the parts must causally interact in the right ways), or functional organization (the parts must work together to serve a function). Each restriction has intuitive appeal — it captures something about why we're willing to say "there is a chair here" but not "there is a chair-plus-Eiffel-Tower here." But each also faces hard cases: is a dispersed gas cloud one object? What about a swarm of bees?

The stakes are higher than they initially appear. If unrestricted composition is true, ordinary language's ontology is deeply misleading — we speak as if chairs and tables are among the basic furniture of the world, but they're just arbitrary fusions among countless others, no more special than the Eiffel-Tower-plus-coffee-mug. If restricted composition is true, we need a principled account of why *these* fusions exist and others don't — and that account will shape what we say about personal identity (do the parts of a person compose that person under all conditions?), artifact persistence (does a ship repaired plank by plank remain one object?), and the ontology of biological organisms.