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.
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?
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.
Topics in reflective domains aren't scored by quiz answers. Read, reflect, and mark when you've thought it through.