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 ParticularsTrope 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 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 LogicIntroduction to Predicate Logic (First-Order Logic)First-Order Logic SyntaxZFC Axioms OverviewAxiom Schema of SeparationAxiom Schema of ReplacementVon Neumann OrdinalsHereditarily Finite SetsRecursive Definitions on Finite SetsWell-Founded Relations and Transfinite RecursionThe Axiom of Choice and Equivalent FormulationsAxiom of ChoiceWell-Ordering TheoremInfinite Cardinal NumbersCantor's TheoremSet-Theoretic CardinalityUniversals and ParticularsBundle Theory of Objects

Longest path: 87 steps · 466 total prerequisite topics

Prerequisites (2)

Leads To (1)