The paper is an exercise in descriptive ontology, with specific applications to problems in the geographical sphere. It presents a general typology of spatial boundaries, based in particular on an opposition between bona fide or physical boundaries on the one hand, and fiat or human-demarcation-induced boundaries on the other. Cross-cutting this opposition are further oppositions in the realm of boundaries, for example between: crisp and indeterminate, complete and incomplete, enduring and transient, symmetrical and asymmetrical. The resulting typology generates a corresponding (...) categorization of the different sorts of objects which (complete) boundaries determine or demarcate. The theory is applied first of all in the areas of geography and of administrative and property law. Indications are then given as to how the typology may be applied also in other fields where physical and fiat boundaries are at work, including the field of cognitive linguistics and the related field of the ontology of truth. (shrink)

A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith ** The Bounds of Axiomatisation, Graham White ** Rethinking Boundaries, Wojciech Zelaniec ** Sheaf Mereology and Space Cognition, Jean Petitot ** A Mereotopological Definition of 'Point', Carola Eschenbach ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel ** Mass Reference and the Geometry of Solids, Almerindo E. Ojeda (...) ** Defining a 'Doughnut' Made Difficult, N .M. Gotts ** A Theory of Spatial Regions with Indeterminate Boundaries, A.G. Cohn and N.M. Gotts ** Mereotopological Construction of Time from Events, Fabio Pianesi and Achille C. Varzi ** Computational Mereology: A Study of Part-of Relations for Multi-media Indexing, Wlodek Zadrozny and Michelle Kim. (shrink)

Festschrift in Honor of Barry Smith on the occasion of his 65th Birthday. Published as issue 4:4 of the journal Cosmos + Taxis: Studies in Emergent Order and Organization. Includes contributions by Wolfgang Grassl, Nicola Guarino, John T. Kearns, Rudolf Lüthe, Luc Schneider, Peter Simons, Wojciech Żełaniec, and Jan Woleński.

This is a revised and extended version of the formal theory of holes outlined in the Appendix to the book "Holes and Other Superficialities". The first part summarizes the basic framework (ontology, mereology, topology, morphology). The second part emphasizes its relevance to spatial reasoning and to the semantics of spatial prepositions in natural language. In particular, I discuss the semantics of ‘in’ and provide an account of such fallacious arguments as “There is a hole in the sheet. The sheet is (...) in the drawer. Ergo *there is a hole in the drawer”. (shrink)

There are conflicting intuitions concerning the status of a boundary separating two adjacent entities (or two parts of the same entity). The boundary cannot belong to both things, for adjacency excludes overlap; and it cannot belong to neither, for nothing lies between two adjacent things. Yet how can the dilemma be avoided without assigning the boundary to one thing or the other at random? Some philosophers regard this as a reductio of the very notion of a boundary, which should accordingly (...) be treated a mere façon de parler. In this paper I resist this temptation and examine some ways of taking the puzzle at face value within a realist perspective—treating boundaries as ontologically on a par with (albeit parasitic upon) extended parts. (shrink)

The concept of niche (setting, context, habitat, environment) has been little studied by ontologists, in spite of its wide application in a variety of disciplines from evolutionary biology to economics. What follows is a first formal theory of this concept, a theory of the relations between objects and their niches. The theory builds upon existing work on mereology, topology, and the theory of spatial location as tools of formal ontology. It will be illustrated above all by means of simple biological (...) examples, but the concept of niche should be understood as being, like concepts such as part, boundary, and location, a structural concept that is applicable in principle to a wide range of different domains. (shrink)

Philosophers in the field of analytic metaphysics have begun gradually to come to terms with the fact that there are entities in a range of categories not dreamt of in the set-theory and predicate-logic-based ontologies of their forefathers. Examples of such “entia minora” would include: boundaries, places, events, states holes, shadows, individual colour- and tone-instances (tropes), together with combinations of these and associated simple and complex universal species or essences, states of affairs, judgment-contents, and myriad abstract structures of the sorts (...) which are studied by the mathematical sciences. How, as hunter-gatherer ontologists, are we to bring order into this vast array? How are we to gauge the ontological merits of given candidate entities, and how are we to understand their relation to entities of more humdrum sorts? Meinong, it turns out, offers a very simple answer to all of these questions. (shrink)

