﻿

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 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.

Part-whole theory has been superseded by a collection of fully formal theories called mereology, Stanislaw Lesniewski's term for a formal part-whole theory he began expositing in 1912. Over the course of the 20th century, a number of Polish logicians and mathematicians contributed to this "Polish mereology." Even though Polish mereology is now only of historical interest, the word "mereology" endures as the name of a collection of first order theories relating parts to their respective wholes. These theories, unlike set theory, can be proved sound and complete.

Nearly all work that has appeared since 1970 under the heading of mereology descends from the 1940 calculus of individuals of Henry Leonard and Nelson Goodman. Simons (1987) is a survey of mereology aimed at philosophers.

ee also

* mereology

References

*Ivor Grattan-Guinness, 2000. "The Search for Mathematical Roots". Princeton Univ. Press.
*Edmund Husserl, 1970. "Logical Investigations, Vol. 2", John Findlay, trans. Yale Univ. Press.
*Simons, Peter, 1987. "Parts: A Study in Ontology". Oxford University Press.
*Tieszen, Richard, 1995. "Mathematics" in David W. Smith & Barry Smith, eds., "The Cambridge Companion to Husserl". Cambridge University Press.

* Stanford Encyclopedia of Philosophy: " [http://plato.stanford.edu/entries/mereology/ Mereology] " -- by Achille Varzi.

* Synergy and Dysergy in Mereologic Geometries" [http://www.wikinfo.org/index.php/Synergy_and_Dysergy_in_Mereologic_Geometries] "--by Albert P. Carpenter

Wikimedia Foundation. 2010.

Look at other dictionaries:

• Whole language — describes a literacy instructional philosophy which emphasizes that children should focus on meaning and moderates skill instruction. It can be contrasted with phonics based methods of teaching reading and writing which emphasize instruction for… …   Wikipedia

• Theory of constraints — Part of a series of articles on Industry Manufacturing methods Batch production • Job production Continuous production Improvement method …   Wikipedia

• Whole tone scale — Qualities Number of pitch classes 6 Maximal evenness Degenerate well formed collection In music, a whole tone scale is a scale in which each note is separated from its neighbors by the interval of a whole …   Wikipedia

• Whole life insurance — Whole Life Insurance, or Whole of Life Assurance (in the Commonwealth), is a life insurance policy that remains in force for the insured s whole life and requires (in most cases) premiums to be paid every year into the policy. Contents 1 History… …   Wikipedia

• Theory of Forms — Plato s Theory of Forms [The name of this aspect of Plato s thought is not modern and has not been extracted from certain dialogues by modern scholars. The term was used at least as early as Diogenes Laertius, who called it (Plato s) Theory of… …   Wikipedia

• Part-Time Learner — Who are part time learners?= Part Time Adult Learners are a group of the higher education students. There are a variety of terms synonymous with the Part Time Learner (PTL) used in Canadian and American academic literature, including the Non… …   Wikipedia

• Theory of everything — A theory of everything (TOE) is a putative theory of theoretical physics that fully explains and links together all known physical phenomena. Initially, the term was used with an ironic connotation to refer to various overgeneralized theories.… …   Wikipedia

• Theory of conjoint measurement — The theory of conjoint measurement (also known as conjoint measurement or additive conjoint measurement) is a general, formal theory of continuous quantity. It was independently discovered by the French economist Gerard Debreu (1960) and by the… …   Wikipedia

• Theory of religious economy — The theory of religious economy is the application of rational choice theory as a theory of religion. The Theory of Religious Economy argues that the economic model of supply and demand has a significant role in the development and success of… …   Wikipedia

• Theory of relative suffering — The Theory of Relative Suffering is a theory presented in the writing of the Canadian essayist Kevin Draper. The theory pertains to how human beings perceive their own suffering and pain in relation to an objective sense of how an individual’s… …   Wikipedia