Barry Smith

Analytical philosophy of the last one hundred years has been heavily influenced by a doctrine to the effect that one can arrive at a correct ontology by paying attention to certain superficial (syntactic) features of first-order predicate logic as conceived by Frege and Russell. More specifically, it is a doctrine to the effect that the key to the ontological structure of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of first-order logic, where ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “f(a)ntology”. Because predicate logic has exactly two syntactically different kinds of referring expressions—‘F’, ‘G’, ‘R’, etc., and ‘a’, ‘b’, ‘c’, etc.—so reality must consist of exactly two correspondingly different kinds of entity: the general (properties, concepts) and the particular (things, objects), the relation between these two kinds of entity being revealed in the predicate-argument structure of atomic formulas in first-order logic.

My own philosophical interests led me to investigate the letter which Smith submitted to The Times, along with eighteen other signatures from renowned philosophers, each objecting to the honorary degree which Cambridge was about to award Jacques Derrida. While Smith's letter has been esteemed for sober defense of philosophy, it has also been viewed as rather notorious by Derrida and postmodern sympathizers. After having contacted Smith at the State University of New York at Buffalo, we agreed to meet and discuss the matter in more detail. What follows are my inquiries, and his account, of his letter to The Times letters page, 9 May, 1992.

We outline Brentano’s theory of boundaries, for instance between two neighboring subregions within a larger region of space. Does every such pair of regions contain points in common where they meet? Or is the boundary at which they meet somehow pointless? On Brentano’s view, two such subregions do not overlap; rather, along the line where they meet there are two sets of points which are not identical but rather spatially coincident. We outline Brentano’s theory of coincidence, and show how he uses it to resolve a number of Zeno-like paradoxes.

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

Neo-Kantianism is common conceived as a philosophy ‘from above’, excelling in speculative constructions – as opposed to the attitude of patient description which is exemplified by the phenomenological turn ‘to the things themselves’. When we study the work of Emil Lask in its relation to that of Husserl and the phenomenologists, however, and when we examine the influences moving in both directions, then we discover that this idea of a radical opposition is misconceived. Lask himself was influenced especially by Husserl’s Logical Investigations, and Husserl, especially in his later writings, was in some respects closer to Kant than were the Neo-Kantians. The contrast between the two philosophers can be illustrated by looking at their view of the objects of judgment; for Lask, as for Kant, judgment can relate to the thing as such only in an indirect way. The world of judgment is a collection of ‘imitations holding a secondary position’. It is cut apart from the plain world of real things by what Lask calls a ‘chasm of artificiality and imagery’. For Husserl, in contrast, the object of judgment is a ‘Sachverhalt’ or state of affairs, something ontologically ‘positive’ in the sense that it is an entity in its own right and does not point beyond itself in the manner of a mere sign or proxy for something else.

Is it possible to compare civilizations one with another? Is it possible, in other words, to construct some neutral and objective framework in terms of which we could establish in what respects one civilization might deserve to be ranked more highly than its competitors? Morality will surely provide one axis of such a framework (and we note in passing that believers in Islam might quite reasonably claim that their fellow-believers are characteristically more moral than are many in the West). Criteria such as material well-being will need to play a role, too, as also will happiness or pleasure (and again we note that it is not clear a priori that there is more happiness in the West than there is in other civilizations). But even happiness (pace some proponents of the utilitarian philosophy) comes in different types, and to count in the civilization stakes the happiness involved would presumably need to be of the right kind. We explore what this might mean in terms of the idea of a self-chosen life plan.

Why does ‘ethnic cleansing’ occur? Why does the rise of nationalist feeling in Europe and of Black separatist movements in the United States often go hand in hand with an upsurge of anti-Semitism? Why do some mixings of distinct religious and ethnic groups succeed, where others (for example in Northern Ireland, or in Bosnia) fail so catastrophically? Why do phrases like ‘balkanisation’, ‘dismemberment’, ‘mutilation’, ‘violation of the motherland’ occur so often in warmongering rhetoric? All of these questions are, it will turn out, connected. To understand how they are connected we we will need to examine how human beings acquire a relationship to specific chunks of land, a relationship that is emotionally so strong that they are prepared to die – or kill – to protect that land for themselves or to win it back from others. Territoriality, the biologically rooted predisposition to defend core areas of home ranges against intruders, is a near-universal phenomenon amongst animals of all species. But the ways in which defended territories are conceived and demarcated differ widely from species to species and from group to group. By coming to an understanding of the geometry of these differences we can come to understand also some of the factors which give rise to interethnic conflict.

Provides a survey of the development of speech act theory from Aristotle through Reid and Peirce to Edmund Husserl, Anton Marty, Johannes Daubert, Adolf Reinach, and finally to Austin and Searle. A special role is played by Husserl's theory of objectifying acts (meaning, roughly, acts of naming or stating) and of the efforts by his followers to extend this theory to cover phenomena such as questioning and commanding. These efforts culminated in the work of Adolf Reinach, who developed the first systematic theory of speech acts in connection with his monograph of 1913 on “The A Priori Foundations of the Civil Law”.

In what respects is Western civilization superior or inferior to its rivals? In raising this question we are addressing a particularly strong form of the problem of relativism. For in order to compare civilizations one with another we would need to be in possession of a framework that is neutral and objective, a framework based on principles of evaluation which would be acceptable, in principle, to all human beings. Morality will surely provide one axis of such a framework (and we note in passing that believers in Islam might quite reasonably claim that their fellow-believers are characteristically more moral than are many in the West). Criteria such as material wellbeing, too, will need to play a role, as also will happiness or pleasure (and again we note that it is not clear a priori that there is more happiness in the West than there is among the citizens of other civilizations). Since, however, these axes of evaluation do not run in tandem, we cannot expect to be able to formulate some single criterion which would enable us to rank civilizations in a simple unilinear order. Even happiness (pace some proponents of the utilitarian philosophy) comes in different types, and to count in the civilization stakes the happiness involved would presumably need to be of the right kind. Thus it is not clear that happiness derived from, say, taking drugs or torturing small animals is going to be able to count in favor of a civilization as much as, say, happiness derived from reading poetry or planting corn. Hence, for these and other reasons, we will have to deal with a multidimensional framework, in which some civilizations may excel along some axes but do badly on others. A further problem turns on the fact that there is no such relation as better than. Rather, when A is better than B then this is always in some respect C. Yet even when we compare one thing with another in some given respect we are not always dealing with a simple linear order. This is because the relation ‘being better than in respect C’ is not in every case transitive..

In un articolo comparso sul Wall Street Journal del 13 novembre 2oi:n viene descritto il modo in cui i computer potrebbero essere utilizzati al fine di allertare i responsabili della salute pubblica in relazione ad eventuali problemi provocati dal bioterrorismo. L'autore nota come gli attacchi biologici sarebbero probabilmente contraddistinti da picchi statistici negli acquisti senza ricetta medica di rimedi per specifici disturbi di tipo comune e come i dati che riguardano tali acquisti possano essere resi disponibili immediatamente grazie agli inventari computerizzati dei rivenditori.

La ricerca medica è afflitta da un problema di comunicazione. Comunità distinte di ricercatori si servono di terminologie diverse e spesso incompatibili per esprimere i risultati del loro lavoro, generando in questo modo problemi di integrazione tra database ogniqualvolta si presenti la necessità di inserire i dati medici nei computer. In un primo momento i problemi di integrazione tra database venivano risolti caso per caso, in seguito si è fatta strada l’idea di realizzare un’unica tassonomia di riferimento in cui tradurre, una volta soltanto, tutti i vari sistemi di classificazione. Funzionando come una sorta di lingua franca, questa tassonomia di riferimento avrebbe automaticamente garantito ad ogni database calibrato su di essa la compatibilità con tutti gli altri. È curioso come gli informatici abbiano chiamato il sistema centrale di classificazione che stavano proponendo un’ontologia, riconoscendo così l’esistenza di più di un’affinità tra il lavoro di costruzione che un simile sistema comportava e la vecchia metafisica. Il presente articolo descrive un tentativo di sfruttare le risorse della filosofia per risolvere problemi che sorgono, in particolar modo, nel campo dell’integrazione delle terminologie mediche. Vengono delineati in particolare i contorni di un’iniziativa che è il frutto della collaborazione tra l’Istituto di Ontologia Formale e Informatica Medica e la società di software belga Language and Computing, iniziativa che prevede la messa alla prova di un’ontologia fondata su solidi principi filosofici nel contesto di potenti strumenti software per l’elaborazione di testo medico.

