Skip to main content
SpringerLink
Log in

Spatial Reasoning and Ontology: Parts, Wholes, and Locations

  • Chapter
Handbook of Spatial Logics

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 329.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Aczel, P. (1988). Non-Well-Founded Sets. Stanford: CSLI Publications.

    Google Scholar 

  • Aiello, M. (2000). Topo-distance: Measuring the Difference between Spatial Patterns. In Proc. JELIA 00, pages 73–86. Berlin: Springer.

    Google Scholar 

  • Armstrong, D. M. (1989). Universals. Boulder CO: Westview Press.

    Google Scholar 

  • Asher, N. and Vieu, L. (1995). Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology. In Proc. IJCAI 95, pages 846–852. San Mateo: Morgan Kaufmann.

    Google Scholar 

  • Baker, L. R. (1997). Why Constitution Is Not Identity. J. of Philosophy, 94: 599–621.

    Article  Google Scholar 

  • Baumgartner, W. and Simons, P. M. (1994). Brentano’s Mereology. Axiomathes, 5:55–76.

    Article  Google Scholar 

  • Baxter, D. (1988). Identity in the Loose and Popular Sense. Mind, 97:575–582.

    Article  Google Scholar 

  • Bennett, B. (1996a). Carving Up Space: Steps Towards Construction of an Absolutely Complete Theory of Spatial Regions. In Proc. JELIA 96, pages 337–353. Berlin: Springer.

    Google Scholar 

  • Bennett, B (1996b). Modal Logics for Qualitative Spatial Reasoning. Bulletin of the Interest Group in Pure and Applied Logic, 4:23–45.

    Google Scholar 

  • Biacino, L. and Gerla, G. (1991). Connection Structures. Notre Dame J. of Formal Logic, 32:242–247.

    Article  Google Scholar 

  • Bigelow, J. (1996). God and the New Math. Philosophical Studies, 84:127–154.

    Article  Google Scholar 

  • Bolzano, B. (1851). Paradoxien des Unendlichen. Leipzig: Reclam.

    Google Scholar 

  • Borgo, S., Guarino, N., and Masolo, C. (1996). A Pointless Theory of Space Based on Strong Connection and Congruence. In Proc. KR 96, pages 220–229. San Francisco: Morgan Kaufmann.

    Google Scholar 

  • Bostock, D. (1979). Logic and Arithmetic, volume 2. Oxford: Clarendon.

    Google Scholar 

  • Brentano, F. (1906), Nativistische, empiristische und anoetistische Theorie unserer Raumvorstellung. Published posthumously in Brentano (1976), pages 164–77.

    Google Scholar 

  • Brentano, F. (1933). Kategorienlehre. Hamburg: Meiner. Ed. A. Kastil.

    Google Scholar 

  • Brentano, F. (1976). Philosophische Untersuchungen zu Raum, Zeit und Kontinuum. Hamburg: Meiner. Ed. by S. Korner and R .M. Chisholm.

    Google Scholar 

  • Bunge, M. (1966). On Null Individuals. J. of Philosophy, 63:776–778.

    Article  Google Scholar 

  • Bunt, H.C. (1985). Mass Terms and Model-Theoretic Semantics. Cambridge: Cambridge U. Press.

    Google Scholar 

  • Burkhardt, H. and Dufour, C. A. (1991). Part/Whole I: History. In Burkhardt, H. and Smith, B., editors, Handbook of Metaphysics and Ontology, pages 663–673. Munich: Philosophia.

    Google Scholar 

  • Cartwright, R. (1975). Scattered Objects. In Lehrer, K., editor, Analysis and Metaphysics, pages 153–171. Dordrecht: Reidel.

    Google Scholar 

  • Casati, R. and Varzi, A. C. (1994). Holes and Other Superficialities. Cambridge MA: MIT Press.

    Google Scholar 

  • Casati, R. and Varzi, A. C. (1999). Parts and Places. Cambridge MA: MIT Press.

    Google Scholar 

  • Chisholm, R.M. (1978). Brentano’s Conception of Substance and Accident. Grazer Philosophische Studien, 5:197–210.

    Google Scholar 

  • Chisholm, R.M. (1984). Boundaries as Dependent Particulars. Grazer Philosophische Studien, 10:87–95.

    Google Scholar 

  • Chisholm, R.M. (1987). Scattered Objects. In Thomson, J.J., editor, On Being and Saying: Essays for Richard Cartwright, pages 167–173. Cambridge MA: MIT Press.

    Google Scholar 

  • Chisholm, R.M. (1993). Spatial Continuity and the Theory of Part and Whole. A Brentano Study. Brentano Studien, 4:11–23.

    Google Scholar 

  • Clarke, B.L. (1981). A Calculus of Individuals Based on “Connection”. Notre Dame J. of Formal Logic, 22:204–218.

    Article  Google Scholar 

  • Clarke, B.L. (1985). Individuals and Points. Notre Dame J. of Formal Logic, 26:61–75.

    Article  Google Scholar 

  • Cohn, A. G., Bennett, B., Gooday, J. M., and Gotts, N. (1997). Qualitative Spatial Representation and Reasoning with the Region Connection Calculus. Geoinformatica, 1:1–44.

    Article  Google Scholar 

  • Cohn, A. G. and Varzi, A. C. (2003). Mereotopological Connection. J. of Philosophical Logic, 32:357–390.

    Article  Google Scholar 

  • Copeland, B.J. (1995). On Vague Objects, Fuzzy Logic and Fractal Boundaries. Southern J. of Philosophy, 33 (Suppl.):83–96.

    Article  Google Scholar 

  • Correia, F. (2005). Existential Dependence and Cognate Notions. Munich: Philosophia.

    Google Scholar 

  • Cruse, D. A. (1979). On the Transitivity of the Part-Whole Relation. J. of Linguistics, 15:29–38.

    Google Scholar 

  • Davidson, D. (1969). The Individuation of Events. In Rescher, N., editor, Essays in Honor of Carl G. Hempel, pages 216–234. Dordrecht: Reidel.

    Google Scholar 

  • De Laguna, T. (1922). Point, Line, and Surface as Sets of Solids. J. of Philosophy, 19:449–461.

    Article  Google Scholar 

  • Doepke, F.C. (1982). Spatially Coinciding Objects. Ratio, 24:45–60.

    Google Scholar 

  • Donnelly, M. (2004). A Formal Theory for Reasoning about Parthood, Connection, and Location. Artificial Intelligence, 160:145–172.

    Article  Google Scholar 

  • Donnelly, M. (2005). Relative Places. Applied Ontology, 1:55–75.

    Google Scholar 

  • Donnelly, M. and Smith, B. (2003). Layers: A New Approach to Locating Objects in Space. In Proc. COSIT 03, pages 46–60. Berlin: Springer.

    Google Scholar 

  • Düntsch, I. and Wang, H. and McCloskey, S. (2001). A Relation-Algebraic Approach to the Region Connection Calculus. Theoretical Computer Science, 255:63–83.

    Article  Google Scholar 

  • Eberle, R. A. (1968). Yoes on Non-Atomic Systems. Noûs, 2:399–403.

    Article  Google Scholar 

  • Eberle, R. A. (1970). Nominalistic Systems. Dordrecht: Reidel.

    Google Scholar 

  • Engel, R. and Yoes, M.G. (1996). Exponentiating Entities by Necessity. Australasian J. of Philosophy, 74:293–304.

    Article  Google Scholar 

  • Fine, K. (1975). Vagueness, Truth and Logic. Synthese, 30:265–300.

    Article  Google Scholar 

  • Fine, K. (1982). Acts, Events, and Things. In Proc. 6th Wittgenstein Symposium, pages 97–105. Vienna: HPT.

    Google Scholar 

  • Forrest, P. (1996). From Ontology to Topology in the Theory of Regions. The Monist, 79:34–50.

    Google Scholar 

  • Frank, A. U. (1992). Qualitative Spatial Reasoning about Distances and Directions in Geographic Space. J. of Visual Languages and Computing, 3: 347–371.

    Google Scholar 

  • Gallois, A. (1998). Occasions of Identity. Oxford: Clarendon.

    Google Scholar 

  • Galton, A. (1996). Taking Dimension Seriously in Qualitative Spatial Reasoning. In Proc. ECAI 96, pages 501–505. Chichester: Wiley.

    Google Scholar 

  • Galton, A. (1999). The Mereotopology of Discrete Space. In Proc. COSIT 99, pages 251–256. Berlin: Springer.

    Google Scholar 

  • Galton, A. (2000). Qualitative Spatial Change. Oxford: Oxford U. Press.

    Google Scholar 

  • Galton, A. (2003). On the Ontological Status of Geographical Boundaries. In Duckham, M. et al., editors, Foundations of Geographic Information Science, pages 151–171. London: Taylor and Francis.

    Google Scholar 

  • Galton, A. (2004). Multidimensional Mereotopology. In Proc. KR 04, pages 45–54. Menlo Park: AAAI Press.

    Google Scholar 

  • Geach, P. T. (1949). On Rigour in Semantics. Mind, 58:512–522.

    Google Scholar 

  • Gerstl, P. and Pribbenow, S. (1995). Midwinters, End Games, and Bodyparts: A Classification of Part-Whole Relations. International J. of Human-Computer Studies, 43:865–889.

    Article  Google Scholar 

  • Giritli, M. (2003). Who Can Connect in RCC? In Proc. KI 03, pages 565–579. Berlin: Springer.

    Google Scholar 

  • Goodman, N. (1951). The Structure of Appearance. Cambridge MA: Harvard U. Press. Republish: Dordrecht: Reidel, 1977.

    Google Scholar 

  • Goodman, N. (1956). A World of Individuals. In Bochenski, J. et al., editors, The Problem of Universals, pages 13–31. Notre Dame: Notre Dame U. Press.

    Google Scholar 

  • Goodman, N. (1958). On Relations that Generate. Philosophical Studies, 9: 65–66.

    Article  Google Scholar 

  • Gotts, N. (1994a). How Far CanWe ‘C’? Defining a ‘Doughnut’ Using Connection Alone. In Proc. KR 94, pages 246–257. San Mateo: Morgan Kaufmann.

    Google Scholar 

  • Gotts, N. (1994b). Defining a ‘Doughnut’ Made Difficult. In C. Eschenbach et al., editors, Topological Foundations of Cognitive Science, pages 105–29. U. of Hamburg: Cognitive Science Program, Report No. 37.

    Google Scholar 

  • Gotts, N. (1996). An Axiomatic Approach to Topology for Spatial Information Systems. Technical report, U. of Leeds: School of Computer Studies.

    Google Scholar 

  • Gotts, N., Gooday, J. M., and Cohn, A. G. (1996). A Connection-Based Approach to Commonsense Topological Description and Reasoning. The Monist, 79: 51–75.

    Google Scholar 

  • Hudson, H. (2001). A Materialist Metaphysics of the Human Person. Ithaca NY: Cornell U. Press.

    Google Scholar 

  • Heller, M. (1984). Temporal Parts of Four Dimensional Objects. Philosophical Studies, 46:323–334.

    Article  Google Scholar 

  • Hempel, C. G. (1953). Reflections on Nelson Goodman’s “The Structure of Appearance”. Philosophical Review, 62:108–116.

    Article  Google Scholar 

  • Henry, D. (1991). Medieval Mereology. Amsterdam: Grüner.

    Google Scholar 

  • Hernández, D. (1994). Qualitative Representation of Spatial Knowledge. Berlin: Springer.

    Google Scholar 

  • Herskovits, A. (1986). Language and Spatial Cognition. Cambridge: Cambridge U. Press.

    Google Scholar 

  • Holden, T. (2004). The Architecture of Matter. Oxford: Clarendon.

    Google Scholar 

  • Hudson, H. (2002). The Liberal View of Receptacles. Australasian J. of Philosophy, 80:432–439.

    Article  Google Scholar 

  • Hudson, H. (2004). Simples. The Monist, 87:303–451. Edited volume.

    Google Scholar 

  • Husserl, E. (1900/1901). Logische Untersuchungen. Zweiter Band. Halle: Niemeyer. Republish: 1913.

    Google Scholar 

  • Iris, M. A., Litowitz, B. E., and Evens, M. (1988). Problems of the Part-Whole Relation. In Evens, M., editor, Relations Models of the Lexicon, pages 261–288. Cambridge: Cambridge U. Press.

    Google Scholar 

  • Johansson, I. (2004). On the Transitivity of Parthood Relations. In Hochberg, H. and Mulligan, K., editors, Relations and Predicates, pages 161–181. Frankfurt: Ontos.

    Google Scholar 

  • Johnston, M. (1992). Constitution Is Not Identity. Mind, 101:89–105.

    Article  Google Scholar 

  • Keefe, R. (2000). Theories of Vagueness. Cambridge: Cambridge U. Press.

    Google Scholar 

  • Kline, A. D. and Matheson, C.A. (1987). The Logical Impossibility of Collision. Philosophy, 62:509–515.

    Google Scholar 

  • Kuratowski, C. (1922). Sur l’opération A – de l’Analysis Situs. Fundamenta Mathematicae, 3:182–199.

    Google Scholar 

  • Leonard, H. S. and Goodman, N. (1940). The Calculus of Individuals and Its Uses. J. of Symbolic Logic, 5:45–55.

    Article  Google Scholar 

  • Leśniewski, S (1916). Podstawy ogólnej teoryi mnogości. I. Moskow: Prace Polskiego Koła Naukowego w Moskwie.

    Google Scholar 

  • Lewis, D. K. (1986). On the Plurality of Worlds. Oxford: Blackwell.

    Google Scholar 

  • Lewis, D. K. (1991). Parts of Classes. Oxford: Blackwell.

    Google Scholar 

  • Li, S. and Ying, M. (2004). Generalized Region Connection Calculus. Artificial Intelligence, 160:1–34.

    Article  Google Scholar 

  • Lowe, E. J. (1989). Kinds of Being. Oxford: Blackwell.

    Google Scholar 

  • Lowe, V. (1953). Professor Goodman’s Concept of an Individual. Philosophical Review, 62:117–26.

    Article  Google Scholar 

  • Markosian, N. (1998a). Brutal Composition. Philosophical Studies, 92: 211–249.

    Article  Google Scholar 

  • Markosian, N. (1998b). Simples. Australasian J. of Philosophy, 76:213–228.

    Article  Google Scholar 

  • Martin, R. M. (1965). Of Time and the Null Individual. J. of Philosophy, 62: 723–736.

    Article  Google Scholar 

  • Masolo, C. and Vieu, L. (1999). Atomicity vs. Infinite Divisibility of Space. In Proc. COSIT 99, pages 235–250. Berlin: Springer.

    Google Scholar 

  • McGee, V. (1997). “Kilimanjaro”. Canadian J. of Philosophy, 23:141–195. Suppl.

    Google Scholar 

  • McGrath, M. (1998). Van Inwagen’s Critique of Universalism. Analysis, 58: 116–121.

    Article  Google Scholar 

  • Merricks, T. (1999). Composition as Identity, Mereological Essentialism, and Counterpart Theory. Australasian J. of Philosophy, 77:192–195.

    Article  Google Scholar 

  • Moltmann, F. (1997). Parts and Wholes in Semantics. Oxford: Oxford U. Press.

    Google Scholar 

  • Morison, B. (2002). On Location: Aristotle’s Concept of Place. Oxford: Clarendon.

    Google Scholar 

  • Mukerjee, A. and Joe, G. (1990). A Qualitative Model for Space. In Proc. AAAI 90, pages 721–707. Menlo Park: AAAI Press.

    Google Scholar 

  • Needham, P. (1981). Temporal Intervals and Temporal Order. Logique et Analyse, 24:49–64.

    Google Scholar 

  • Noonan, H. W. (1993). Constitution Is Identity. Mind, 102:133–146.

    Article  Google Scholar 

  • Nutt, W. (1999). On the Translation of Qualitative Spatial Reasoning into Modal Logics. In Proc. KI 99, pages 113–124. Berlin: Springer.

    Google Scholar 

  • Parsons, J. (2000). Must a 4-Dimensionalist Believe in Temporal Parts? The Monist, 83:399–418.

    Google Scholar 

  • Parsons, J. (2004). Distributional Properties. In Jackson, F. and Priest, G., editors, Lewisian Themes, pages 173–180. Oxford: Clarendon.

    Google Scholar 

  • Parsons, J. (2006). Theories of Location. Oxford Studies in Metaphysics, 3:201–232.

    Google Scholar 

  • Parsons, T. and Woodruff, P. (1995). Worldly Indeterminacy of Identity. In Proc. Aristotelian Society, page 95. 171–191.

    Google Scholar 

  • Peirce, C. S. (1983). The Logic of Quantity. Published posthumously in Hartshorne, C. and Weiss, P., editors Collected Papers of Charles Sanders Peirce, Vol. IV, pages, 85–152. Cambridge MA: Harvard U. Press, 1933.

    Google Scholar 

  • Perzanowski, J. (1993). Locative Ontology. Logic & Logical Philosophy, 1: 7–94.

    Google Scholar 

  • Pianesi, F. and Varzi, A. C. (1996a). Events, Topology, and Temporal Relations. The Monist, 78:89–116.

    Google Scholar 

  • Pianesi, F. and Varzi, A. C. (1996b). Refining Temporal Reference in Event Structures. Notre Dame J. of Formal Logic, 37:71–83.

    Article  Google Scholar 

  • Polkowski, L. and Skowron, A. (1994). Rough Mereology. In Proc. ISMIS 94, pages 85–94. Berlin: Springer.

    Google Scholar 

  • Pratt, I. and Schoop, D. (2000). Expressivity in Polygonal, Plane Mereotopology. J. of Symbolic Logic, 65:822–838.

    Article  Google Scholar 

  • Pyle, A. (1995). Atomism and Its Critics. Bristol: Thoemmes.

    Google Scholar 

  • Randell, D. A., Cui, Z., and Cohn, A. G. (1992). A Spatial Logic Based on Regions and Connections. In Proc. KR 92, pages 165–176. Los Altos CA: Morgan Kaufmann.

    Google Scholar 

  • Rea, M., editor (1997). Material Constitution. Lanham MD: Rowman & Littlefield.

    Google Scholar 

  • Rea, M. (1998). In Defense of Mereological Universalism. Philosophy and Phenomenological Research, 58:347–360.

    Article  Google Scholar 

  • Renz, J. (1998). A Canonical Model of the Region Connection Calculus. In Proc. KR 98, pages 330–341. San Francisco: Morgan Kaufmann.

    Google Scholar 

  • Rescher, N. (1955). Axioms for the Part Relation. Philosophical Studies, 6:8–11.

    Article  Google Scholar 

  • Ridder, L. (2002). Mereologie. Frankfurt: Klostermann.

    Google Scholar 

  • Roeper, P. (1997). Region-Based Topology. J. of Philosophical Logic, 26: 251–309.

    Article  Google Scholar 

  • Rosen, G. and Dorr, C. (2002). Composition as a Fiction. In Gale, R., editor, The Blackwell Guide to Metaphysics, pages 151–174. Oxford: Blackwell.

    Google Scholar 

  • Sanford, D. (1993). The Problem of the Many, Many Composition Questions, and Naive Mereology. Noûs, 27:219–228.

    Article  Google Scholar 

  • Schuldenfrei, R. (1969). Eberle on Nominalism in Non-Atomic Systems. Noûs, 3:427–430.

    Article  Google Scholar 

  • Sharvy, R. (1983). Mixtures. Philosophy and Phenomenological Research, 44:227–239.

    Article  Google Scholar 

  • Shorter, J. M. (1977). On Coinciding in Space and Time. Philosophy, 52: 399–408.

    Article  Google Scholar 

  • Sider, T. (1993). Van Inwagen and the Possibility of Gunk. Analysis, 53: 285–289.

    Article  Google Scholar 

  • Sider, T. (2001). Four-Dimensionalism. Oxford: Clarendon.

    Google Scholar 

  • Simons, P. M. (1987). Parts. Oxford: Clarendon.

    Google Scholar 

  • Simons, P. M. (1991a). Faces, Boundaries, and Thin Layers. In Martinich, A. P. and White, M. J., editors, Certainty and Surface in Epistemology and Philosophical Method. Essays in Honor of Avrum Stroll, pages 87–99. Lewiston: Edwin Mellen Press.

    Google Scholar 

  • Simons, P. M. (1991b). Free Part-Whole Theory. In Lambert, K., editor, Philosophical Applications of Free Logic, pages 285–306. Oxford: Oxford U. Press.

    Google Scholar 

  • Simons, P. M. (1991c). Part/Whole II: Mereology Since 1900. In Burkhardt, H. and Smith, B., editors, Handbook of Metaphysics and Ontology, pages 209–210. Munich: Philosophia.

    Google Scholar 

  • Simons, P. M. (2003). The Universe. Ratio, 16:237–250.

    Article  Google Scholar 

  • Simons, P. M. (2004). Extended Simples: A Third Way between Atoms and Gunk. The Monist, 87:371–384.

    Google Scholar 

  • Smith, B. (1994). Austrian Philosophy. La Salle IL: Open Court.

    Google Scholar 

  • Smith, B. (1995). On Drawing Lines on a Map. In Proc. COSIT 95, pages 475–484. Berlin: Springer.

    Google Scholar 

  • Smith, B. (1996). Mereotopology: A Theory of Parts and Boundaries. Data & Knowledge Engineering, 20:287–304.

    Article  Google Scholar 

  • Smith, B. (1997). Boundaries: An Essay in Mereotopology. In Hahn, L.H., editor, The Philosophy of Roderick Chisholm, pages 534–561. La Salle IL: Open Court.

    Google Scholar 

  • Smith, B. (2001). Fiat Objects. Topoi, 20:131–148.

    Article  Google Scholar 

  • Smith, B. and Mark, D. (2003). Do Mountains Exist? Towards an Ontology of Landforms. Environment & Planning B, 30:411–427.

    Article  Google Scholar 

  • Smith, B. and Varzi, A.C. (2000). Fiat and Bona Fide Boundaries. Philosophy and Phenomenological Research, 60:401–420.

    Article  Google Scholar 

  • Sorabji, R. (1988). Matter, Space, and Motion. Ithaca NY: Cornell U. Press.

    Google Scholar 

  • Stell, J. G. (2000). Boolean Connection Algebras: A New Approach to the Region-Connection Calculus. Artificial Intelligence, 122:111–136.

    Article  Google Scholar 

  • Stell, J. G. and Worboys, M. F. (1997). The Algebraic Structure of Sets of Regions. In Proc. COSIT 97, pages 164–174. Berlin: Springer.

    Google Scholar 

  • Strawson, P. F. (1959). Individuals. London: Methuen.

    Google Scholar 

  • Stroll, A. (1988). Surfaces. Minneapolis: U. of Minnesota Press.

    Google Scholar 

  • Tarski, A. (1929). Les fondements de la géométrie des corps. Annales de la Société Polonaise de Mathématique, 7:29–33. suppl.

    Google Scholar 

  • Tarski, A. (1935). Zur Grundlegung der Booleschen Algebra. I. Fundamenta Mathematicae, 24:177–198.

    Google Scholar 

  • Thomson, J. J. (1983). Parthood and Identity Across Time. J. of Philosophy, 80:201–220.

    Article  Google Scholar 

  • Thomson, J. J. (1998). The Statue and the Clay. Noûs, 32:149–173.

    Google Scholar 

  • Tiles, J. E. (1981). Things That Happen. Aberdeen: Aberdeen U. Press.

    Google Scholar 

  • Tsai, H-C. (2005). The Logic and Metaphysics of Part-Whole Relations. Phd dissertation, Columbia U.: Department of Philosophy.

    Google Scholar 

  • Tversky, B. (1989). Parts, Partonomies, and Taxonomies. Developmental Psychology, 25:983–995.

    Article  Google Scholar 

  • van Benthem, J. (1983). The Logic of Time. Dordrecht: Reidel. Republish: 1991.

    Google Scholar 

  • van Cleve, J. (1986). Mereological Essentialism, Mereological Conjunctivism, and Identity Through Time. Midwest Studies in Philosophy, 11:141–156.

    Google Scholar 

  • van der Zee, E. and Slack, J., editors (2003). Representing Direction in Language and Space. Oxford: Oxford U. Press.

    Google Scholar 

  • van Inwagen, P. (1981). The Doctrine of Arbitrary Undetached Parts. Pacific Philosophical Quarterly, 62:123–137.

    Google Scholar 

  • van Inwagen, P. (1990). Material Beings. Ithaca NY: Cornell U. Press.

    Google Scholar 

  • van Inwagen, P. (1993). Naive Mereology, Admissible Valuations, and Other Matters. Noûs, 27:229–234.

    Article  Google Scholar 

  • van Inwagen, P. (1994). Composition as Identity. Philosophical Perspectives, 8:207–220.

    Article  Google Scholar 

  • Varzi, A. C. (1994). On the Boundary Between Mereology and Topology. In Proc. 16th Wittgenstein Symposium, pages 423–442. Vienna: HPT.

    Google Scholar 

  • Varzi, A. C. (1996a). Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology. Data & Knowledge Engineering, 20:259–286.

    Article  Google Scholar 

  • Varzi, A. C. (1996b). Reasoning about Space: The Hole Story. Logic & Logical Philosophy, 4:3–39.

    Google Scholar 

  • Varzi, A. C. (1997). Boundaries, Continuity, and Contact. Noûs, 31:26–58.

    Google Scholar 

  • Varzi, A. C. (2000). Mereological Commitments, Dialectica, 54:283–305.

    Article  Google Scholar 

  • Varzi, A. C. (2001). Vagueness in Geography. Philosophy & Geography, 4: 49–65.

    Article  Google Scholar 

  • Varzi, A. C. (2003). Mereology. In Zalta, E. N., editor, Stanford Encyclopedia of Philosophy. Stanford: CSLI. on line publication.

    Google Scholar 

  • Varzi, A. C. (2005). A Note on the Transitivity of Parthood. Applied Ontology, 1:141–146.

    Google Scholar 

  • Varzi, A. C. (2006). The Universe among Other Things. Ratio, 19:107–120.

    Article  Google Scholar 

  • Whitehead, A. N. (1919). An Enquiry Concerning the Principles of Human Knowledge. Cambridge: Cambridge U. Press.

    Google Scholar 

  • Whitehead, A. N. (1920). The Concept of Nature. Cambridge: Cambridge U. Press.

    Google Scholar 

  • Whitehead, A. N. (1929). Process and Reality. New York: Macmillan.

    Google Scholar 

  • Wiggins, D. (1968). On Being in the Same Place at the Same Time. Philosophical Review, 77:90–95.

    Article  Google Scholar 

  • Wiggins, D. (1980). Sameness and Substance. Oxford: Blackwell.

    Google Scholar 

  • Winston, M., Chaffin, R., and Herrmann, D. (1987). A Taxonomy of Part-Whole Relations. Cognitive Science, 11:417–444.

    Article  Google Scholar 

  • Yi, B.-U. (1999). Is Mereology Ontologically Innocent? Philosophical Studies, 93:141–160.

    Article  Google Scholar 

  • Yoes, M. (1967). Nominalism and Non-Atomic Systems. Noûs, 1:193–200.

    Article  Google Scholar 

  • Zadeh, L. (1965). Fuzzy Sets. Information and Control, 8:338–353.

    Article  Google Scholar 

  • Zimmerman, D. W. (1996a). Could Extended Objects Be Made Out of Simple Parts? Philosophy and Phenomenological Research, 56:1–29.

    Article  Google Scholar 

  • Zimmerman, D. W. (1996b). Indivisible Parts and Extended Objects. The Monist, 79:148–180.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Columbia University, New York

    Achille C. Varzi

Authors
  1. Achille C. Varzi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Groningen, The Netherlands

    Marco Aiello

  2. University of Manchester, UK

    Ian Pratt-Hartmann

  3. University of Amsterdam, The Netherlands

    Johan Van Benthem

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer

About this chapter

Cite this chapter

Varzi, A. (2007). Spatial Reasoning and Ontology: Parts, Wholes, and Locations. In: Aiello, M., Pratt-Hartmann, I., Van Benthem, J. (eds) Handbook of Spatial Logics. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-5587-4_15

Download citation

Publish with us

Policies and ethics

Search

Navigation