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
  •  1957
    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
  •  265
    It
    In Rudolf Haller & Wolfgang Grassl (eds.), Language, Logic and Philosophy, Reidel. 1980.
    A brief study of the logical, linguistic, psychological and ontological problem of ‘impersonalia’, which is to say of assertions such as ‘it’s raining’ or ‘es blitzt’ which seem to have no subject. Such assertions cause problems not only for defenders of traditional subject-predicate views of assertive sentences, but also for those, such as Frege, who defended a view in terms of functions and arguments.
  •  926
    This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in …Read more
  •  670
    The National Center for Biomedical Ontology
    with Mark A. Musen, Natalya F. Noy, Nigam H. Shah, Patricia L. Whetzel, Christopher G. Chute, and Margaret-Anne Story
    Journal of the American Medical Informatics Association 19 (2): 190-195. 2012.
    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 variet…Read more
  •  755
    Ontological realism: A methodology for coordinated evolution of scientific ontologies
    with Werner Ceusters
    Applied ontology 5 (3): 139-188. 2010.
    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 fo…Read more
  •  284
    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
  •  18
    See revised version in Barry Smith, Austrian Philosophy, chapter 4; available online at: http://ontology.buffalo.edu/smith/book/austrian_philosophy/
  •  449
    Truthmaker Explanations
    In Jean-Maurice Monnoyer (ed.), Metaphysics and Truthmakers, Ontos Verlag. pp. 79-98. 2007.
    This paper is a fresh attempt to articulate the role of a theory of truthmakers. We argue that truthmaker theory constitutes a cornerstone of good methodology in metaphysics, but that a conflation of truthmaker theory with the theory of truth has been responsible for certain excesses associated with truthmaker-based approaches in the recent literature. If truthmaker theory is not a component of a theory of truth, then truthmaker maximalism – the view that every truth has a truthmaker – loses its…Read more
  •  336
    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.
  •  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
  •  382
    Ontological Support for Living Plan Specification, Execution and Evaluation
    with Erik Thomsen, Fred Read, William Duncan, and Tatiana Malyuta
    In Erik Thomsen, Fred Read, William Duncan, Tatiana Malyuta & Barry Smith (eds.), Semantic Technology in Intelligence, Defense and Security (STIDS), CEUR vol. 1304, . pp. 10-17. 2014.
    Maintaining systems of military plans is critical for military effectiveness, but is also challenging. Plans will become obsolete as the world diverges from the assumptions on which they rest. If too many ad hoc changes are made to intermeshed plans, the ensemble may no longer lead to well-synchronized and coordinated operations, resulting in the system of plans becoming itself incoherent. We describe in what follows an Adaptive Planning process that we are developing on behalf of the Air Force …Read more
  •  3355
    Visceral Values: Aurel Kolnai on Disgust
    In Barry Smith & Carolyn Korsmeyer (eds.), Aurel Kolnai's 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
  •  292
    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
  •  593
    Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology
    with Selja Seppälä and Werner Ceusters
    In P. Garbacz & O. Kutz (eds.), Formal Ontology in Information Systems (FOIS 2014), Ios Press. pp. 227-240. 2014.
    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
  •  432
    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
  •  2006
    Basic concepts of formal ontology
    In Nicola Guarino (ed.), Formal Ontology in Information Systems, Ios Press. pp. 19-28. 1998.
    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. T…Read more
  •  417
    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
  •  196
    Von T. G. Masaryk bis Jan Patočka: Eine philosophische Skizze
    In J. Zumr & T. Binder (eds.), T. G. Masaryk und die Brentano-Schule, Czech Academy of Sciences. pp. 94-110. 1993.
    Thomas Garrigue Masaryk, later founder and President of the Republic of Czechoslovakia, studied philosophy in the University of Vienna from 1872 to 1876, where he came under the powerful influence of Franz Brentano. We survey the role of Brentano’s philosophy, and especially of his ethics, in Masaryk’s life and work.
  •  337
    Permanent generic relatedness and silent change
    with Niels Grewe and Ludger Jansen
    In Niels Grewe, Ludger Jansen & Barry Smith (eds.), Formal Ontology and Information Systems, Ceur, Vol. 1060. pp. 1-5. 2016.
    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
  •  234
    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
  •  986
    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
  •  261
    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
  •  462
    SNAP and SPAN: Towards dynamic spatial ontology
    with Pierre Grenon
    Spatial Cognition and Computation 4 (1). 2004.
    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 inte…Read more
  •  814
    Realistic Phenomenology
    In Lester Embree (ed.), Encyclopedia of Phenomenology, Springer Science & Business Media. pp. 586-590. 1997.
    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
  •  2063
    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
  •  766
    Diagrams, Documents, and the Meshing of Plans
    In Andras 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
  •  429
    The Role of Foundational Relations in the Alignment of Biomedical Ontologies
    with Cornelius Rosse
    In M. Fieschi, E. Coiera & Y.-C. J. Li (eds.), Medinfo, Ios Press. pp. 444-448. 2004.
    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 characte…Read more
  •  260
    Switching Partners: Dancing with the Ontological Engineers
    with Werner Ceusters
    In Thomas Batcherer & Roderick Coover (eds.), Switching Codes: Thinking through Digital Technology in the Humanities and the Arts, University of Chicago Press. pp. 103--124. 2011.
    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
  •  722
    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
  •  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