There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona fide boundaries (...) yield a notion of contact that is effectively modeled by classical topology; the analogue of contact involving fiat boundaries calls, however, for a different account, based on the intuition that fiat boundaries do not support the open/closed distinction on which classical topology is based. In the presence of this two-sorted ontology it then transpires that mereotopology—topology erected on a mereological basis—is more than a trivial formal variant of classical point-set topology. (shrink)

We are used to regarding actions and other events, such as Brutus’ stabbing of Caesar or the sinking of the Titanic, as occupying intervals of some underlying linearly ordered temporal dimension. This attitude is so natural and compelling that one is tempted to disregard the obvious difference between time periods and actual happenings in favor of the former: events become mere “intervals cum description”.1 On the other hand, in ordinary circumstances the point of talking about time is to talk about (...) what actually happens or might happen at some time or another. We talk about ‘now’ and ‘then’ in an effort to put some order in our description of what goes on. And since different events seem to overlap in so many different ways, a full account of their temporal relations seems to run afoul of a reductionist strategy. This raises two philosophical questions. The first is whether we can actually go beyond time, as it were, i.e., whether we can take events as bona fide entities and deal with them directly, just as we can deal with spatial entities such as physical bodies or masses without confining ourselves to their spatial representations. This is a controversial issue (though probably not as controversial as it used to be), and ties in with a number of unsettled problems concerning, e.g., the structure of causality or the definition of adequate identity and individuation criteria for events. 2 The second question is whether we can perhaps do without time, i.e., whether we can dispense with time points or intervals as an independent ontological category and focus only on actual or potential happenings, in opposition to the form of reductionism mentioned above—in short, whether we can account for the temporal dimension in terms of suitable relations among events. This is also a highly controversial issue, and relates to the classical dispute concerning relational vs. absolutist conceptions of (space and) time.3 It is this second question that we intend to focus on here.. (shrink)

This paper contributes with a study of how something that is initially introduced as a ‘technology of spatial distribution’ develops into a ‘technology of the mind’. Boundaries are a phenomenon deeply rooted in social perception and cognitive categorization, which also involves material processes that can sometimes be studied in an archaeological record. In later prehistory, the physical instantiation of this technology offered a solution to a wide range of economic and social problems, posed by an increasingly filled-in and more permanently (...) settled landscape. Important aspects of its initial conceptual and cultural incorporation lasted more than a millennium. However, once this technology attached conceptually as well as culturally, it entailed a quantitative acceleration and became part of a long-term development, the social and juridical consequences of which can be traced far up in historical times. This case is used to discuss the importance of unfolding both the plastic aspects of human cognition and the slow, protracted and long-term aspects involved in cultural changes. (shrink)

The discovery of the importance of mereology follows and does not precede the formalisation of the theory. In particular, it was only after the construction of an axiomatic theory of the part-whole relation by the Polish logician Stanisław Leśniewski that any attempt was made to reinterpret some periods in the history of philosophy in the light of the theory of parts and wholes. Secondly, the push for formalisation - and the individuation of mereology as a specific theoretical field - arise (...) from several particular theories, first from biology and then from psychology. Mereological considerations were explicitly developed within the school of Brentano, by Brentano himself- starting from the problem of the unity of consciousness - and by his students, particularly Stumpl, Twardowski and the Gestaltists. The most complete result of this tradition is undoubtedly the third of Husserl's Logical Investigations, called "the single most important contribution to realist (Aristotelian) ontology in the modern period". (shrink)

This paper expands on the theory of event structures put forward in previous work by further investigating the subtle connections between time and events. Specifically, in the first part we generalize the notion of an event structure to that of a refinement structure, where various degrees of temporal granularity are accommodated. In the second part we investigate how these structures can account for the context-dependence of temporal structures in natural language semantics.

What are the relationships between an entity and the space at which it is located? And between a region of space and the events that take place there? What is the metaphysical structure of localization? What its modal status? This paper addresses some of these questions in an attempt to work out at least the main coordinates of the logical structure of localization. Our task is mostly taxonomic. But we also highlight some of the underlying structural features and we single (...) out the interactions between the notion of localization and nearby notions, such as the notions of part and whole, or of necessity and possibility. A theory of localization—we argue—is needed in order to account for the basic relations between objects and space, and runs afoul a pure part-whole theory. We also provide an axiomatization of the relation of localization and examine cases of localization involving entities different from material objects. (shrink)

