In search of real parthood

In contemporary mereology, it is usual to have two parthood relations: parthood and proper parthood. On this orthodoxy, it is trivially true that each thing is a part of itself and that nothing can be a proper part of itself.

I feel that this orthodoxy has failed to identify the truly fundamental mereological relation.

If it is trivial that each thing is a part of itself, then that suggests that parthood is a disjunctive relation: x is a part of y if and only if x = y or x is a part^* of y, where parthood^* is a more fundamental relation. But what then is parthood^*? It is attractive to identify it with proper parthood. But if we do that, we can now turn to the trivial claim that nothing can be a proper part of itself. The triviality of this claim suggests that proper parthood is a conjunctive property, namely a conjunction of distinctness with some parthood^† relation. And on pain of circularity, parthood^† is not just parthood.

In other words, I find it attractive to think that there is some more fundamental relation than either of the two relations of contemporary mereology. And once we have that more fundamental relation, we can define contemporary mereological parthood as the disjunction of the more fundamental relation with identity and contemporary mereological proper parthood as the conjunction of the more fundamental relation with distinctness.

But I am open to the possibility that the more fundamental relation just is one of parthood and proper parthood, in which case the claim that everything is a part of itself or the claim that nothing is a part of itself is respectively non-trivial.

I will call the more fundamental relation “real parthood”. It is a relation that underlies paradigmatic instances of proper parthood. And now genuine metaphysical questions open up about identity, distinctness and real parthood. We have three possibilities:

1. Necessarily, each thing is a real part of itself.

2. Necessarily, nothing is a real part of itself.

3. Possibly something is a real part of itself and possibly something is not a real part of itself.

If (1) is true, then real parthood is necessarily coextensive with contemporary mereological parthood. If (2) is true, then real parthood is necessarily coextensive with contemporary mereological proper parthood.

My own guess is that if there is such a thing as parthood at all, then (3) is true.

For the more fundamental a relation, the more I want to be able to recombine where it holds. Why shouldn’t God be able to induce the relation between two distinct things or refuse to induce it between a thing and itself? And it’s really uncomfortable to think that whatever the real parthood relation is, God has to be in that relation to himself.

Perhaps, though, the real parthood relation is a kind of dependency relation. If so, then since nothing can be dependent on itself, we couldn’t have a thing being a real part of itself, and real parthood would be coextensive with proper parthood.

All this is making me think that either real parthood is necessarily coextensive with proper parthood, or it is not necessarily coextensive with either of the two relations of contemporary mereology.