The many primitives of mereology
Abstract
This seems to me to be a metaphysically significant feature of CEM. If CEM is correct — if all its theorems are true, then metaphysicians have a choice to make in how we understand the mereological nature of the world. We may think of the mereological relation either as a relation of part to whole, or as a relation of overlap; for if we give a metaphysical theory about one, we thereby give a metaphysical theory about the other. We may choose which we think of as more metaphysically fundamental, for the they are interdefinable. However, if CEM is not correct, then perhaps we do not have this choice. Perhaps part-whole cannot be defined in terms of overlap; in which case we must choose part-whole as the metaphysical fundamental mereological relation (if any relation is)