Barry Smith

Where some have attempted to apply cognitive methods to the study of geography, the present paper is designed to serve as a starting point for applying methods of geographic ontology to the phenomena of cognition. Agglomerations are aggregates of entities that are dispersed through space on geographic scales. Examples include: plagues, biological species, major world religions. The paper applies standard mereotopological theories of spatial regions to agglomerations in this sense. It offers the beginnings of a general theory of the relations between social, cultural, ethnic and religious agglomerations on the one hand and territorially demarcated spatial objects on the other. In this way it serves as the basis for a general ontological theory of types of human groups and also of types of conflict between these groups. At the same time it provides ontological foundations for the epidemiological study of cognitive phenomena, and especially of cognitive phenomena in the sociopolitical realm.

The term ‘formal ontology’ was first used by the philosopher Edmund Husserl in his Logical Investigations to signify the study of those formal structures and relations – above all relations of part and whole – which are exemplified in the subject-matters of the different material sciences. We follow Husserl in presenting the basic concepts of formal ontology as falling into three groups: the theory of part and whole, the theory of dependence, and the theory of boundary, continuity and contact. These basic concepts are presented in relation to the problem of providing an account of the formal ontology of the mesoscopic realm of everyday experience, and specifically of providing an account of the concept of individual substance.

The remarks which follow are intended to address a certain apparent asymmetry as between German and Anglo-Saxon philosophy. Put most simply, it is clear to every philosopher moving backwards and forwards between the two languages that the translation of an Anglo-Saxophone philosophical text into German is in general a much easier task than is the translation of a German philosophical text into English. The hypothesis suggests itself immediately that this is so because English philosophical writings are in the main clear and intelligible, and therefore easy to translate. The texts of German philosophy, on the other hand, both classical and contemporary, seem in many cases to be marked by stylistic obscurities or idiosyncracies of a sort which make them not translatable in the strict sense at all.

This edition of Husserl's correspondence comprises 10 volumes. Its philosophical core is contained in the first four volumes, which correspond to the four phases of Husserl's philosophical career: as follower of Brentano, as mentor of the realist phenomenologists in Munich (the founders of the 'phenomenological movement'), and as professor, successively, in Göttingen and Freiburg. The remaining five volumes pertain to HusserI's correspondence with philosophers and other scholars outside the inner circle of the phenomenological movement, with institutions and editors, and with family members and friends. Volume 10 comprises a masterly introduction to the edition by the editors, Karl and Elisabeth Schuhmann, together with chronological tables and seven separate indexes enabling the user to trace references in the letters to Husserl's own publications, manuscripts and lectures, as well as to persons, institutions and places.

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.

The term ‘Continental philosophy’ designates not philosophy on the continent of Europe as a whole, but rather a selective slice of Franco-German philosophy. Through a critical analysis of the arguments advanced by Otto Neurath, the paper addresses the issue of why Austrian philosophers in particular are not counted in the pantheon of Continental philosophers. Austrian philosophy is marked by the predominance of philosophical analysis and of the philosophy of science. The paper concludes that it is not Austria which is the special case when seen against the background of contemporary mainstream philosophy, but rather Germany and France.

We review an influential series of lectures on analytic philosophy published in 1976 by the West German philosopher Ernst Tugendhat focusing on Tugendhat's treatment of Husserl, and particularly on issues connected with the notion of dependence or Abhängigkeit central to Husserl's philosophy. These issues are of interest not only because Tugendhat's work is one of the few contributions to contemporary analytic philosophy in which they are confronted explicitly, but also because what he has to say about Husserl and dependence illustrates well both the positive and the negative thrust of his argument.

Suppose you own a garden-variety object such as a hat or a shirt. Your property right then follows the ageold saw according to which possession is nine-tenths of the law. That is, your possession of a shirt constitutes a strong presumption in favor of your ownership of the shirt. In the case of land, however, this is not the case. Here possession is not only not a strong presumption in favor of ownership; it is not even clear what possession is. Possessing a thing like a hat or a shirt is a rather straightforward affair: the person wearing the hat or shirt possesses the shirt or the hat. But what is possession in the case of land? This essay seeks to provide an answer to this question in the form of an ontology of landed property.

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.

Works of philosophy written in English have spawned a massive secondary literature dealing with ideas, problems or arguments. But they have almost never given rise to works of ‘commentary’ in the strict sense, a genre which is however a dominant literary form not only in the Confucian, Vedantic, Islamic, Jewish and Scholastic traditions, but also in relation to more recent German-language philosophy. Yet Anglo-Saxon philosophers have themselves embraced the commentary form when dealing with Greek or Latin philosophers outside their own tradition. The paper seeks to establish the reasons for this peculiar asymmetry by examining those factors which might be conducive to the growth of a commentary literature in a given culture.

The Foundational Model of Anatomy (FMA) symbolically represents the structural organization of the human body from the macromolecular to the macroscopic levels, with the goal of providing a robust and consistent scheme for classifying anatomical entities that is designed to serve as a reference ontology in biomedical informatics. Here we articulate the need for formally clarifying the is-a and part-of relations in the FMA and similar ontology and terminology systems. We diagnose certain characteristic errors in the treatment of these relations and show how these errors can be avoided through adoption of the formalism we describe. We then illustrate how a consistently applied formal treatment of taxonomy and partonomy can support the alignment of ontologies.

The dominant theory of judgment in 1870 was one or other variety of combination theory: the act of judgment is an act of combining concepts or ideas in the mind of the judging subject. In the decades to follow a succession of alternative theories arose to address defects in the combination theory, starting with Bolzano’s theory of propositions in themselves, Brentano’s theory of judgment as affirmation or denial of existence, theories distinguishing judgment act from judgment content advanced by Brentano’s students Twardowski, Husserl and Meinong, and finally, Adolf Reinach’s addition of a linguistic dimension to the Brentano-Husserlian theory of judgment – an account of judgments as ways of doing things with words in what Reinach called ‘social acts’.

Affective science conducts interdisciplinary research into the emotions and other affective phenomena. Currently, such research is hampered by the lack of common definitions of te rms used to describe, categorise and report both individual emotional experiences and the results of scientific investigations of such experiences. High quality ontologies provide formal definitions for types of entities in reality and for the relationships between such entities, definitions which can be used to disambiguate and unify data across different disciplines. Heretofore, there has been little effort directed towards such formal representation for affective phenomena, in part because of widespread debates within the affective science community on matters of definition and categorization. We describe our efforts towards developing an Emotion Ontology (EMO) to serve the affective science community. We here focus on conformity to the BFO upper ontology and disambiguation of polysemous terminology.

We begin by describing recent developments in the burgeoning discipline of applied ontology, focusing especially on the ways ontologies are providing a means for the consistent representation of scientific data. We then introduce Basic Formal Ontology (BFO), a top-level ontology that is serving as domain-neutral framework for the development of lower level ontologies in many specialist disciplines, above all in biology and medicine. BFO is a bicategorial ontology, embracing both three-dimensionalist (continuant) and four-dimensionalist (occurrent) perspectives within a single framework. We examine how BFO-conformant domain ontologies can deal with the consistent representation of scientific data deriving from the measurement of processes of different types, and we outline on this basis the first steps of an approach to the classification of such processes within the BFO framework.

From his groundbreaking book Speech Acts to his most recent studies of consciousness, freedom and rationality John Searle has been a dominant and highly influential figure amongst contemporary philosophers. This systematic introduction to the full range of Searle's work begins with the theory of speech acts and proceeds with expositions of Searle's writings on intentionality, consciousness and perception, as well as a careful presentation of the so-called Chinese Room argument. The volume considers Searle's recent work on social ontology and his views on the nature of law and obligation. It concludes with an appraisal of Searle's spirited defence of truth and scientific method in the face of the criticisms of Derrida and other postmodernists. This is the only comprehensive introduction to Searle's work, and as such it will be of particular value to advanced undergraduates, graduates and professionals in philosophy, psychology, linguistics, cognitive and computer science and literary theory.

