Properties come in clusters. It seems impossible, for instance, that a mass could float free, unattached to any other property. David Armstrong takes this as a reductio of the bundle theory and an argument for substrata, while Peter Simons and Arda Denkel reply by supplementing the bundle theory with accounts of property interdependencies. I argue against both views. Virtually all plausible ontologies turn out to be committed to the existence of free masses.

Properties come in clusters. It seems impossible, for instance, that a mass could float free, unattached to any other property. David Armstrong takes this as a reductio of the bundle theory and an argument for substrata, while Peter Simons and Arda Denkel reply by supplementing the bundle theory with accounts of property interdependencies. I argue against both views. Virtually all plausible ontologies turn out to be committed to the existence of free masses. I develop and defend the view that the (...) clustering of properties is a mere contingent truth, on grounds that properties can be subtracted one‐by‐one. This opens the door not just to the (unsupplemented) bundle theory, but also to any plausible account of the relation between objects and properties. (shrink)

Gonzalo Rodriguez-Pereyra (1997) has refined an argument due to Thomas Baldwin (1996), which claims to prove nihilism, the thesis that there could have been no concrete objects, and which apparently does so without reliance on any heavy-duty metaphysics of modality. This note will show that on either reading of its key premiss, the subtraction argument Rodriguez-Pereyra proposes is invalid. [A sequel to this paper, 'The Subtraction Argument(s)', was published in Dialectica in 2006.].

The subtraction argument aims to show that there is an empty world, in the sense of a possible world with no concrete objects. The argument has been endorsed by several philosophers. I show that there are currently two versions of the argument around, and that only one of them is valid. I then sketch the main problem for the valid version of the argument.