Another relation is strictly connected to parthood: the relation that connects many things to a single thing that includes whatever is in the many things and nothing extraneous to them; this many-one relation can be dubbed composition.
Jan Nohas quoted2 years ago
The thesis is that there is a single, general, exhaustive theory of parthood and composition. This theory, usually called Classical Extensional Mereology
Jan Nohas quoted2 years ago
(a) parthood is transitive (if a first thing is part of a second thing, and this second thing is part of a third thing, then the first thing is part of the third as well);
Jan Nohas quoted2 years ago
(b) given some things, there is at most one thing composed by them;
Jan Nohas quoted2 years ago
(c) given some things, no matter how heterogeneous and disparate they are, there is at least one thing composed by them.
Jan Nohas quoted2 years ago
Consider, as a first example, the essential/accidental distinction.
Jan Nohas quoted2 years ago
Are some parts of a whole such that their annihilation would annihilate the whole too?
Jan Nohas quoted2 years ago
Another example: the supervenience or emergence of the properties of complex entities over the properties and relation of their parts.
Jan Nohas quoted2 years ago
According to the narrow understanding of mereology as a discipline I am going to adopt, essentiality, dependence, and supervenience lie beyond the explanatory scope of mereology.
Jan Nohas quoted2 years ago
Mereology is only about the formal features of the relation of parthood, and about identity and existence conditions for wholes.