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

Composition and Simples

College Depth 84 in the knowledge graph I know this Set as goal
21topics build on this
416prerequisites beneath it
See this on the map →
Mereology: Parts and WholesOntological CategoriesCollective and Distributive PropertiesComposition and Principles of Composition in Mereology+4 more
composition simples van Inwagen nihilism universalism special composition question

Core Idea

The Special Composition Question asks: under what conditions do some objects compose a further object? Mereological universalism answers 'always' — any collection of objects, however scattered, composes something (your left shoe and the Eiffel Tower compose an object). Mereological nihilism answers 'never' — strictly speaking, there are only mereological simples (partless entities) arranged in various ways, and what we call tables and chairs are just simples arranged table-wise or chair-wise. Van Inwagen's moderate answer is that composition occurs only when the activity of some objects constitutes a life — so organisms exist as genuine composites but artifacts do not. The question of simples is equally vexing: must simples be point-sized, or can they be extended? Could the material world bottom out in 'atomless gunk,' with every part having further proper parts?

How It's Best Learned

Read van Inwagen's Material Beings chapters 2-4 for the Special Composition Question and his life-based answer. Then read Sider's 'Against Parthood' for a deflationary approach. Test each view against ordinary judgments: does your theory say tables exist? Should it?

Common Misconceptions

Explainer

From mereology basics you know the fundamental framework: objects can stand in part-whole relations, and we can ask formal questions about overlap, proper parts, and mereological sums. Now the question becomes substantive rather than formal: when, if ever, do some objects actually compose a further object? This is the Special Composition Question, and the answers philosophers have given range from the radical to the commonsensical.

Mereological universalism says: always. Whenever you have any collection of objects whatsoever — your left thumb, the Eiffel Tower, a photon in the Andromeda galaxy — they compose a mereological sum. There is an object that has exactly these things as its parts. This view has the advantage of formal elegance: you never have to worry about when composition "kicks in" because it never doesn't. But it multiplies entities dramatically. On universalism, the material world contains an astronomical number of objects that no one would ordinarily recognize — arbitrary scattered sums with no causal unity, no natural boundary, no interesting properties over and above those of the parts. Most people feel this proves too much: the world seems stuffed with metaphysical junk. The universalist response is that this "junk" doesn't actually burden us — it's ontologically harmless, positing no causal powers beyond what the parts already have.

Mereological nihilism takes the opposite extreme: composition never occurs. What we call tables, chairs, mountains, and people are not genuine single objects — they are simples arranged in various ways (table-wise, chair-wise, mountain-wise, person-wise). The only things that truly exist are mereological simples: objects with no proper parts. When you see a chair, you are really perceiving a vast arrangement of simples whose collective properties produce the appearance of a unified object. Nihilism has its own appeal: it is ontologically parsimonious, avoids puzzles about identity and persistence of composites, and sidesteps questions like "does a table survive losing a leg?" (There is no table, only simples.) The cost is revisionary: ordinary talk about chairs and people is strictly false, or at best a convenient fiction.

Peter van Inwagen's moderate view sits between these extremes. His answer to the Special Composition Question: composition occurs if and only if the activity of the parts constitutes a life. Organisms are genuine composite objects — a living body is not merely simples arranged organism-wise, but a real thing whose parts are integrated by biological processes. Artifacts like tables and ships are not genuine composites. Van Inwagen thus preserves persons (crucial for his broader project about personal identity) while rejecting the clutter of arbitrary composites. The view is philosophically motivated but strikes many as ad hoc: why should biology be the cut-off? Why not chemistry (molecules as composites) or physics (atoms)?

The question of simples is equally puzzling. Simples are supposed to be the bottom level — things with no proper parts. But what could a partless thing be like? If it is physically extended, can't we ask about its left and right halves? Physics suggests no fundamental partless particles, since quarks may be structured and even particles have quantum fields. The disturbing possibility is atomless gunk: matter all the way down, where every part has further proper parts and there is no bottom level of simples. If gunk is metaphysically possible, then the entire framework of "build complex objects from simples" is not necessarily how the world is structured. The Special Composition Question and the question of simples are thus deeply entangled: what composition is depends partly on what the fundamental constituents are.

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 Simples

Longest path: 85 steps · 416 total prerequisite topics

Prerequisites (2)

Leads To (6)