According to Whitehead’s rectified principle, two individuals are connected just in case there is something self-connected which overlaps both of them, and every part of which overlaps one of them. Roberto Casati and Achille Varzi have offered a counterexample to the principle, consisting of an individual which has no self-connected parts. But since atoms are self-connected, Casati and Varzi’s counterexample presupposes the possibility of gunk or, in other words, things which have no atoms as parts. So one may still wonder (...) whether Whitehead’s rectified principle follows from the assumption of atomism. This paper presents an atomic countermodel to show the answer is no. (shrink)

Online collection of papers by Devitt, Dretske, Guarino, Hochberg, Jackson, Petitot, Searle, Tye, Varzi and other leading thinkers on philosophy and the foundations of cognitive Science. Topics dealt with include: Wittgenstein and Cognitive Science, Content and Object, Logic and Foundations, Language and Linguistics, and Ontology and Mereology.

Of Chisholm’s many signal contributions to analytic metaphysics, perhaps the most important is his treatment of boundaries, a category of entity that has been neglected, to say the least, in the history of ontology. We can gain some preliminary idea of the sorts of problems which the Chisholmian ontology of boundaries is designed to solve, if we consider the following Zeno-inspired thought-experiment.

Die zeitgenössischen Philosophen haben zwar der Sprache, die wir verwenden, um die Welt der alltäglichen Erfahrung zu beschreiben oder um uns in dieser Welt zurechtzufinden, große Aufmerksamkeit geschenkt, sie haben sich jedoch – von einigen Ausnahmen abgesehen – geweigert, diese Welt selbst als passendes Objekt theoretischer Betrachtungen anzusehen. Im folgenden werde ich versuchen zu zeigen, wie es möglich ist, die Common-Sense-Welt als ontologisch eigenständiges Untersuchungsobjekt zu verstehen. Gleichzeitig werde ich mich bemühen, deutlich zu zeigen, wie eine solch eigenständige Behandlung uns (...) möglicherweise hilft, die Strukturen sowohl der physikalischen Welt als auch der menschlichen Erkenntnis philosophisch besser zu verstehen. (shrink)

We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory (...) subsuming mereology. Some more speculative strategies and directions for further research are also considered. (shrink)

The perception of spatial bodies is at least in part a perception of bodily boundaries or surfaces. The usual mathematical conception of boundaries as abstract constructions is, however, of little use for cognitive science purposes. The essay therefore seeks a more adequate conception of the ontology of boundaries building on ideas in Aristotle and Brentano on what we may call the coincidence of boundaries. It presents a formal theory of boundaries and of the continua to which they belong, of a (...) sort which allows a resolution of certain Zeno-style paradoxes. The theory proves to be applicable not only in the cognitive science field but also in regard to problems relating to the ontology of geographical and geopolitical boundaries. (shrink)

While contemporary philosophers have devoted vast amounts of attention to the language we use in describing and finding our way about the world of everyday experience, they have, with few exceptions, refused to see this world itself as a fitting object of theoretical concern. In what follows I shall seek to show how the commonsensical world might be treated ontologically as an object of investigation in its own right. At the same time I shall seek to establish how such a (...) treatment might help us better philosophically to understand the structures of both physical reality and cognition. (shrink)

Ordinary reasoning about space—we argue—is first and foremost reasoning about things or events located in space. Accordingly, any theory concerned with the construction of a general model of our spatial competence must be grounded on a general account of the sort of entities that may enter into the scope of the theory. Moreover, on the methodological side the emphasis on spatial entities (as opposed to purely geometrical items such as points or regions) calls for a reexamination of the conceptual categories (...) required for this task. Building on material presented in an earlier paper, in this work we offer some examples of what this amounts to, of the difficulties involved, and of the main directions along which spatial theories should be developed so as to combine formal sophistication with some affinity with common sense. (shrink)

Pojęcie niszy (otoczenia, kontekstu, siedliska, środowiska) nie cieszy się specjalnym zainteresowaniem ontologów, mimo że ma szerokie zastosowanie w rozmaitych dyscyplinach, od biologii ewolucyjnej po ekonomię. Niniejszy artykuł zawiera pierwszą teorię formalną tego pojęcia — teorię relacji pomiędzy przedmiotami a ich niszami. Teoria ta opiera się na istniejącym dorobku mereologii, topologii i teorii lokalizacji przestrzennej, które są narzędziami ontologii formalnej. Jest ona tutaj ilustrowana głównie za pomocą prostych przykładów z biologii, ale pojęcie niszy należy rozumieć — podobnie jak pojęcia części, granicy (...) i położenia — jako pojęcie strukturalne, znajdujące zastosowanie w obszernym zakresie różnych dziedzin. (shrink)