David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Notre Dame Journal of Formal Logic 38 (2):225-245 (1997)
Several authors have suggested that a more parsimonious and conceptually elegant treatment of everyday mereological and topological reasoning can be obtained by adopting a spatial ontology in which regions, not points, are the primitive entities. This paper challenges this suggestion for mereotopological reasoning in two-dimensional space. Our strategy is to define a mereotopological language together with a familiar, point-based interpretation. It is proposed that, to be practically useful, any alternative region-based spatial ontology must support the same sentences in our language as this familiar interpretation. This proposal has the merit of transforming a vague, open-ended question about ontologies for practical mereotopological reasoning into a precise question in model theory. We show that (a version of) the familiar interpretation is countable and atomic, and therefore prime. We conclude that useful alternative ontologies of the plane are, if anything, less parsimonious than the one which they are supposed to replace
|Keywords||No keywords specified (fix it)|
|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
No references found.
Citations of this work BETA
David Bostock (2010). Whitehead and Russell on Points. Philosophia Mathematica 18 (1):1-52.
Stefano Borgo & Claudio Masolo (2010). Full Mereogeometries. Review of Symbolic Logic 3 (4):521-567.
Similar books and articles
Ian Pratt & Dominik Schoop (1998). A Complete Axiom System for Polygonal Mereotopology of the Real Plane. Journal of Philosophical Logic 27 (6):621-658.
Ian Pratt & Dominik Schoop (2000). Expressivity in Polygonal, Plane Mereotopology. Journal of Symbolic Logic 65 (2):822-838.
Achille C. Varzi (1998). Basic Problems of Mereotopology. In Nicola Guarino (ed.), Formal Ontology in Information Systems. Ios Press. 29–38.
Ian Pratt-Hartmann & Dominik Schoop (2002). Elementary Polyhedral Mereotopology. Journal of Philosophical Logic 31 (5):469-498.
Ivo DÜntsch, Gunther Schmidt & Michael Winter (2001). A Necessary Relation Algebra for Mereotopology. Studia Logica 69 (3):381 - 409.
Thomas Bittner & Barry Smith (2004). Normalizing Medical Ontologies Using Basic Formal Ontology. In Proceedings of GMDS 2004.
Hisao Honda, Masaharu Tanemura & Akihiro Yoshida (2000). Differentiation of Wing Epidermal Scale Cells in a Butterfly Under the Lateral Inhibition Model - Appearance of Large Cells in a Polygonal Pattern. Acta Biotheoretica 48 (2):121-136.
Victor Pambuccian (2004). The Simplest Axiom System for Plane Hyperbolic Geometry. Studia Logica 77 (3):385 - 411.
Barry Smith, Werner Ceusters, Bert Klagges, Jacob Köhler, Anand Kuma, Jane Lomax, Chris Mungall, , Fabian Neuhaus, Alan Rector & Cornelius Rosse (2005). Relations in Biomedical Ontologies. Genome Biology 6 (5):R46.
Barry Smith (2008). Ontology (Science). In Luciano Floridi (ed.), Formal Ontology in Information Systems. Blackwell. 153--166.
Daniel Pokrywczyński & Grant Malcolm (2014). Towards a Functional Approach to Modular Ontologies Using Institutions. Studia Logica 102 (1):117-143.
Fred Wilson (2013). Exemplification, Then and Now. Axiomathes 23 (2):269-289.
Barry Smith, Michael Ashburner, Cornelius Rosse, Jonathan Bard, William Bug, Werner Ceusters, Louis J. Goldberg, Karen Eilbeck, Amelia Ireland, Mungall Christopher J., Neocles Leontis & Others (2007). The OBO Foundry: Coordinated Evolution of Ontologies to Support Biomedical Data Integration. Nature Biotechnology 25 (11):1251-1255.
Kenneth R. Berger & Edmond A. Murphy (1989). Angular Homeostasis: III. The Formalism of Discrete Orbits in Ontogeny. Theoretical Medicine and Bioethics 10 (4).
Added to index2010-08-24
Total downloads2 ( #404,669 of 1,679,398 )
Recent downloads (6 months)1 ( #183,003 of 1,679,398 )
How can I increase my downloads?