Barry Smith

University at Buffalo
National Center for Ontological Research
  • University at Buffalo
    Department of Philosophy
    Biomedical Informatics
    Neurology
    Computer Science and Engineering
    Distinguished Professor, Julian Park Chair
  • National Center for Ontological Research
    Administrator
  • Università della Svizzera Italiana
    Institute of Philosophy (ISFI)
    Visiting Professor (Part-time)
University of Manchester
Department of Philosophy
PhD, 1976
APA Eastern Division
CV
Buffalo, New York, United States of America
  •  1963
    The Substitution Theory of Art
    Grazer Philosophische Studien 25 (1): 533-557. 1985.
    In perceptual experience we are directed towards objects in a way which establishes a real relation between a mental act and its target. In reading works of fiction we enjoy experiences which manifest certain internal similarities to such relational acts, but which lack objects. The substitution theory of art attempts to provide a reason why we seek out such experiences and the artifacts which they generate. Briefly, we seek out works of art because we enjoy the physiology and the phenomenology …Read more
  •  304
    On carcinomas and other pathological entities
    with Anand Kumar, Werner Ceusters, and Cornelius Rosse
    Comparative and Functional Genomics 6 (7/8). 2005.
    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 transform…Read more
  •  603
    A Theory of Granular Partitions
    In Matt Duckham, Michael F. Goodchild & Michael Worboys (eds.), Foundations of Geographic Information Science, Taylor & Francis. pp. 117-151. 2003.
    We have a variety of different ways of dividing up, classifying, mapping, sorting and listing the objects in reality. The theory of granular partitions presented here seeks to provide a general and unified basis for understanding such phenomena in formal terms that is more realistic than existing alternatives. Our theory has two orthogonal parts: the first is a theory of classification; it provides an account of partitions as cells and subcells; the second is a theory of reference or intentional…Read more
  •  340
    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 …Read more
  •  285
    Philosophy and Biomedical Information Systems
    with Bert Klagges
    In Katherine Munn & Barry Smith (eds.), Applied Ontology: An Introduction, Ontos. pp. 17-30. 2008.
    The pathbreaking scientific advances of recent years call for a new philosophical consideration of the fundamental categories of biology and its neighboring disciplines. Above all, the new information technologies used in biomedical research, and the necessity to master the continuously growing flood of data that is associated therewith, demand a profound and systematic reflection on the systematization and classification of biological data. This, however, demands robust theories of basic concep…Read more
  •  337
    Husserlian Ecology
    Human Ontology (Kyoto) 7 9-24. 2001.
    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, a…Read more
  •  417
    Textual Deference
    American Philosophical Quarterly 28 (1). 1991.
    It is a truism that the attitude of deference to the text plays a lesser role in Anglo-Saxon philosophy than in other philosophical traditions. Works of philosophy written in English have, it is true, spawned a massive secondary literature dealing with the ideas, problems or arguments they contain. 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 …Read more
  •  3357
    Visceral Values: Aurel Kolnai on Disgust
    In Carolyn Korsmeyer & Barry Smith (eds.), Visceral Values: Aurel Kolnai on Disgust, Open Court Publishing Company. pp. 1-23. 2004.
    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 …Read more
  •  236
    Les objets sociaux
    Philosophiques 26 (2): 315-347. 1999.
    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 psycho…Read more
  •  391
    Adapting Clinical Ontologies in Real-World Environments
    with Holger Stenzhorn, Stefan Schulz, and Martin Boeker
    Journal of Universal Computer Science 14 (22): 3767-3780. 2008.
    The desideratum of semantic interoperability has been intensively discussed in medical informatics circles in recent years. Originally, experts assumed that this issue could be sufficiently addressed by insisting simply on the application of shared clinical terminologies or clinical information models. However, the use of the term ‘ontology’ has been steadily increasing more recently. We discuss criteria for distinguishing clinical ontologies from clinical terminologies and information models. T…Read more
  •  264
    Austria and the rise of scientific philosophy
    In Arkadiusz Chrudzimski & Wolfgang Huemer (eds.), Phenomenology and analysis: essays on Central European philosophy, Ontos. pp. 33-56. 2004.
    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 …Read more
  •  821
    Realistic Phenomenology
    In Lester Embree (ed.), Encyclopedia of Phenomenology, Kluwer Academic Publishers. pp. 586-590. 1996.
    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-induct…Read more
  •  596
    Changes in an upper level ontology have obvious conse-quences for the domain ontologies that use it at lower levels. It is therefore crucial to document the changes made between successive versions of ontologies of this kind. We describe and apply a method for tracking, explaining and measuring changes between successive versions of upper level ontologies such as the Basic Formal Ontology (BFO). The proposed change-tracking method extends earlier work on Realism-Based Ontology Versioning (RBOV) …Read more
  •  418
    From concepts to clinical reality: An essay on the benchmarking of biomedical terminologies
    Journal of Biomedical Informatics 39 (3): 288-298. 2006.
    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 som…Read more
  •  417
    The Benefits of Realism: A Realist Logic with Applications
    In Katherine Munn & Barry Smith (eds.), Applied Ontology: An Introduction, Ontos. pp. 109-124. 2008.
    We propose a formalization of a realist ontology using first order logic with identity and allowing quantification over terms representing both individuals and universals. In addition to identity, the ontology includes also relational predicates such as subtype, instantiation, parthood, location, and inherence. Inspired in part by Davidson’s treatment of events, the ontology includes also various relations linking events to their participants and to the times at which they occur.
  •  338
    Permanent generic relatedness and silent change
    with Niels Grewe and Ludger Jansen
    In Maureen Donnelly & Giancarlo Guizzardi (eds.), Formal Ontology and Information Systems, Ios. pp. 1-5. 2012.
    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-le…Read more
  •  337
    Some Formal Moments of Truth
    In Werner Leinfellner (ed.), Language and Ontology, Hölder-pichler-tempsky / Reidel. pp. 186-90. 1982.
    A preliminary statement of the formal theory of the truthmaker relation advanced in the paper “Truth-makers” (Mulligan, Simons and Smith) in 1984. Correspondence theories of truth have. I give a brief account of some more or less obvious formal characteristics of this almost forgotten basic truthmaker relation. I then attempt to show how this account may be extended to provide elements of a theory of truth which is in keeping with the spirit of Wittgenstein’s Tractatus.
  •  726
    Law and eschatology in Wittgenstein's early thought
    Inquiry: An Interdisciplinary Journal of Philosophy 21 (1-4). 1978.
    The paper investigates the role played by ethical deliberation and ethical judgment in Wittgenstein's early thought in the light of twentieth?century German legal philosophy. In particular the theories of the phenomenologists Adolf Reinach, Wilhelm Schapp, and Gerhart Husserl are singled out, as resting on ontologies which are structurally similar to that of the Tractatus: in each case it is actual and possible Sachverhalte which constitute the prime ontological category. The study of the relati…Read more
  •  389
    Values in Contexts: An Ontological Theory
    In G. John M. Abbarno (ed.), Inherent and Instrumental Values: Excursions in Value Inquiry, University Press of America. pp. 17-29. 2014.
    Values exist not in isolation, but in complex wholes. Values are what they are because of the complex wholes in which they are situated. To do justice to this thesis will require a holistic ontology, a theory according to which many types of entities exist only as inseparable parts or moments of wider contexts or environments. An ontological theory of environments -- with roots in Gestalt psychology and the ecological psychology of J. J. Gibson and Roger Barker, and which is related also to the …Read more
  •  743
    Strengths and Limitations of Formal Ontologies in the Biomedical Domain
    Electronic Journal of Communication, Information and Innovation in Health 3 (1): 31-45. 2009.
    We propose a typology of representational artifacts for health care and life sciences domains and associate this typology with different kinds of formal ontology and logic, drawing conclusions as to the strengths and limitations for ontology in a description logics framework. The four types of domain representation we consider are: (i) lexico-semantic representation, (ii) representation of types of entities, (iii) representations of background knowledge, and (iv) representation of individuals. W…Read more
  •  279
    Philosophie und biomedizinische Forschung
    with Bert R. E. Klagges
    Allgemeine Zeitschrift für Philosophie 30 (1). 2005.
    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 klassifizier…Read more
  •  929
    Two hundred and sixty-three subjects each gave examples for one of five geographic categories: geographic features, geographic objects, geographic concepts, something geographic, and something that could be portrayed on a map. The frequencies of various responses were significantly different, indicating that the basic ontological terms feature, object, etc., are not interchangeable but carry different meanings when combined with adjectives indicating geographic or mappable. For all of the test p…Read more
  •  767
    Diagrams, Documents, and the Meshing of Plans
    In András Benedek & Kristof Nyiri (eds.), How To Do Things With Pictures: Skill, Practice, Performance, Peter Lang Edition. pp. 165--179. 2013.
    There are two important ways in which, when dealing with documents, we go beyond the boundaries of linear text. First, by incorporating diagrams into documents, and second, by creating complexes of intermeshed documents which may be extended in space and evolve and grow through time. The thesis of this paper is that such aggregations of documents are today indispensable to practically all complex human achievements from law and finance to orchestral performance and organized warfare. Documents p…Read more
  •  189
    Signs and Meanings
    In Peer Bundgaard & Frederik Stjernfelt (eds.), Signs and Meanings: Five Questions, Automatic Press. pp. 199--206. 2009.
    A background piece on the role of ontology in technology research, focusing especially on the use-mention confusion.
  •  261
    Ontologies are today being applied in almost every field to support the alignment and retrieval of data of distributed provenance. Here we focus on new ontological work on dance and on related cultural phenomena belonging to what UNESCO calls the “intangible heritage.” Currently data and information about dance, including video data, are stored in an uncontrolled variety of ad hoc ways. This serves not only to prevent retrieval, comparison and analysis of the data, but may also impinge on our ab…Read more
  •  2074
    On Classifying Material Entities in Basic Formal Ontology
    In Barry Smith, Riichiro Mizoguchi & Sumio Nakagawa (eds.), Interdisciplinary Ontology, Vol. 3: Proceedings of the Third Interdisciplinary Ontology Meeting, Keio University Press. pp. 1-13. 2010.
    Basic Formal Ontology was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is currently undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material entities, and specifically of the category object
  •  571
    Modelling Principles and Methodologies: Relations in Anatomical Ontologies
    with Fabian Neuhaus
    In Albert Burger, Duncan Davidson & Richard Baldock (eds.), Anatomy Ontologies for Bioinformatics: Principles and Practice, Springer. pp. 289--306. 2007.
    It is now increasingly accepted that many existing biological and medical ontologies can be improved by adopting tools and methods that bring a greater degree of logical and ontological rigor. In this chapter we will focus on the merits of a logically sound approach to ontologies from a methodological point of view. As we shall see, one crucial feature of a logically sound approach is that we have clear and functional definitions of the relational expressions such as ‘is a’ and ‘part of ’.
  •  225
    On the Phases of Reism
    In Arkadiusz Chrudzimski & Dariusz Łukasiewicz (eds.), Actions, products, and things: Brentano and Polish philosophy, Ontos. pp. 137--183. 2006.
    Kotarbiński is one of the leading figures in the Lvov-Warsaw school of Polish philosophy. We summarize the development of Kotarbiński’s thought from his early nominalism and ‘pansomatistic reism’ to the later doctrine of ‘temporal phases’. We show that the surface clarity and simplicity of Kotarbiński’s writings mask a number of profound philosophical difficulties, connected above all with the problem of giving an adequate account of the truth of contingent (tensed) predications. The paper will …Read more
  •  41
    First published in 1986 and reprinted in 2010 in the Routledge Revivals series, this book presents the first detailed confrontation between the Austrian school of economics and Austrian philosophy, especially the philosophy of the Brentano school. It contains a study of the roots of Austrian economics in the liberal political theory of the nineteenth-century Hapsburg empire, and a study of the relations between the general theory of value underlying Austrian economics and the new economic approa…Read more
  •  393
    Bodily Systems and the Modular Structure of the Human Body
    with Igor Papakin and Katherine Munn
    Artificial Intelligence in Medicine (Lecture Notes on Artificial Intelligence 2780) 9 86-90. 2003.
    Medical science conceives the human body as a system comprised of many subsystems at a variety of levels. At the highest level are bodily systems proper, such as the endocrine system, which are central to our understanding of human anatomy, and play a key role in diagnosis and in dynamic modeling as well as in medical pedagogy and computer visualization. But there is no explicit definition of what a bodily system is; such informality is acceptable in documentation created for human beings, but f…Read more