Mereotopology

The Mereotopologie is a formal theory, which combines mereology and topology together. It examines the topological relationships between wholes and parts of the edges of the parts. Although the theory is essentially mathematically, it was fully developed by logicians and theoretical computer scientists. The Mereotopologie has proved for the purposes of formal ontology as useful (Smith 1996).

Alfred North Whitehead began in 1916 to develop theories of the part-whole relation, which found a high point in his work Process and Reality. A readable introduction to this offering Kneebone (2001 ), Chapter 12 Despite Whitehead of proven mathematical acumen these theories were informal and contained errors. Bowman Clarke (1981, 1985) showed how Whitehead's theories and could be corrected completely formalized. Clarke's work forms the basis of the current Mereotopologie. Your mathematical performance is evident in the advanced representation of Roeper (1997). The relevant university textbook is Casati and Varzi (1999).

564683
de