Elementary polyhedral mereotopology

Journal of Philosophical Logic 31 (5):469-498 (2002)
Abstract
A region-based model of physical space is one in which the primitive spatial entities are regions, rather than points, and in which the primitive spatial relations take regions, rather than points, as their relata. Historically, the most intensively investigated region-based models are those whose primitive relations are topological in character; and the study of the topology of physical space from a region-based perspective has come to be called mereotopology. This paper concentrates on a mereotopological formalism originally introduced by Whitehead, which employs a single primitive binary relation C(x, y) (read: "x is in contact with y"). Thus, in this formalism, all topological facts supervene on facts about contact. Because of its potential application to theories of qualitative spatial reasoning, Whitehead's primitive has recently been the subject of scrutiny from within the Artificial Intelligence community. Various results regarding the mereotopology of the Euclidean plane have been obtained, settling such issues as expressive power, axiomatization and the existence of alternative models. The contribution of the present paper is to extend some of these results to the mereotopology of three-dimensional Euclidean space. Specifically, we show that, in a first-order setting where variables range over tame subsets of ℝ³, Whitehead's primitive is maximally expressive for topological relations; and we deduce a corollary constraining the possible region-based models of the space we inhabit
Keywords mereotopology  ontology of space  spatial reasoning
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1020184007550
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 32,587
Through your library
References found in this work BETA
Parts: A Study in Ontology.Peter Simons - 1987 - Oxford University Press.
Model Theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
Model Theory.C. C. Chang & H. J. Keisler - 1976 - Journal of Symbolic Logic 41 (3):697-699.

Add more references

Citations of this work BETA
Full Mereogeometries.Stefano Borgo & Claudio Masolo - 2010 - Review of Symbolic Logic 3 (4):521-567.

Add more citations

Similar books and articles
Added to PP index
2009-01-28

Total downloads
30 ( #196,530 of 2,235,707 )

Recent downloads (6 months)
2 ( #267,850 of 2,235,707 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature