Wednesday, October 7, 2026

Six-dimensional universalism

Four-dimensional mereological universalism has been proposed as a way of letting ordinary objects into our ontology. If all pluralities have a fusion, one should expect a fusion of simples (or maybe time-slices of simples or something like that) that exactly correspond to the four-dimensional career of a chair, a horse, and an oak tree. But then some philosophers started taking seriously the observation that it’s not enough to have a fusion of the simples in an oak to have an oak. For the fusion of simples may not have the same modal properties as the oak. This led to what I call five-dimensional mereological univeralism. Say that a modal profile is a function that assigns to each world an empty or non-empty collections of simples (or time-slices of simples, etc.)

The five-dimensionalist mereologist then holds that for any modal profile that has at least one non-empty assignment there exists an object that matches that profile—an object that exists in all and only the worlds that the assignment assigns a non-empty set to, and in these worlds is a fusion of the simples in the assigned set.

I just realized another thing. The ordinary objects that the universalist wants to have in their ontology include artifacts like tables and ships. The vagueness of artifacts is deeply embedded into our thinking about them. While we could become convinced of the idea (indeed, I am convinced of it) that living things have souls, and the metaphysics of the relationship of these souls to bodies ensures that living things have non-vague spatial, temporal and modal boundaries, the analogous thesis for tables and ships seems much harder to swallow.

But now modal profiles are sharp. Thus, to model the vagueness of artifacts, we not only need every modal profile to be be filled, but we need every non-trivial vagueness profile to be filled. What’s a vagueness profile filled by a possible object x? To a first approximation, it’s a set of modal profiles, so that an object x has vagueness profile V if and only if it is definite that x fits some profile in V, and definite that x does not fit any profile outside V, and for any profile in V it’s vague or definite that x fits that profile. In other words, for mereological universalism to save all of our common sense about ordinary objects, it needs to be a six-dimensional universalism.

But six-dimensional universalism is crazy. Consider the vagueness profile R corresponding to Rover the dog in England and the vagueness profile F corresponding to Felix the cat in Canada. Then take their union: R ∪ F. If this vagueness profile is filled, it’s filled by an entity such that it is vague that it barks and vague that it meows, but definite that it clearly barks or clearly meows. En entity such that it is vague that it is in England and vague that it is wholly in Canada, but definite that it is in exactly one of England and Canada. And so on.

(Things are even worse if theism is true. Take God’s vagueness profile and mine. The union of these two profiles would be filled by an entity that is vaguely divine and vaguely a sinner.)

So, the argument goes like this. Mereological universalism only fully saves common sense if it is extended to six-dimensional universalism. The latter is absurd. So we’re not going to fully save common sense by going universalist.

I suppose one might be satisfied with stopping at five dimensions, at modal profiles, and ignoring our judgments of vagueness about artifacts. Maybe.

No comments: