Reasoning about space: The hole story

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.

[1]  Achille C. Varzi.  Boundaries, Continuity, and Contact , 1997 .

[2]  D. Randell,et al.  Exploiting lattices in a theory of space and time , 1992 .

[3]  Barry Smith.  Ontology and the logistic analysis of reality , 1993 .

[4]  Achille C. Varzi,et al.  Holes and Other Superficialities , 1994 .

[5]  L. Vieu.  Semantique des relations spatiales et inferences spatio-temporelles : une contribution a l'etude des structures formelles de l'espace en langage naturel , 1991 .

[6]  Claude Vandeloise,et al.  L'espace en français : sémantique des prépositions spatiales , 1988 .

[7]  Richard Milton Martin.  Events, reference, and logical form , 1978 .

[8]  Donald D. Hoffman,et al.  Parts of recognition , 1984, Cognition.

[9]  Achille C. Varzi.  Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology , 1996, Data Knowl. Eng..

[10]  Nicholas Mark Gotts,et al.  How Far Can We 'C'? Defining a 'Doughnut' Using Connection Alone , 1994, KR.

[11]  M. J. Inwood,et al.  The Cambridge Companion to Husserl , 1996 .

[12]  D. Wunderlich,et al.  Raum, Zeit und das Lexikon , 1985 .

[13]  Frank Jackson,et al.  Perception: A representative theory , 1977 .

[14]  Fabio Pianesi,et al.  Events, topology and temporal relations , 1996 .

[15]  Anthony G. Cohn,et al.  Modelling Topological and Metrical Properties in Physical Processes , 1989, KR.

[16]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[17]  B. L. Clark.  Individuals and points. , 1985 .

[18]  J. E. Tiles,et al.  Things that happen , 1981 .

[19]  Patrick J. Hayes,et al.  Naive physics I: ontology for liquids , 1989 .

[20]  Roberto Casati,et al.  Spatial Entities , 1997 .

[21]  Harro Schweizer.  Sprache und Raum , 1985 .

[22]  Nelson Goodman,et al.  The calculus of individuals and its uses , 1940, Journal of Symbolic Logic.

[23]  Jerzy Perzanowski.  Locative ontology. Parts I–III , 2003 .

[24]  Bowman L. Clarke,et al.  Individuals and points , 1985, Notre Dame J. Formal Log..

[25]  C. Vandeloise.  Methodology and analyses of the preposition in , 1994 .

[26]  Timothy Williamson,et al.  Parts. A Study in Ontology , 1990 .

[27]  David Anthony Randell,et al.  Analysing the familiar : reasoning about space and time in the everyday world , 1991 .

[28]  Ernest Davis,et al.  A framework for qualitative reasoning about solid objects , 1989 .

[29]  A. Whitehead.  Process and reality : an essay in cosmology , 1978 .

[30]  Bowman L. Clarke,et al.  A calculus of individuals based on "connection" , 1981, Notre Dame J. Formal Log..

[31]  Anthony G. Cohn,et al.  An Interval Logic for Space Based on "Connection" , 1992, ECAI.

[32]  Nicola Guarino,et al.  Parts and Wholes: Conceptual Part-Whole Relations and Formal Mereology, 11th European Conference on Artificial Intelligence, Amsterdam, 8 August 1994, Amsterdam: , 1994 .

[33]  Fabio Pianesi,et al.  Refining Temporal Reference in Event Structures , 1996, Notre Dame J. Formal Log..

[34]  Anthony G. Cohn,et al.  Taxonomies of logically defined qualitative spatial relations , 1995, Int. J. Hum. Comput. Stud..

[35]  M. Aurnague,et al.  A three-level approach to the semantics of space , 1993 .

[36]  Barry Smith.  Fiat Objects , 2001 .

[37]  Roderick M. Chisholm,et al.  BOUNDARIES AS DEPENDENT PARTICULARS , 1983 .

[38]  Roberto Casati,et al.  Philosophy and the Cognitive Sciences: Proceedings of the 16th International Wittgenstein Symposium, 15-22 August 1993, Kirchberg Am Wechsel (Austria) , 1994 .