Mereotopologie
aus Wikipedia, der freien Enzyklopädie
Die Mereotopologie ist eine formale Theorie, die Mereologie und Topologie miteinander verbindet. Sie untersucht die topologischen Beziehungen zwischen Ganzheiten, Teilen und den Rändern der Teile. Obgleich die Theorie im Wesentlichen mathematisch ist, wurde sie vollständig von Logikern und theoretischen Informatikern entwickelt. Die Mereotopologie hat sich für Zwecke der formalen Ontologie als nützlich erwiesen (Smith 1996).
Alfred North Whitehead begann 1916, Theorien der Teil-Ganzes-Relation zu entwickeln, die in seinem Werk Prozeß und Realität einen Höhepunkt fanden. Eine gut lesbare Einführung hierzu bietet Kneebone (2001), Kapitel 12. Trotz Whiteheads erwiesenem mathematischen Scharfsinn waren diese Theorien informell und enthielten Fehler. Bowman Clarke (1981, 1985) zeigte, wie Whiteheads Theorien korrigiert und vollständig formalisiert werden konnten. Clarkes Werk bildet die Grundlage der gegenwärtigen Mereotopologie. Ihr mathematisches Leistungsvermögen kommt in der fortgeschrittenen Darstellung von Roeper (1997) zutage. Das einschlägige Hochschullehrbuch ist Casati und Varzi (1999).
[Bearbeiten] Literatur
- Casati, R., and Varzi, A. C., 1999. Parts and places: the structures of spatial representation. MIT Press.
- Clarke, Bowman, 1981, A calculus of individuals based on 'connection' , Notre Dame Journal of Formal Logic 22: 204-18.
- ders., 1985, Individuals and Points, Notre Dame Journal of Formal Logic 26: 61-75.
- Kneebone, Geoffrey, 2001 (1963). Mathematical Logic and the Foundation of Mathematics. Dover.
- Roeper, Peter, 1997, Region-Based Topology, Journal of Philosophical Logic 26: 251-309.
- Smith, Barry, 1996, Mereotopology: A Theory of Parts and Boundaries, Data and Knowledge Engineering 20: 287-303.
- ders., 1997, Boundaries: An Essay in Mereotopology in Hahn, L., ed., The Philosophy of Roderick Chisholm. Open Court: 534-61.
- Varzi, A. C., 1996, Parts, wholes, and part-whole relations: the prospects of mereotopology, Data and Knowledge Engineering, 20:259-286.
- ders., 1998, Basic Problems of Mereotopology, in: Guarino, N., ed., Formal Ontology in Information Systems. Amsterdam: IOS Press, 29-38.
