There are several broadly “reductive” accounts of mereological structure. They all try to capture rigorously the somewhat vague intuition that “wholes are nothing over and above their parts”. The most radical view in the reductive camp holds that mereological composition is strict numerical identity, in that wholes are numerically identical to their parts considered collectively. The view is known as Strong Composition as Identity. Using double signs (such as ), for…
˜