Description logics and other formal devices are frequently used as means for preventing or detecting mistakes in ontologies. Some of these devices are also capable of inferring the existence of inter-concept relationships that have not been explicitly entered into an ontology. A prerequisite, however, is that this information can be derived from those formal definitions of concepts and relationships which are included within the ontology. In this paper, we present a novel algorithm that is able to suggest relationships among existing concepts in a formal ontology that are not derivable from such formal definitions. The algorithm exploits cross-lingual information that is implicitly present in the collection of terms used in various languages to denote the concepts and relationships at issue. By using a specific experimental design, we are able to quantify the impact of cross-lingual information in coping with underspecification in formal ontologies.

Researchers in areas such as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realise that a solid foundation for their research calls for serious work in ontology, understood as a general theory of the types of entities and relations that make up their respective domains of inquiry. In all these areas, attention is now being focused on the content of information rather than on just the formats and languages used to represent information. The clearest example of this development is provided by the many initiatives growing up around the project of the Semantic Web. And, as the need for integrating research in these different fields arises, so does the realisation that strong principles for building well-founded ontologies might provide significant advantages over ad hoc, case-based solutions. The tools of formal ontology address precisely these needs, but a real effort is required in order to apply such philosophical tools to the domain of information systems. Reciprocally, research in the information sciences raises specific ontological questions which call for further philosophical investigations. The purpose of FOIS is to provide a forum for genuine interdisciplinary exchange in the spirit of a unified effort towards solving the problems of ontology, with an eye to both theoretical issues and concrete applications. This book contains a wide range of areas, all of which are important to the development of formal ontologies.

The problem of disgust has until recently been neglected in the scientific literature. In comparison to the scientific (psychological and metaphysical) interest that has been applied to hatred, anxiety, and similar phenomena, disgust — although a common and important factor in our emotional life — has been unexplored, or it has been viewed as a “higher degree of dislike,” as “nausea,” or as a phenomenon of the “repression of urges.” We here show how the feeling of disgust possesses a unique and characteristic quality on the basis of a phenomenological investigation.

We present the details of a methodology for quality assurance in large medical terminologies and describe three algorithms that can help terminology developers and users to identify potential mistakes. The methodology is based in part on linguistic criteria and in part on logical and ontological principles governing sound classifications. We conclude by outlining the results of applying the methodology in the form of a taxonomy different types of errors and potential errors detected in SNOMED-CT.

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology will greatly benefit software application ontologies. To this end LinKBase®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this, we aim to move beyond the level of controlled vocabularies to yield an ontology with the ability to support reasoning applications.

We propose as a UCGIS research priority the topic of “Ontological Foundations for Geographic Information.” Under this umbrella we unify several interrelated research subfields, each of which deals with different perspectives on geospatial ontologies and their roles in geographic information science. While each of these subfields could be addressed separately, we believe it is important to address ontological research in a unitary, systematic fashion, embracing conceptual issues concerning what would be required to establish an exhaustive ontology of the geospatial domain, issues relating to the choice of appropriate methods for formalizing ontologies, and considerations regarding the design of ontology-driven information systems. This integrated approach is necessary, because there is a strong dependency between the methods used to specify an ontology, and the conceptual richness, robustness and tractability of the ontology itself. Likewise, information system implementations are needed as testbeds of the usefulness of every aspect of an exhaustive ontology of the geospatial domain. None of the current UCGIS research priorities provides such an integrative perspective, and therefore the topic of “Ontological Foundations for Geographic Information Science” is unique.

The automatic integration of information resources in the life sciences is one of the most challenging goals facing biomedical informatics today. Controlled vocabularies have played an important role in realizing this goal, by making it possible to draw together information from heterogeneous sources secure in the knowledge that the same terms will also represent the same entities on all occasions of use. One of the most impressive achievements in this regard is the Gene Ontology (GO), which is rapidly acquiring the status of a de facto standard in the field of gene and gene product annotations, and whose methodology has been much intimated in attempts to develop controlled vocabularies for shared use in different domains of biology. The GO Consortium has recognized, however, that its controlled vocabulary as currently constituted is marked by several problematic features - features which are characteristic of much recent work in bioinformatics and which are destined to raise increasingly serious obstacles to the automatic integration of biomedical information in the future. Here, we survey some of these problematic features, focusing especially on issues of compositionality and syntactic regimentation.

There are a number of existing classifications and staging schemes for carcinomas, one of the most frequently used being the TNM classification. Such classifications represent classes of entities which exist at various anatomical levels of granularity. We argue that in order to apply such representations to the Electronic Health Records one needs sound ontologies which take into consideration the diversity of the domains which are involved in clinical bioinformatics. Here we outline a formal theory for addressing these issues in a way that the ontologies can be used to support inferences relating to entities which exist at different anatomical levels of granularity. Our case study is the colon carcinoma, one of the most common carcinomas prevalent within the European population.

