Reasoning about space: The hole story

Achille C. Varzi



Much of our naive reasoning about space involves reasoning about holes and holed objects. We put things in holes, through holes, around them; we jump out of a hole or fall into one; we compare holes, measure them, enlarge them, fill them up.

Full Text:



Aurnague M., Vieu L., “A Three-Level Approach to the Semantics of Space”, [in:] C. Z. Wibbelt (ed.), The Semantics of Prepositions: From Mental Processing to Natural Language Processing, Berlin: Mouton de Gruyter, 1993, pp. 393-439.

Bäckström C., “Logical Modelling of Simplified Geometrical Objects and Mechanical Assembly Processes”, [in:] Su-shing Chen (ed.), Advances in Spatial Reasoning, Volume 1, Norwood: Ablex, 1990, pp. 35-61.

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

Casati R., Varzi A. C., “The Structure of Spatial Localization”, Philosophical Studies, 82 (1996), 205-239.

Casati R., Varzi A. C., “Spatial Entities”, [in:] O. Stock (ed.), Spatial and Temporal Reasoning, Dordrecht/Boston/London: Kluwer, forthcoming.

Chisholm R. M., “Boundaries as Dependent Particulars”, Grazer Philosophi-sche Studien, 10 (1984), 87-95.

Clarke B. L., “A Calculus of Individuals Based on `Connection',”, Notre Dame Journal of Formal Logic, 22 (1981), 204-218.

Clarke B. L., “Individuals and Points”, Notre Dame Journal of Formal Logic, 26 (1985), 61-75.

Cohn A. G., “Qualitative Shape Representation using Connection and Convex Hulls”, [in:] P. Amsili, M. Borillo, and L. Vieu (eds.), Time, Space and Movement: Meaning and Knowledge in the Sensible World. Proceedings of the 5th International Workshop, Toulouse: COREP, Part C, pp. 3-16.

Cohn A. G., Randell D. A., Cui Z., “A Taxonomy of Logically Defined Qualitative Spatial Regions”, International Journal of Human-Computer Studies, 43 (1995), 831-846.

Davis E., “A Framework for Qualitative Reasoning About Solid Objects”, [in:] G. Rodriguez (ed.), Proceedings of the Workshop on Space Telerobotics, Pasadena, Ca.: NASA and JPL, 1987, pp. 369-375.

Fine K., “Part-Whole”, [in:] B. Smith and D. W. Smith (eds.), The Cambridge Companion to Husserl, New York: Cambridge University Press, 1995, pp. 463-485.

Gotts, N. M., “How Far Can We `C'? Defining a `Doughnut' Using Connection Alone”, [in:] J. Doyle, E. Sandewall, and P. Torasso (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference, San Mateo, CA: Morgan Kaufmann, 1994, pp. 246-257.

Gotts, N. M., “Defining a `Doughnut' Made Difficult”, [in:] C. Eschenbach, C. Habel, and B. Smith (eds.), Topological Foundations of Cognitive Science. Papers from the Workshop at the First International Summer Institute in Cognitive Science, University of Hamburg, Reports of the Doctoral Program in Cognitive Science, No. 37, 1994, pp. 105-129.

Habel C., “Zwischen-Bericht”, [in:] C. Habel, M. Herweg, and K. Rehk{ämper (eds.), Raumkonzepte in Verstehenprozessen, Tübingen: Niemeyer, 1989, pp. 37-69.

Hayes P. J., “Naive Physics I: Ontology for Liquids”, [in:] J. R. Hobbs and R. C. Moore (eds.), Formal Theories of the Commonsense World, Norwood: Ablex, 1985, pp. 71-107.

Herskovits A., Language and Spatial Cognition. An Interdisciplinary Study of the Prepositions in English, Cambridge: Cambridge University Press, 1986.

Herweg M., “Ansätze zu einer semantischen Beschreibung topologischer Präpositionen”, [in:] C. Habel, M. Herweg, and K. Rehkämper (eds.), Raumkonzepte in Verstehenprozessen, Tübingen: Niemeyer, 1989, pp. 99-127.

Hoffman D., Richards W. A., “Parts of Recognition”, Cognition, 18 (1985), 65-96.

Jackson F., Perception. A Representative Theory, Cambridge: Cambridge University Press, 1977.

Lewis D. K., Lewis S. R., “Holes”, Australasian Journal of Philosophy, 48 (1970), 206-212.

Leonard H. S., Goodman N., “The Calculus of Individuals and Its Uses”, Journal of Symbolic Logic, 5 (1940), 45-55.

Martin R. M., Events, Reference, and Logical Form, Washington: Catholic University of America Press, 1978.

Perzanowski J., “Locative Ontology. Parts I-III”, Logic and Logical Philosophy, 1 (1993), 7-94.

Pianesi F., Varzi A. C., “The Mereo-Topology of Event Structures”, [in:] P. Dekker and M. Stokhof (eds.), Proceedings of the 9th Amsterdam Colloquium, Amsterdam: ILLC, 1994, pp. 527-546.

Pianesi F., Varzi A. C., “Events, Topology, and Temporal Relations”, The Monist, 79 (1996), 89-116.

Pianesi F., Varzi A. C., “Refining Temporal Reference in Event Structures”, Notre Dame Journal of Formal Logic, 37 (1996), 71-83.

Randell D. A., Analysing the Familiar: Reasoning about Space and Time in the Everyday World, University of Warwick: PhD Thesis, 1991.

Randell D. A., Cohn A. G., “Modelling Topological and Metrical Properties in Physical Processes”, [in:] R. J. Brachman, H. J. Levesque, and R. Reiter (eds.), Principles of Knowledge Representation and Reasoning. Proceedings of the First International Conference, Los Altos: Morgan Kaufmann, 1989, pp. 357-368.

Randell D. A., Cohn A. G., “Exploiting Lattices in a Theory of Space and Time”, Computers and Mathematics with Applications, 23 (1992), 459-476.

Randell D. A., Cui Z., Cohn A. G., “An Interval Logic of Space Based on `Connection’”, [in:] B. Neumann (ed.), Proceedings of the 10th European Conference on Artificial Intelligence, Chichester: John Wiley & Sons, 1992, pp. 394-398.

Randell D. A., Cui Z., Cohn A. G., “A Spatial Logic Based on Regions and Connections”, [in:] B. Nebel, C. Rich, and W. Swartout (eds.), Principles of Knowledge Representation and Reasoning. Proceedings of the Third International Conference, Los Altos: Morgan Kaufmann, 1992, pp. 165-176.

Shoham Y., “Naive Kinematics: Two Aspects of Shape”, [in:] J. R. Hobbs (ed.), Commonsense Summer: Final Report, Technical Report # CSLI-85-35, Stanford: SRI International, AI Center, 1984, pp. 4:1-25.

Simons P. M., Parts. A Study in Ontology, Oxford: Clarendon, 1987.

Simons P. M., “Free Part-Whole Theory”, [in:] K. Lambert (ed.), Philosophical Applications of Free Logic, Oxford/New York: Oxford University Press, 1991, pp. 285-306.

Smith B., “Ontology and the Logistic Analysis of Reality”, [in:] G. Häfliger and P. M. Simons (eds.), Analytic Phenomenology, Dordrecht, -, Boston, -, London: Kluwer, forthcoming.

Smith B., “Fiat Objects,” [in:] N. Guarino, S. Pribbenow, and L. Vieu (eds.), Parts and Wholes: Conceptual Part-Whole Relations and Formal Mereology. Proceedings of the ECAI94 Workshop, Amsterdam: European Coordinating Commettee for Artificial Intelligence, 1994, pp. 15-23.

Tiles J. E., Things That Happen, Aberdeen: Aberdeen University Press, 1981.

Vandeloise C., Léspace en français: sémantique des prépositions spatiales, Paris: Seuil, 1986 (Eng. trans. by A. R. K. Bosch, Spatial Prepositions. A Case Study from French, Chicago: University of Chicago Press, 1991).

Vandeloise C., “Methodology and analyses of the preposition in”, Cognitive Linguistics, 5 (1994), 157-184.

Varzi A. C., “On the Boundary Between Mereology and Topology”, [in:] R. Casati, B. Smith, and G. White (eds.), Philosophy and the Cognitive Sciences. Proceedings of the 16th International Wittgenstein Symposium, Vienna: Hölder-Pichler-Tempsky, 1994, pp. 423-442.

Varzi A. C., “Boundaries, Continuity, and Contact”, Noûs, forthcoming.

Varzi A. C., “Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology”, Data & Knowledge Engineering, forthcoming.

Vieu L., Sémantique des relations spatiales et inférences spatio-temporelles Une contribution à l'étude des structures formelles de l'espace en Langage Naturel, Université Paul Sabatier de Toulouse: PhD Thesis, 1991.

Whitehead A. N., Process and Reality. An Essay in Cosmology, New York: Macmillan, 1929.

Wunderlich D., “Raum, Zeit, und das Lexicon”, [in:] H. Schweizer (ed.), Sprache und Raum, Stuttgart: Metzler, 1985, pp. 66-89.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism