David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 31 (5):469-498 (2002)
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Peter M. Simons (1987). Parts: A Study in Ontology. Oxford University Press.
Wilfrid Hodges, Model Theory. Stanford Encyclopedia of Philosophy.
C. C. Chang & H. J. Keisler (1976). Model Theory. Journal of Symbolic Logic 41 (3):697-699.
Citations of this work BETA
Stefano Borgo & Claudio Masolo (2010). Full Mereogeometries. Review of Symbolic Logic 3 (4):521-567.
Similar books and articles
H. E. Baber (1987). How Bad Is Rape? Hypatia 2 (2):125-138.
Ian Pratt & Dominik Schoop (2000). Expressivity in Polygonal, Plane Mereotopology. Journal of Symbolic Logic 65 (2):822-838.
Ivo DÜntsch, Gunther Schmidt & Michael Winter (2001). A Necessary Relation Algebra for Mereotopology. Studia Logica 69 (3):381 - 409.
P. X. Monaghan (2010). A Novel Interpretation of Plato's Theory of Forms. Metaphysica 11 (1):63-78.
Ian Pratt & Dominik Schoop (1998). A Complete Axiom System for Polygonal Mereotopology of the Real Plane. Journal of Philosophical Logic 27 (6):621-658.
Maureen Donnelly & Barry Smith (2003). Layers: A New Approach to Locating Objects in Space. In W. Kuhn M. F. Worboys & S. Timpf (eds.), Spatial Information Theory: Foundations of Geographic Information Science. Springer
H. M. Malm (1989). Commodification or Compensation: A Reply to Ketchum. Hypatia 4 (3):128-135.
Peter Forrest (2010). Mereotopology without mereology. Journal of Philosophical Logic 39 (3):229 - 254.
Added to index2009-01-28
Total downloads26 ( #157,428 of 1,934,372 )
Recent downloads (6 months)8 ( #66,302 of 1,934,372 )
How can I increase my downloads?