Barry Smith

There are some who defend a view of vagueness according to which there are intrinsically vague objects or attributes in reality. Here, in contrast, we defend a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally good candidates for being its extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We show that this theory provides a general framework within which we can understand the relation between vague terms and concepts on the one hand and correlated portions of reality on the other. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches.

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’.

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.

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.

When national borders in the modern sense first began to be established in early modern Europe, non-contiguous and perforated nations were a commonplace. According to the conception of the shapes of nations that is currently preferred, however, nations must conform to the topological model of circularity; their borders must guarantee contiguity and simple connectedness, and such borders must as far as possible conform to existing topographical features on the ground. The striving to conform to this model can be seen at work today in Quebec and in Ireland, it underpins much of the rhetoric of the P.L.O., and was certainly to some degree involved as a motivating factor in much of the ethnic cleansing which took place in Bosnia in recent times. The question to be addressed in what follows is: to what extent could inter-group disputes be more peacefully resolved, and ethnic cleansing avoided, if political leaders, diplomats and others involved in the resolution of such disputes could be brought to accept weaker geometrical constraints on the shapes of nations? A number of associated questions then present themselves: What sorts of administrative and logistical problems have been encountered by existing non contiguous nations and by perforated nations, and by other nations deviating in different ways from the received geometrical ideal? To what degree is the desire for continuity and simple connectedness a rational desire, and to what degree does it rest on species of political rhetoric which might be countered by, for example, philosophical argument? These and a series of related questions will form the subject- matter of the present essay

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.

We present an ontology of pain and of other pain-related phenomena, building on the definition of pain provided by the International Association for the Study of Pain (IASP). Our strategy is to identify an evolutionarily basic canonical pain phenomenon, involving unpleasant sensory and emotional experience based causally in localized tissue damage that is concordant with that experience. We then show how different variant cases of this canonical pain phenomenon can be distinguished, including pain that is elevated relative to peripheral trauma, pain that is caused neuropathically (thus with no necessary peripheral stimulus), and pain reports arising through deception either of self or of others. We describe how our approach can answer some of the objections raised against the IASP definition, and sketch how it can be used to support more sophisticated discrimination of different types of pain resulting in improved data analysis that can help in advancing pain research.

This paper proposes a reformulation of the treatment of boundaries, at parts and aggregates of entities in Basic Formal Ontology. These are currently treated as mutually exclusive, which is inadequate for biological representation since some entities may simultaneously be at parts, boundaries and/or aggregates. We introduce functions which map entities to their boundaries, at parts or aggregations. We make use of time, space and spacetime projection functions which, along the way, allow us to develop a simple temporal theory

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.

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.

We present a novel methodology for calculating the improvements obtained in successive versions of biomedical ontologies. The theory takes into account changes both in reality itself and in our understanding of this reality. The successful application of the theory rests on the willingness of ontology authors to document changes they make by following a number of simple rules. The theory provides a pathway by which ontology authoring can become a science rather than an art, following principles analogous to those that have fostered the growth of modern evidence-based medicine. Although in this paper we focus on ontologies, the methodology can be generalized to other sorts of terminology-based artifacts, including Electronic Patient Records.

When does a human being begin to exist? We argue that it is possible, through a combination of biological fact and philosophical analysis, to provide a definitive answer to this question. We lay down a set of conditions for being a human being, and we determine when, in the course of normal fetal development, these conditions are first satisfied. Issues dealt with along the way include: modes of substance-formation, twinning, the nature of the intra-uterine environment, and the nature of the relation between fetus and mother (connection, parthood, dependence).

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.

If mind is a creature of adaptation, then our standard theories of intentionality and of mental representation are in need of considerable revision. For such theories, deriving under Cartesian inspiration from the work of Brentano, Husserl and their followers, are context-free. They conceive the subject of mental experience in isolation from any surrounding physico-biological environment. Husserl sought in his later writings to find room for the surrounding world of human practical experience, and a similar expansion of concerns can be detected also in the writings of other later phenomenologists such as Heidegger, Sartre, and Merleau-Ponty. But in none of these authors do we find sustained attempts to grapple with the intervolvements of the world of human thought, feeling and action with the environment of human behavior as this is described by physics and biology. Their work can, however, be seen in a new light when conjoined with the ideas on perception and action of J. J. Gibson and Roger Barker, both of whom (independently) conceived their work under the banner of 'ecological psychology.' It is against this background that the term 'Husserlian ecology' is to be understood in this essay.

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.

Tumors, abscesses, cysts, scars, fractures are familiar types of what we shall call pathological continuant entities. The instances of such types exist always in or on anatomical structures, which thereby become transformed into pathological anatomical structures of corresponding types: a fractured tibia, a blistered thumb, a carcinomatous colon. In previous work on biomedical ontologies we showed how the provision of formal definitions for relations such as is_a, part_of and transformation_of can facilitate the integration of such ontologies in ways which have the potential to support new kinds of automated reasoning. We here extend this approach to the treatment of pathologies, focusing especially on those pathological continuant entities which arise when organs become affected by carcinomas.

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.

