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.

The thesis defended is that at a certain arbitrary level of granularity, mountains have sharp, bona fide boundaries. In reply to arguments advanced by Varzi (2001), Smith & Mark (2001, 2003) I argue that the lower limit of a mountain is neither vague nor fiat. Relying on early works by Cayley (1859), Maxwell (1870) and Jordan (1872), this lower limit consists in the lines of watercourse which are defined as the lines of slope starting at passes. Such lines are metaphysically (...) sharply delineated although they are not always easy to get at when facing a mountain. Hence, the indetermination is only epistemic. In the second part of the paper, I try to combine this claim about the lower limit of a mountain with more recent claims advanced by alpinists on the right way to measure the height of a mountain, so as to capture its topographic prominence. I argue following them that the proper height of a mountain is the difference of altitude between its summit and its key-saddle, defined as the highest saddle one needs to cross in order to reach the closest higher summit. Combining this two plausible views about the lower limit and height of a mountain leads to the surprising result that the key-saddle needed to measure the height of a mountain is not necessarily located on the lower-boundary of that mountain. (shrink)

The initial stage for the discussion is the distinction between bona fide and fiat objects drawn by Barry Smith and collaborators in the context of formal ontology. This paper aims at both producing a rationale for introducing a hitherto unrecognized kind of object—here called ‘Interactive Fiat Objects’ (IFOs)—into the ontology of objects, and casting light on the relationship between embodied cognition and interactive ontology with the aid of the concepts of affordance and ad hoc category. I conclude that IFOs are (...) similar to fiat objects, affordances and ad hoc categories in a number of ways, yet they differ from these in important respects. Interaction is key to understanding the existence and peculiarities of IFOs. By adopting an embodied perspective on cognition, we can enrich our ontological typologies and highlight relevant features of our physical and symbolic environment that are otherwise overlooked. This should improve our understanding of object ontology and persuade us to include IFOs in our metaphysical inventories. (shrink)

We propose a modular ontology of the dynamic features of reality. This amounts, on the one hand, to a purely spatial ontology supporting snapshot views of the world at successive instants of time and, on the other hand, to a purely spatiotemporal ontology of change and process. We argue that dynamic spatial ontology must combine these two distinct types of inventory of the entities and relationships in reality, and we provide characterizations of spatiotemporal reasoning in the light of the interconnections (...) between them. (shrink)

The shape of the Earth's surface, its topography, is a fundamental dimension of the environment, shaping or mediating many other environmental flows or functions. But there is a major divergence in the way that topography is conceptualized in different domains. Topographic cartographers, information scientists, geomorphologists and environmental modelers typically conceptualize topographic variability as a continuous field of elevations or as some discrete approximation to such a field. Pilots, explorers, anthropologists, ecologists, hikers, and archeologists, on the other hand, typically conceptualize this (...) same variability in terms of hills and valleys, mountains and plains, barrows and trenches, that is, as (special sorts of) objects, with locations, shapes, and often names of their own. In this chapter, we sketch an approach to bridging this fundamental gap in geographic information infrastructure. (shrink)

A critical survey of the fundamental philosophical issues in the logic and formal ontology of space, with special emphasis on the interplay between mereology (the theory of parthood relations), topology (broadly understood as a theory of qualitative spatial relations such as continuity and contiguity), and the theory of spatial location proper.

GUM is a linguistically-motivated ontology originally developed to support natural language processing systems by offering a level of representation intermediate between linguistic forms and domain knowledge. Whereas modeling decisions for individual domains may need to be responsive to domain-specific criteria, a linguistically-motivated ontology offers a characterization that generalizes across domains because its design criteria are derived independently both of domain and of application. With respect to this mediating role, the use of GUM resembles the adoption of upper ontologies as tools (...) for mediating across domains and for supporting domain modeling. This paper briefly introduces the ontology, setting out its origins, design principles and applications. The example cases for this special issue are then described, illustrating particularly some of the principal differences and similarities of GUM to non-linguistically motivated upper ontologies. (shrink)

Biomedical research is increasingly a matter of the navigation through large computerized information resources deriving from functional genomics or from the biochemistry of disease pathways. To make such navigation possible, controlled vocabularies are needed in terms of which data from different sources can be unified. One of the most influential developments in this regard is the so-called Gene Ontology, which consists of controlled vocabularies of terms used by biologists to describe cellular constituents, biological processes and molecular functions, organized into hierarchies (...) via the relation of class subsumption. Here we seek to provide a rigorous account of the logic of classification that underlies GO and similar biomedical ontologies. Drawing on Aristotle, we develop a system of axioms and definitions for the treatment of biological classes and instances. (shrink)