Part–whole theory

Part–whole theory is the name of a loose collection of historical theories, all informal and nearly all unwitting, relating wholes to their parts via inclusion. Part–whole theory has been overtaken by mereology.

Metaphysics, especially ontology, has invoked part–whole concepts ever since Aristotle founded the subject.

Husserl (1970) (German original first published in 1901) was the first to consciously elaborate a part–whole theory (on which see Tieszen 1995). However he employed no symbolism or logic, even though his doctorate was in mathematics and Georg Cantor was his friend and colleague; Husserl wrote only for his fellow philosophers.

19th century mathematicians became dimly aware that they were invoking a part–whole theory of sorts only after Cantor and Peano first articulated set theory. Before then, mathematicians often confused inclusion and membership. Grattan-Guinness (2000) appears to have been the first to draw attention to this unwitting part–whole theory.

Peano was among the first to articulate clearly the distinction between membership in a given set, and being a subset of that set. A subset of a set is usually not also a member of that set. However, the members of a subset are all members of the set. In set theory, a singleton cannot be identified with its member. In part–whole theory and mereology, this identification necessarily holds.

The Cantor–Peano concept of set did not become canonical until about 1910, when the first volume of Principia Mathematica appeared, and right after Ernst Zermelo proposed the first axiomatization of set theory in 1908.

Starting in 1916, and culminating in his 1929 Process and Reality, A. N. Whitehead published several books invoking part–whole concepts of varying degrees of formality; see Whitehead's point-free geometry.

...
Wikipedia