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
  •  874
    Philosophy in the West divides into three parts: Analytic Philosophy (AP), Continental Philosophy (CP), and History of Philosophy (HP). But all three parts are in a bad way. AP is sceptical about the claim that philosophy can be a science, and hence is uninterested in the real world. CP is never pursued in a properly theoretical way, and its practice is tailor-made for particular political and ethical conclusions. HP is mostly developed on a regionalist basis: what is studied is determined by th…Read more
  •  482
    Beyond Paper
    The Monist 97 (2). 2014.
    The authors outline the way in which documents as social objects have evolved from their earliest forms to the electronic documents of the present day. They note that while certain features have remained consistent, processes regarding document authentication are seriously complicated by the easy reproducibility of digital entities. The authors argue that electronic documents also raise significant questions concerning the theory of ‘documentality’ advanced by Maurizio Ferraris, especially given…Read more
  •  2489
    ‘Eruv’ is a Hebrew word meaning literally ‘mixture’ or ‘mingling’. An eruv is an urban region demarcated within a larger urban region by means of a boundary made up of telephone wires or similar markers. Through the creation of the eruv, the smaller region is turned symbolically (halachically = according to Jewish law) into a private domain. So long as they remain within the boundaries of the eruv, Orthodox Jews may engage in activities that would otherwise be prohibited on the Sabbath, such as …Read more
  •  532
    Recent work on Austrian philosophy has revealed, hitherto, unsuspected links between Vienna circle positivism on the one hand, and the thought of Franz Brentano and his circle on the other. the paper explores these links, casting light also on the Polish analytic movement, on the development of gestalt psychology, and on the work of Schlick and Neurath.
  •  510
    Framework for a protein ontology
    with Darren A. Natale, Cecilia N. Arighi, Winona Barker, Judith Blake, Ti-Cheng Chang, Zhangzhi Hu, Hongfang Liu, and Cathy H. Wu
    BMC Bioinformatics 8 (Suppl 9). 2007.
    Biomedical ontologies are emerging as critical tools in genomic and proteomic research where complex data in disparate resources need to be integrated. A number of ontologies exist that describe the properties that can be attributed to proteins; for example, protein functions are described by Gene Ontology, while human diseases are described by Disease Ontology. There is, however, a gap in the current set of ontologies—one that describes the protein entities themselves and their relations…Read more
  •  339
    The New European Philosophy
    In János Kristóf Nyíri & Barry Smith (eds.), Philosophy and political change in Eastern Europe, Hegeler Institute. pp. 165-170. 1993.
    The paper seeks to indicate ways in which the crude distinction between Anglo-Saxon and Continental philosophy may have to be amended in light of recent developments in Eastern Europe. As is well known, the philosophy of science is to no small part a product of the universities of the Habsburg Empire (in Vienna, Prague, Lemberg/Lwow, etc.). Logic, too, has played a more significant role in Eastern Europe (not least in Poland) than in the philosophical cultures of Germany or France. For these and…Read more
  •  222
    Human Action in the Healthcare Domain: A Critical Analysis of HL7’s Reference Information Model
    with Lowell Vizenor and Werner Ceusters
    In Barry Smith, Lowell Vizenor & Werner Ceusters (eds.), Human Action in the Healthcare Domain: A Critical Analysis of HL7’s Reference Information Model, Ontos Verlag. pp. 554--573. 2013.
    If we are to develop efficient, reliable and secure means for sharing information across healthcare systems and organizations, then a careful analysis of human actions will be needed. To address this need, the HL7 organization has proposed its Reference Information Model (RIM), which is designed to provide a comprehensive representation of the entire domain of healthcare centered around the phenomenon of human action. Taking the Basic Formal Ontology as our starting point, we examine the RIM fro…Read more
  •  200
    Comment: Kolnai’s Disgust
    Emotion Review 6 (3): 219-220. 2014.
    In his The Meaning of Disgust, Colin McGinn employs elements of the phenomenological theory of disgust advanced by Aurel Kolnai in 1929. Kolnai’s treatment of what he calls “material” disgust and of its primary elicitors—putrefying organic matter, bodily wastes and secretions, sticky contaminants, vermin—anticipates more recent scientific treatments of this emotion as a mode of protective recoil. While Nina Strohminger charges McGinn with neglecting such scientific studies, we here attempt to sh…Read more
  •  1639
    The Space Object Ontology
    with Alexander P. Cox, Christopher Nebelecky, Ronald Rudnicki, William Tagliaferri, and John L. Crassidis
    In Alexander P. Cox, Christopher Nebelecky, Ronald Rudnicki, William Tagliaferri, John L. Crassidis & Barry Smith (eds.), 19th International Conference on Information Fusion (FUSION 2016), Ieee. 2016.
    Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missio…Read more
  •  509
    Ontology and the Future of Dental Research Informatics.
    with Louis J. Goldberg, Alan Ruttenberg, and Michael Glick
    Journal of the American Dental Association 141 (10): 1173-75. 2010.
    How do we find what is clinically significant in the swarms of data being generated by today’s diagnostic technologies? As electronic records become ever more prevalent – and digital imaging and genomic, proteomic, salivaomics, metabalomics, pharmacogenomics, phenomics and transcriptomics techniques become commonplace – fdifferent clinical and biological disciplines are facing up to the need to put their data houses in order to avoid the consequences of an uncontrolled explosion of different way…Read more
  •  19
    Review of Ernest Davis: Representations of Commonsense Knowledge (review)
    Minds and Machines 4 (2): 245-249. 1994.
    Review of a compendium of alternative formal representations of common-sense knowledge. The book is centered largely on formal representations drawn from first-order logic, and thus lies in the tradition of Kenneth Forbus, Patrick Hayes and Jerry Hobbs.
  •  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
  •  1121
    Frege and Husserl: The Ontology of Reference
    Journal of the British Society for Phenomenology 9 (2). 1978.
    Analytic philosophers apply the term ‘object’ both to concreta and to abstracta of certain kinds. The theory of objects which this implies is shown to rest on a dichotomy between object-entities on the one hand and meaning-entities on the other, and it is suggested that the most adequate account of the latter is provided by Husserl’s theory of noemata. A two-story ontology of objects and meanings (concepts, classes) is defended, and Löwenheim’s work on class-representatives is cited as an indica…Read more
  •  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
  •  394
    Persistence and Ontological Pluralism
    with Pierre Grenon
    In Christian Kanzian (ed.), Persistence, Ontos. pp. 33-48. 2007.
    We aim to provide the ontological grounds for an adequate account of persistence. We defend a perspectivalist, or moderate pluralist, position, according to which some aspects of reality can be accounted for in ontological terms only via partial and mutually complementary ontologies, each one of which captures some relevant aspect of reality. Our thesis here is that this is precisely the sort of ontological account that is needed for the understanding of persistence, specifically an account invo…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
  •  597
    Amongst the entities making up social reality, are there necessary relations whose necessity is not a mere reflection of the logical connections between corresponding concepts? We distinguish three main groups of answers to this question, associated with Hume and Adolf Reinach at opposite extremes, and with Searle who occupies a position somewhere in the middle. We first set forth Reinach’s views on what he calls ‘material necessities’ in the realm of social entities. We then attempt to show tha…Read more
  •  1205
    As Kevin Mulligan, more than anyone else, has demonstrated, there is a distinction within the philosophy of the German-speaking world between two principal currents: of idealism / transcendentalism, characteristic of Northern Germany; and of realism / objectivism, characteristic of Austria and the South. We explore some of the implications of this distinction with reference to the influence of Austrian (and German) philosophy on philosophical developments in Hungary, focusing on the work of Ákos…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
  •  50
    Prolegomena to a Metaphysics of Real Estate
    In Roberto Casati (ed.), Shadows and Socio-Economic Units. Foundations of Formal Geography, Technical University of Vienna. pp. 151--155. 1996.
    As an object in which property rights can be invested, land is a peculiar hybrid structure that comprehends both spatial and non-spatial aspects. Even in its purely spatial aspect land is treated differently from culture to culture, thus for example in the degree to which property rights in land are held to relate to vague or precisely delineated parcels and to portions of space above and below the surface of the earth. When we examine the non-spatial aspects of landed property, however, the dim…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.
  •  193
    Carving Up Reality
    In Michael Gorman & Jonathan J. Sanford (eds.), Categories: Historical and Systematic Essays, Catholic University of America Press. pp. 225-237. 2004.
    If Mont Blanc is a vague object, then its vagueness will depend on the context in which reference is made. In a geological context the mountain might include only rock, perhaps together with a certain amount of air in the crevices and tunnels which have been formed beneath its surface. In a context of soil chemistry we might include also a surrounding thin layer of organic matter. In a skiing context we might include some snow. This essay sketches in informal terms the theory of granular partiti…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.
  •  541
    Strategies for Referent Tracking in Electronic Health Records
    with Werner Ceusters
    Journal of Biomedical Informatics 39 (3): 362-378. 2006.
    The goal of referent tracking is to create an ever-growing pool of data relating to the entities existing in concrete spatiotemporal reality. In the context of Electronic Healthcare Records (EHRs) the relevant concrete entities are not only particular patients but also their parts, diseases, therapies, lesions, and so forth, insofar as these are salient to diagnosis and treatment. Within a referent tracking system, all such entities are referred to directly and explicitly, something which cannot…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
  •  39
    Vor dem Hintergrund einer von Durkheim ausgehenden Selbstmordarten-Typologie wird das Phänomen von terroristischen Selbstmordattentaten untersucht: Diese scheinen ein spezifisch nicht-westliches Phänomen zu sein. Der deutliche Unterschied zwischen der Strategie westlicher Terrorgruppen und solchen Terrorgruppen, die Selbstmordattentate ausüben, geht auf ein besonderes Merkmal der Geschichte und der Eigenart des Westens zurück; und dies wiederum ist tief im Mittelalter verwurzelt. Against the bac…Read more
  •  1261
    Questions: An essay in Daubertian phenomenology
    with Karl Schuhmann
    Philosophy and Phenomenological Research 47 (3): 353-384. 1987.
    A number of logicians and philosophers have turned their attention in recent years to the problem of developing a logic of interrogatives. Their work has thrown a great deal of light on the formal properties of questions and question-sentences and has led also to interesting innovations in our understanding of the structures of performatives in general and, for example, in the theory of presuppositions. When, however, we examine the attempts of logicians such as Belnap or Åqvist to specify…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
  •  482
    Biodynamic Ontology: Applying BFO in the Biomedical Domain
    with Pierre Grenon and Louis Goldberg
    Studies in Health and Technology Informatics 102. 2004.
    Current approaches to formal representation in biomedicine are characterized by their focus on either the static or the dynamic aspects of biological reality. We here outline a theory that combines both perspectives and at the same time tackles the by no means trivial issue of their coherent integration. Our position is that a good ontology must be capable of accounting for reality both synchronically (as it exists at a time) and diachronically (as it unfolds through time), but that these are tw…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