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

Bundle Theory of Objects

College Depth 86 in the knowledge graph ☐ I know this ☆ Set as goal
3topics build on this
466prerequisites beneath it
See this on the map →
Substance and PropertyUniversals and Particulars→→Trope Theory
bundle theory substance bare particulars Hume identity

Core Idea

Bundle theory holds that ordinary objects are nothing but bundles or clusters of properties — there is no bare substratum 'underneath' the properties that owns them. Hume is an ancestor of this view; Russell and Ayer developed more precise versions. If objects are bundles, then two objects with all the same properties would be identical (the identity of indiscernibles). Critics press the question of what binds the properties together into one bundle rather than many, and whether compresence is a genuine relation or simply deferred mystery.

How It's Best Learned

Compare bundle theory directly to substratum theory using Max Black's thought experiment of two qualitatively identical spheres in an otherwise empty universe. Does bundle theory force us to say they are the same object?

Common Misconceptions

Explainer

From your study of universals and particulars, you know the basic metaphysical puzzle: objects seem to have properties, yet the object and its properties appear to be different kinds of things. A red apple is not the same as redness — the apple is a particular individual, while redness is a universal that can be shared across many things. From substance and property, you know the traditional answer: objects are substances — underlying subjects that *bear* or *instantiate* their properties. The red apple, on this view, has a substratum that "holds" the redness, the roundness, the sweetness together into one unified thing. Bundle theory challenges this picture by asking a pointed question: what exactly is this substratum, considered apart from all properties?

Hume pressed this question with characteristic skepticism. Strip away every property from an object — its color, shape, mass, texture, position — and try to conceive what remains. According to the substratum view, something remains: the bare particular that owned all those properties. But Hume argued we have no coherent concept of this residue; whenever we introspect on any object, we find only qualities, never a naked bearer. Bundle theory takes this seriously by eliminating the substratum altogether. An object just *is* a bundle of properties — a cluster held together by a relation called compresence (simultaneous co-instantiation at the same location). There is no extra ingredient, no "glue" over and above the properties themselves.

This position has an elegant parsimony, but it generates a sharp challenge from Max Black's thought experiment: imagine a universe containing nothing but two qualitatively identical spheres — same size, same mass, same color, the same in every property. If objects are nothing but bundles of properties, and these two spheres share all their properties, are they the same object? Bundle theory seems forced to say yes — two bundles with identical contents are the same bundle. But clearly, Black insists, there are *two* spheres, not one. This is the problem of the identity of indiscernibles: bundle theory appears to entail that qualitative identity implies numerical identity, which seems false.

Bundle theorists have several responses. They can include relational or spatiotemporal properties in the bundle — the spheres differ in that one is *two meters from the other sphere*, which the second is not (it is two meters from *the first*). But this invites the objection that it makes identity dependent on relations to other objects. Alternatively, bundle theorists can bite the bullet and accept that Black's spheres would indeed be one object in a world with literally no distinguishing properties — treating this as a coherent if surprising consequence rather than a refutation. The deeper issue is whether compresence — what holds a bundle together — can do this work without itself being a kind of hidden substratum. If you need a relation to bind the properties, and that relation is not itself in the bundle, you may have smuggled the substratum back in under a different name.

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 → Introduction to Predicate Logic (First-Order Logic) → First-Order Logic Syntax → ZFC Axioms Overview → Axiom Schema of Separation → Axiom Schema of Replacement → Von Neumann Ordinals → Hereditarily Finite Sets → Recursive Definitions on Finite Sets → Well-Founded Relations and Transfinite Recursion → The Axiom of Choice and Equivalent Formulations → Axiom of Choice → Well-Ordering Theorem → Infinite Cardinal Numbers → Cantor's Theorem → Set-Theoretic Cardinality → Universals and Particulars → Bundle Theory of Objects

Longest path: 87 steps · 466 total prerequisite topics

Prerequisites (2)

Leads To (1)