The tradition of realist phenomenology was founded in around 1902 by a group of students in Munich interested in the newly published Logical Investigations of Edmund Husserl. Initial members of the group included Johannes Daubert, Alexander Pfänder, Adolf Reinach and Max Scheler. With Reinach’s move to Göttingen the group acquired two new prominent members – Edith Stein and Roman Ingarden. The group’s method turned on Husserl’s idea that we are in possession a priori (which is to say: non-inductive) knowledge of entities (for example, colors, tones, values, shapes) of a range of different sorts. Pfänder applied this method in his descriptive psychology of willing and motivation, Reinach (anticipating the later speech act theory) to what he called ‘social acts’, Stein to the ontology of communities, and Ingarden to works of art and aesthetic phenomena. The movement latter, through Ingarden, lived on in Poland, where it influenced the young Karol Wojtyła.

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.

It is only by fixing on agreed meanings of terms in biomedical terminologies that we will be in a position to achieve that accumulation and integration of knowledge that is indispensable to progress at the frontiers of biomedicine. Standardly, the goal of fixing meanings is seen as being realized through the alignment of terms on what are called ‘concepts’. Part I addresses three versions of the concept-based approach – by Cimino, by Wüster, and by Campbell and associates – and surveys some of the problems to which they give rise, all of which have to do with a failure to anchor the terms in terminologies to corresponding referents in reality. Part II outlines a new, realist solution to this anchorage problem, which sees terminology construction as being motivated by the goal of alignment not on concepts but on the universals (kinds, types) in reality and thereby also on the corresponding instances (individuals, tokens). We outline the realist approach, and show how on its basis we can provide a benchmark of correctness for terminologies which will at the same time allow a new type of integration of terminologies and electronic health records. We conclude by outlining ways in which the framework thus defined might be exploited for purposes of diagnostic decision-support.

Given the assertion of a relation between two types, like: “Epidermis has part some Keratinocyte”, we define silent change as any kind of change of the instance-relata of the relation in question that does not change the truth-value of the respective type-level assertion. Such assertions are notoriously difficult to model in OWL 2. To address this problem, we distinguish different modes of type-level relatedness giving rise to this problem and describe a conservative extension to the BFO top-level ontology that allows expressing these modes.

One reason for the renewed interest in Austrian philosophy, and especially in the work of Brentano and his followers, turns on the fact that analytic philosophers have become once again interested in the traditional problems of metaphysics. It was Brentano, Husserl, and the philosophers and psychologists whom they influenced, who drew attention to the thorny problem of intentionality, the problem of giving an account of the relation between acts and objects or, more generally, between the psychological environments of cognitive subjects and the different sorts of external (physical, geographical, social) environments which they inhabit. The present essay addresses this environmental version of the problem of intentionality. It draws not only on the work of Husserl and Scheler but also on the Gestalt psychological writings of Kurt Koffka and Kurt Lewin. It considers the influential subjective idealist theory of animal environments put forward by J. von Uexküll and contrasts this with a realist theory of organism-environment interaction based on the work of the ecological psychologists J. J. Gibson and Roger Barker. This realist theory is then exploited as a basis for an ontology of social objects of a range of different sorts.

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.

Die bahnbrechenden wissenschaftlichen Ergebnisse der letzten Jahre erzwingen eine neue philosophische Auseinandersetzung mit den Grundkategorien der Biologie und der benachbarten Disziplinen. Insbesondere die Anwendung neuer informationstechnischer Mittel in der biomedizinischen Forschung und die damit verbundene, kontinuierlich zunehmende Datenflut sowie die Notwendigkeit, ihrer Herr zu werden, erfordern ein konsequentes Nachdenken darüber, wie biologische Daten systematisiert und klassifiziert werden können. Dafür wiederum bedarf es robuster Theorien von Grundbegriffen wie Art, Spezies, Teil, Ganzes, Funktion, Prozess, Fragment, Sequenz, Expression, Grenze, Locus, Umwelt, System usw. Solche Begriffe gehören zum impliziten Wissen jedes Biologen. Sie spiegeln einerseits eine Dimension der biologischen Wirklichkeit wider, die auch vor dem Hintergrund der biologischen Evolution unverändert bleibt. Andererseits verlangt deren theoretische Behandlung nach zeitgemäßen Analoga der in der traditionellen aristotelischen Metaphysik entwickelten Methoden. Zugleich können so die explizit formulierten Theorien und Definitionen bereitgestellt werden, die für computergestützte Informationssysteme unabdingbar sind. Das Entwickeln derartiger Theorien und Definitionen ist eine Aufgabe der Philosophie, die in diesem Sinne herausgefordert ist, zwischen Biologie und Informatik zu vermitteln.

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.