The thesis that an analysis of property rights is essential to an adequate analysis of the state is a mainstay of political philosophy. The contours of the type of government a society has are shaped by the system regulating the property rights prevailing in that society. Views of this sort are widespread. They range from Locke to Nozick and encompass pretty much everything else in between. Defenders of this sort of view accord to property rights supreme importance. A state that does not sufficiently respect property rights is likely to be a totalitarian state, and will also be likely to fail to respect rights of other sorts.

The National Center for Biomedical Ontology is now in its seventh year. The goals of this National Center for Biomedical Computing are to: create and maintain a repository of biomedical ontologies and terminologies; build tools and web services to enable the use of ontologies and terminologies in clinical and translational research; educate their trainees and the scientific community broadly about biomedical ontology and ontology-based technology and best practices; and collaborate with a variety of groups who develop and use ontologies and terminologies in biomedicine. The centerpiece of the National Center for Biomedical Ontology is a web-based resource known as BioPortal. BioPortal makes available for research in computationally useful forms more than 270 of the world's biomedical ontologies and terminologies, and supports a wide range of web services that enable investigators to use the ontologies to annotate and retrieve data, to generate value sets and special-purpose lexicons, and to perform advanced analytics on a wide range of biomedical data.

It is often claimed that the beginnings of Brentano’s ontology were Aristotelian in nature; but this claim is only partially true. Certainly the young Brentano adopted many elements of Aristotle’s metaphysics, and he was deeply influenced by the Aristotelian way of doing philosophy. But he always interpreted Aristotle’s ideas in his own fashion. He accepted them selectively, and he used them in the service of ends that would not have been welcomed by Aristotle himself. The present paper is an exposition of the development of Brentano’s ontology, beginning with the Lectures on Metaphysics first delivered by Brentano in Würzburg in 1867 and concluding with his late work from 1904–1917.

Since 2002 we have been testing and refining a methodology for ontology development that is now being used by multiple groups of researchers in different life science domains. Gary Merrill, in a recent paper in this journal, describes some of the reasons why this methodology has been found attractive by researchers in the biological and biomedical sciences. At the same time he assails the methodology on philosophical grounds, focusing specifically on our recommendation that ontologies developed for scientific purposes should be constructed in such a way that their terms are seen as referring to what we call universals or types in reality. As we show, Merrill’s critique is of little relevance to the success of our realist project, since it not only reveals no actual errors in our work but also criticizes views on universals that we do not in fact hold. However, it nonetheless provides us with a valuable opportunity to clarify the realist methodology, and to show how some of its principles are being applied, especially within the framework of the OBO (Open Biomedical Ontologies) Foundry initiative.

Formalisms based on one or other flavor of Description Logic (DL) are sometimes put forward as helping to ensure that terminologies and controlled vocabularies comply with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) does indeed comply with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of SNOMED CT classes with respect to these principles. Our major results are: 31% of these classes have a single child; 27% have multiple parents; 51% do not exhibit any differentiae between the description of the parent and that of the child. The applications of this study to quality assurance for ontologies are discussed and suggestions are made for dealing with the phenomenon of multiple inheritance. The advantages and limitations of our approach are also discussed.

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.

In 1929 when Aurel Kolnai published his essay “On Disgust” in Husserl's ]ahrbuch he could truly assert that disgust was a "sorely neglected" topic. Now, however, this situation is changing as philosophers, psychologists, and historians of culture are turning their attention not only to emotions in general but more specifically to the large and disturbing set of aversive emotions, including disgust. We here provide an account of Kolnai’s contribution to the study of the phenomenon of disgust, of his general theory of emotions and of the phenomenological methodology he employed in his work.

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