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 moreMereological 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 ZeroThe Number ZeroCounting to FiveCounting to 10Counting to 20Counting a Set of Objects Up to 20Cardinality: The Last Number CountedMatching Numerals to QuantitiesSubitizing Small QuantitiesAddition Within 10Number Bonds to 10Addition Within 20Doubles and Near DoublesDoubles Facts Within 10Near Doubles Facts Within 20Mental Math Strategies for AdditionMental Math: Adding and Subtracting TensAddition Within 100Repeated Addition as MultiplicationMultiplication as Equal GroupsMultiplication: ArraysBasic Multiplication Facts (0s, 1s, 2s, 5s, 10s)Multiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Multiplication and Division Fact FamiliesRelationship Between Multiplication and DivisionDivision Facts as Inverse of MultiplicationRemainders and Quotients in DivisionDivision Word ProblemsMulti-Step Word ProblemsSolving Multi-Step Word ProblemsMultiplication Word ProblemsDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueIntegers and the Number LineComparing and Ordering IntegersAbsolute ValueAdding IntegersSubtracting IntegersMultiplying IntegersIntroduction to ExponentsOrder of OperationsInteger Order of OperationsVariable ExpressionsThe Distributive PropertyVariables and Expressions ReviewIntroduction to PolynomialsAdding and Subtracting PolynomialsMultiplying PolynomialsFactorialPermutationsCombinationsCounting Principles: Addition and Multiplication RulesIntroduction to Graph TheoryPropositional Logic FoundationsLogical EquivalencesBoolean AlgebraIntroduction to Propositional LogicPropositional ConnectivesPropositional Semantics and ValuationsIntroduction to Deductive ValidityTruth vs. Validity: Why They DifferLogical Form and ValidityArgument Structure: Premises and ConclusionsBurden of Proof and the Presumption PrincipleThe Principle of CharityThe Socratic MethodThought Experiments in PhilosophyWhat Is Metaphysics?Ontology and BeingOntological CategoriesMereology: Parts and WholesComposition and SimplesComposition and Principles of Composition in MereologyMereological NihilismThe Special Composition Question

Longest path: 88 steps · 420 total prerequisite topics

Prerequisites (3)

Leads To (2)