A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.

The Special Composition Question

College Depth 87 in the knowledge graph ☐ I know this ☆ Set as goal
4topics build on this
420prerequisites beneath it
See this on the map →
Composition and Principles of Composition in MereologyMereology: Parts and Wholes+1 more→→Mereological NihilismUnrestricted Composition and Mereological Liberalism
composition mereology objects

Core Idea

The Special Composition Question asks: under what conditions do several objects compose a larger object? Possible answers range from never (nihilism) to always (unrestricted composition) to specific conditions (restricted composition). This question is central to debates about the status of ordinary objects in fundamental metaphysics.

How It's Best Learned

Evaluate proposed composition principles against intuitive cases: scattered atoms, parts of a living organism, arbitrary spatiotemporal collections, and artificial artifacts. Consider whether composition answers turn on physics, metaphysics, or semantic conventions.

Common Misconceptions

Dismissing the question as merely verbal or definitional rather than metaphysically substantive. Assuming common sense intuitions clearly resolve the question across different domains.

Explainer

From your study of mereology, you know the basic framework: parts and wholes stand in mereological relations, and the theory of these relations includes principles like transitivity (if A is part of B and B is part of C, then A is part of C) and supplementation (if A is a proper part of B, there is some other part of B that doesn't overlap A). You also know that composition is the relation in which some collection of things jointly make up a larger object. The Special Composition Question (van Inwagen's formulation) asks the fundamental question that mereology itself does not settle: under what conditions does composition actually occur?

The extreme answers set the boundaries of the logical space. Mereological nihilism holds that composition never occurs — there are no composite objects at all, only simples (fundamental particles with no parts). On this view, there is no table in front of you; there are only particles arranged table-wise. The table is a useful fiction. Unrestricted mereological composition holds the opposite — composition always occurs. For any collection of objects whatsoever, however scattered or arbitrary, there is a composite object they compose. There is a genuine object consisting of your left shoe and the moon and a particular electron in the sun. Most people find this wildly counterintuitive, but it has a certain logical elegance and has been defended by David Lewis.

Between the extremes are restricted composition views, which hold that composition occurs under some but not all conditions. Van Inwagen famously proposed that composition only occurs when the parts form a living organism — the cells of your body compose something (you), but arbitrary scattered objects do not compose anything. This principle is revisionary in its own way: it implies tables and chairs do not exist (only the organism-constituting particles do), but it preserves the things we most care about — persons and animals. Other restricted views tie composition to spatial contact, causal integration, functional unity, or constitution by the same material.

The question resists easy resolution because our intuitions point in conflicting directions. We strongly believe tables and chairs exist; we doubt that arbitrary scattered objects compose anything; we are uncertain about borderline cases. What makes this metaphysically serious — rather than merely verbal — is that the correct answer has implications for what exists at the most fundamental level, and therefore for questions in philosophy of mind (do persons exist as composite objects?), ethics (do persons have special status if they are just arrangements of particles?), and philosophy of science (what ontological commitments do our best physical theories carry?). Whether you think the question is resolved by physics, by conceptual analysis, or by pragmatic considerations about how we should talk, it forces a confrontation with what the furniture of reality actually is.

What did you take from this?

Topics in reflective domains aren't scored by quiz answers. Read, reflect, and mark when you've thought it through.

Quiz me anyway →

Prerequisite Chain

Understanding Zero → The Number Zero → Counting to Five → Counting to 10 → Counting to 20 → Counting a Set of Objects Up to 20 → Cardinality: The Last Number Counted → Matching Numerals to Quantities → Subitizing Small Quantities → Addition Within 10 → Number Bonds to 10 → Addition Within 20 → Doubles and Near Doubles → Doubles Facts Within 10 → Near Doubles Facts Within 20 → Mental Math Strategies for Addition → Mental Math: Adding and Subtracting Tens → Addition Within 100 → Repeated Addition as Multiplication → Multiplication as Equal Groups → Multiplication: Arrays → Basic Multiplication Facts (0s, 1s, 2s, 5s, 10s) → Multiplication Facts Within 100 → Division as Equal Sharing → Division as Grouping (Measurement Division) → Division: Grouping (Repeated Subtraction) Model → Division: Fair Sharing Model → Division as Equal Sharing → Division as Grouping → Basic Division Facts → Division Facts Within 100 → Multiplication and Division Fact Families → Relationship Between Multiplication and Division → Division Facts as Inverse of Multiplication → Remainders and Quotients in Division → Division Word Problems → Multi-Step Word Problems → Solving Multi-Step Word Problems → Multiplication Word Problems → Division Word Problems → Introduction to Long Division → Factors and Multiples → Prime and Composite Numbers → Equivalent Fractions → Relating Fractions and Decimals → Decimal Place Value → Integers and the Number Line → Comparing and Ordering Integers → Absolute Value → Adding Integers → Subtracting Integers → Multiplying Integers → Introduction to Exponents → Order of Operations → Integer Order of Operations → Variable Expressions → The Distributive Property → Variables and Expressions Review → Introduction to Polynomials → Adding and Subtracting Polynomials → Multiplying Polynomials → Factorial → Permutations → Combinations → Counting Principles: Addition and Multiplication Rules → Introduction to Graph Theory → Propositional Logic Foundations → Logical Equivalences → Boolean Algebra → Introduction to Propositional Logic → Propositional Connectives → Propositional Semantics and Valuations → Introduction to Deductive Validity → Truth vs. Validity: Why They Differ → Logical Form and Validity → Argument Structure: Premises and Conclusions → Burden of Proof and the Presumption Principle → The Principle of Charity → The Socratic Method → Thought Experiments in Philosophy → What Is Metaphysics? → Ontology and Being → Ontological Categories → Mereology: Parts and Wholes → Composition and Simples → Composition and Principles of Composition in Mereology → Mereological Nihilism → The Special Composition Question

Longest path: 88 steps · 420 total prerequisite topics

Prerequisites (3)

Leads To (2)