The last two decades have seen considerable efforts directed towards making Electronic Health Records interoperable through improvements in medical ontologies, terminologies and coding systems. Unfortunately, these efforts have been hampered by a number of influential ideas inherited from the work of Eugen Wüster, the father of terminology standardization and the founder of ISO TC 37. We here survey Wüster’s ideas – which see terminology work as being focused on the classification of concepts in people’s minds – and we argue that they serve still as the basis for a series of influential confusions. We argue further that an ontology based unambiguously, not on concepts, but on the classification of entities in reality can, by removing these confusions, make a vital contribution to ensuring the interoperability of coding systems and healthcare records in the future.

Clinical guidelines are special types of plans realized by collective agents. We provide an ontological theory of such plans that is designed to support the construction of a framework in which guideline-based information systems can be employed in the management of workflow in health care organizations. The framework we propose allows us to represent in formal terms how clinical guidelines are realized through the actions of are realized through the actions of individuals organized into teams. We provide various levels of implementation representing different levels of conformity on the part of health care organizations. Implementations built in conformity with our framework are marked by two dimensions of flexibility that are designed to make them more likely to be accepted by health care professionals than standard guideline-based management systems. They do justice to the fact 1) that responsibilities within a health care organization are widely shared, and 2) that health care professionals may on different occasions be non-compliant with guidelines for a variety of well justified reasons. The advantage of the framework lies in its built-in flexibility, its sensitivity to clinical context, and its ability to use inference tools based on a robust ontology. One disadvantage lies in its complicated implementation.

For corporate memory and enterprise ontology systems to be maximally useful, they must be freed from certain barriers placed around them by traditional knowledge management paradigms. This means, above all, that they must mirror more faithfully those portions of reality which are salient to the workings of the enterprise, including the changes that occur with the passage of time. The purpose of this chapter is to demonstrate how theories based on philosophical realism can contribute to this objective. We discuss how realism-based ontologies (capturing what is generic) combined with referent tracking (capturing what is specific) can play a key role in building the robust and useful corporate memories of the future.

The automatic integration of rapidly expanding information resources in the life sciences is one of the most challenging goals facing biomedical research today. Controlled vocabularies, terminologies, and coding systems play an important role in realizing this goal, by making it possible to draw together information from heterogeneous sources – for example pertaining to genes and proteins, drugs and diseases – secure in the knowledge that the same terms will also represent the same entities on all occasions of use. In the naming of genes, proteins, and other molecular structures, considerable efforts are under way to reduce the effects of the different naming conventions which have been spawned by different groups of researchers. Electronic patient records, too, increasingly involve the use of standardized terminologies, and tremendous efforts are currently being devoted to the creation of terminology resources that can meet the needs of a future era of personalized medicine, in which genomic and clinical data can be aligned in such a way that the corresponding information systems become interoperable.

PURPOSE—A substantial fraction of the observations made by clinicians and entered into patient records are expressed by means of negation or by using terms which contain negative qualifiers (as in “absence of pulse” or “surgical procedure not performed”). This seems at first sight to present problems for ontologies, terminologies and data repositories that adhere to a realist view and thus reject any reference to putative non-existing entities. Basic Formal Ontology (BFO) and Referent Tracking (RT) are examples of such paradigms. The purpose of the research here described was to test a proposal to capture negative findings in electronic health record systems based on BFO and RT. METHODS—We analysed a series of negative findings encountered in 748 sentences taken from 41 patient charts. We classified the phenomena described in terms of the various top-level categories and relations defined in BFO, taking into account the role of negation in the corresponding descriptions. We also studied terms from SNOMED-CT containing one or other form of negation. We then explored ways to represent the described phenomena by means of the types of representational units available to realist ontologies such as BFO. RESULTS—We introduced a new family of ‘lacks’ relations into the OBO Relation Ontology. The relation lacks_part, for example, defined in terms of the positive relation part_of, holds between a particular p and a universal U when p has no instance of U as part. Since p and U both exist, assertions involving ‘lacks_part’ and its cognates meet the requirements of positivity. CONCLUSION—By expanding the OBO Relation Ontology, we were able to accommodate nearly all occurrences of negative findings in the sample studied.

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.