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
  •  623
    In defense of extreme (fallibilistic) apriorism
    Journal of Libertarian Studies 12 (1). 1996.
    We presuppose a position of scientific realism to the effect (i) that the world exists and (ii) that through the working out of ever more sophisticated theories our scientific picture of reality will approximate ever more closely to the world as it really is. Against this background consider, now, the following question: 1. Do the empirical theories with the help of which we seek to approximate a good or true picture of reality rest on any non-empirical presuppositions? One can answer this quest…Read more
  •  1152
    Development of a Manufacturing Ontology for Functionally Graded Materials
    with Francesco Furini, Rahul Rai, Georgio Colombo, and Venkat Krovi
    In Francesco Furini, Rahul Rai, Barry Smith, Georgio Colombo & Venkat Krovi (eds.), Proceedings of International Design Engineering Technical Conferences & Computers and Information in Engineering Conference (IDETC/CIE), . 2016.
    The development of manufacturing technologies for new materials involves the generation of a large and continually evolving volume of information. The analysis, integration and management of such large volumes of data, typically stored in multiple independently developed databases, creates significant challenges for practitioners. There is a critical need especially for open-sharing of data pertaining to engineering design which together with effective decision support tools can enable innovatio…Read more
  •  662
    The Protein Ontology: A structured representation of protein forms and complexes
    with Darren Natale, Cecilia N. Arighi, Winona C. Barker, Judith A. Blake, Carol J. Bult, Michael Caudy, Harold J. Drabkin, Peter D’Eustachio, Alexei V. Evsikov, Hongzhan Huang, Jules Nchoutmboube, Natalia V. Roberts, Jian Zhang, and Cathy H. Wu
    Nucleic Acids Research 39 (1). 2011.
    The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and modified forms. Initially focused on proteins found in human, mouse and Escherichia coli, PRO now includes representations of protein complexes. The PRO Consortium works in concert with the developers of other biomedical ontologies and protein knowledge bases to provide the ability to formally organize and integrate repres…Read more
  •  369
    On the Austrianness of Austrian economics
    Critical Review: A Journal of Politics and Society 4 (1-2): 212-238. 1990.
    Much recent work on the intellectual background of Austrian economics reveals an unfortunate lack of awareness of the distinct nature of the Austrian contribution to philosophy, from which the Austrian economists drew many of their ideas. The present essay offers a sketch of this contribution, contrasting Austrian philosophy especially with the modes of philosophy dominant in Germany. This makes it possible to throw new light on the relations on Mises, Kant and the Vienna circle, and it allows u…Read more
  •  6752
    Foundations of Gestalt Theory (edited book)
    Philosophia. 1988.
    In 1890 Christian von Ehrenfels published his classic paper "Über 'Gestaltqualitäten'", the first systematic investigation of the philosophy and psychology of Gestalt. Ehrenfels thereby issued an important challenge to the psychological atomism that was still predominant in his day. His paper not only exerted a powerful influence on the philosophy of the Meinong school, it also marked the beginning of the Gestalt tradition in psychology, later associated with the work of Wertheimer, Köhler and K…Read more
  •  359
    Constraints on Correspondence
    In H. Rutte W. Sauer & W. Gombocz (eds.), Traditionen und Perspektiven der analytischen Philosophie. Festschrift für Rudolf Haller, Hölder/pichler/tempsky. pp. 415-430. 1989.
    My aim is to lay down some constraints on a correspondence theory of truth for empirical sentences of a natural language on the basis of a theory according to which that to which a true empirical sentence of such a language corresponds is a part of the natural world. The problem is to find some means of delineating those portions of the world which serve as correspondents, portions of reality otherwise called ‘truthmakers’.
  •  528
    The Question of Apriorism
    Austrian Economics Newsletter (1/2): 1-5. 1990.
    We defend a view according to which Austrian economics rests on what can most properly be called an Aristotelian methodology. This implies a realist perspective, according to which the world exists independently of our thinking and reasoning activities; an essentialist perspective, according to which the world contains certain simple essences or natures which may come together in law-like ways to form more complex static and dynamic wholes, and an apriorist perspective, according to which given …Read more
  •  323
    Medical terminology collects and organizes the many different kinds of terms employed in the biomedical domain both by practitioners and also in the course of biomedical research. In addition to serving as labels for biomedical classes, these names reflect the organizational principles of biomedical vocabularies and ontologies. Some names represent invariant features (classes, universals) of biomedical reality (i.e., they are a matter for ontology). Other names, however, convey also how this rea…Read more
  •  975
    Handbook of metaphysics and ontology (edited book)
    with Hans Burkhardt
    Philosophia Verlag. 1991.
    The Handbook of Metaphysics and Ontology reflects the conviction that the history of metaphysics and current work in metaphysics and ontology can each throw valuable light on the other. Thus it is designed to serve both äs a means of making more widely accessible the results of recent scholarship in the history of philosophy, and also äs a unique work of reference in reladon to the metaphysical themes at the centre of much current debate in analyüc philosophy. The work contains more man 450 shor…Read more
  •  280
    Biomedical informatics and granularity
    with Anand Kumar
    Comparative and Functional Genomics 5 (6-7): 501-508. 2004.
    An explicit formal-ontological representation of entities existing at multiple levels of granularity is an urgent requirement for biomedical information processing. We discuss some fundamental principles which can form a basis for such a representation. We also comment on some of the implicit treatments of granularity in currently available ontologies and terminologies (GO, FMA, SNOMED CT).
  •  375
    Building on the writings of Wittgenstein on rule-following and deviance, Kristóf Nyíri advanced a theory of creativity as consisting in a fusion of conflicting rules or disciplines. Only such fusion can produce something that is both intrinsically new and yet capable of being apprehended by and passed on to a wider community. Creativity, on this view, involves not the breaking of rules, or the deliberate cultivation of deviant social habits, but rather the acceptance of enriched systems of rules…Read more
  •  981
    Document Acts
    In Anita Konzelmann Ziv & Hans Bernhard Schmid (eds.), Institutions, Emotions, and Group Agents, Springer. pp. 19-31. 2013.
    The theory of document acts is an extension of the more traditional theory of speech acts advanced by Austin and Searle. It is designed to do justice to the ways in which documents can be used to bring about a variety of effects in virtue of the fact that, where speech is evanescent, documents are continuant entities. This means that documents can be preserved in such a way that they can be inspected and modified at successive points in time and grouped together into enduring document complexes.…Read more
  •  310
    The piece of wax takes on the form of the seal; but this occurs in a way that is largely indifferent to the particular constitution of the seal. Similarly, Aristotle says, ‘the sense is affected by what is coloured or flavoured or sounding, but it is indifferent as to what in each case the substance is’. We show that Brentano takes this Aristotelian account of the relation between sense and its objects as the basis for his theory of mind in the Psychology from an Empirical Standpoint.
  •  316
    The formal ontology of boundaries
    Electronic Journal of Analytic Philosophy 5 (5). 1997.
    Revised version published as Barry Smith and Achille Varzi, “Fiat and Bona Fide Boundaries”, Philosophy and Phenomenological Research, 60: 2 (March 2000), 401–420.
  •  353
    Universal Core Semantic Layer
    with Lowell Vizenor and James Schoening
    In Barry Smith, Lowell Vizenor & James Schoening (eds.), Universal Core Semantic Layer, Ceur, Vol. 555. pp. 1-5. 2009.
    The Universal Core (UCore) is a central element of the National Information Sharing Strategy that is supported by multiple U.S. Federal Government Departments, by the intelligence community, and by a number of other national and international institutions. The goal of the UCore initiative is to foster information sharing by means of an XML schema providing consensus representations for four groups of universally understood terms under the headings who, what, when, and where. We here describe a p…Read more
  •  299
    Horizontal Integration of Warfighter Intelligence Data: A Shared Semantic Resource for the Intelligence Community
    with Tatiana Malyuta, William S. Mandrick, Chia Fu, Kesny Parent, and Milan Patel
    In Barry Smith, Tatiana Malyuta, William S. Mandrick, Chia Fu, Kesny Parent & Milan Patel (eds.), Proceedings of the Conference on Semantic Technology in Intelligence, Defense and Security (STIDS), CEUR, . pp. 1-8. 2012.
    We describe a strategy that is being used for the horizontal integration of warfighter intelligence data within the framework of the US Army’s Distributed Common Ground System Standard Cloud (DSC) initiative. The strategy rests on the development of a set of ontologies that are being incrementally applied to bring about what we call the ‘semantic enhancement’ of data models used within each intelligence discipline. We show how the strategy can help to overcome familiar tendencies to stovepiping …Read more
  •  1035
    For much of the first fifty years of its existence, analytic philosophy shunned discussions of normativity and ethics. Ethical statements were considered as pseudo-propositions, or as expressions of pro- or con-attitudes of minor theoretical significance. Nowadays, in contrast, prominent analytic philosophers pay close attention to normative problems. Here we focus our attention on the work of Searle, at the same time drawing out an important connection between Searle’s work and that of two othe…Read more
  •  620
    CARO: The Common Anatomy Reference Ontology
    with Melissa Haendel, Fabian Neuhaus, David Osumi-Sutherland, Paula M. Mabee, José L. V. Mejino Jr, and Chris J. Mungall
    In Haendel Melissa, A. Neuhaus, Fabian Osumi-Sutherland, David Mabee, Paula M., Mejino Jr José L. V., Mungall Chris, J. Smith & Barry (eds.), Anatomy Ontologies for Bioinformatics: Principles and Practice, Springer. pp. 327-349. 2008.
    The Common Anatomy Reference Ontology (CARO) is being developed to facilitate interoperability between existing anatomy ontologies for different species, and will provide a template for building new anatomy ontologies. CARO has a structural axis of classification based on the top-level nodes of the Foundational Model of Anatomy. CARO will complement the developmental process sub-ontology of the GO Biological Process ontology, using it to ensure the coherent treatment of developmental stages, and…Read more
  •  562
    Metaphysics
    In Asbjørn Steglich-Petersen (ed.), Metaphysics: 5 Questions, Automatic Press. pp. 143-158. 2010.
    Attempts to trace a unifying thread of ontological realism extending through 1. my early writings on Frege, Brentano, Husserl, Wittgenstein, Ingarden and (with Kevin Mulligan and Peter Simons) on truthmakers; 2. work on formal theories of the common-sense world, and on mereotopology, fiat objects, geographical categories, and environments (with David Mark, Roberto Casati, Achille Varzi), to 3. current work on applied ontology in biology and medicine, and on the theory of document acts and on the…Read more
  •  484
    Against idiosyncrasy in ontology development
    In Barry Smith & Christopher Welty (eds.), Formal Ontology in Information Systems (FOIS), Acm Press. pp. 15-26. 2001.
    The world of ontology development is full of mysteries. Recently, ISO Standard 15926 (“Lifecycle Integration of Process Plant Data Including Oil and Gas Production Facilities”), a data model initially designed to support the integration and handover of large engineering artefacts, has been proposed by its principal custodian for general use as an upper level ontology. As we shall discover, ISO 15926 is, when examined in light of this proposal, marked by a series of quite astonishing defects, whi…Read more
  •  640
    An Essay on Material Necessity
    Canadian Journal of Philosophy (sup1): 301-322. 1992.
    Where Humeans rule out the possibility of material or non-logical necessity, and thus of any associated knowledge a priori, the German legal philosopher Adolf Reinach defends the existence of a wide class of material necessities falling within the domain of what can be known a priori, for example in fields such as color and shape, rational psychology, law and economics. Categories such as promise or claim or obligation are, in Reinach’s view, exist as nodes in a system of necessary relations, so…Read more
  •  2708
    The Construction of Social Reality: An Exchange
    American Journal of Economics and Sociology 62 (2): 285-309. 2003.
    Part 1 of this exchange consists in a critique by Smith of Searle’s The Construction of Social Reality focusing on Searle’s use of the formula ‘X counts as Y in context C’. Smith argues that this formula works well for social objects such as dollar bills and presidents where the corresponding X terms (pieces of paper, human beings) are easy to identify. In cases such as debts and prices and money in a bank's computers, however, the formula fails, because these are cases of what he calls ‘free-s…Read more
  •  373
    Truth and the visual field
    In Jean Petitot, Francisco J. Varela, Bernard Pachoud & Jean-Michel Roy (eds.), Naturalizing Phenomenology: Issues in Contemporary Phenomenology and Cognitive Science, Stanford University Press. pp. 317-329. 1999.
    The paper uses the tools of mereotopology (the theory of parts, wholes and boundaries) to work out the implications of certain analogies between the 'ecological psychology' of J. J Gibson and the phenomenology of Edmund Husserl. It presents an ontological theory of spatial boundaries and of spatially extended entities. By reference to examples from the geographical sphere it is shown that both boundaries and extended entities fall into two broad categories: those which exist independently of our…Read more
  •  1339
    Framework for formal ontology
    Topoi 2 (1): 73-85. 1983.
    The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between c…Read more
  •  689
    Logic and the Sachverhalt
    The Monist 72 (1): 52-69. 1989.
    Those who conceive logic as a science have generally favoured one of two alternative conceptions as to what the subject-matter of this science ought to be. On the one hand is the nowadays somewhat old-fashioned-seeming view of logic as the science of judgment, or of thinking or reasoning activities in general. On the other hand is the view of logic as a science of ideal meanings, 'thoughts', or 'propositions in themselves'. There is, however, a third alternative conception, which enjoyed only a …Read more
  •  264
    Vérifacteurs
    Etudes de Philosophie 9 104-138. 2008-2011.
    French translation of "Truth-Makers" (1984). A realist theory of truth for a class of sentence holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The co…Read more
  •  369
    Toward an Ontological Treatment of Disease and Diagnosis
    with Richard H. Scheuermann and Werner Ceusters
    In Richard H. Scheuermann, Werner Ceusters & Barry Smith (eds.), Toward an Ontological Treatment of Disease and Diagnosis, American Medical Informatics Association. 2009.
    Many existing biomedical vocabulary standards rest on incomplete, inconsistent or confused accounts of basic terms pertaining to diseases, diagnoses, and clinical phenotypes. Here we outline what we believe to be a logically and biologically coherent framework for the representation of such entities and of the relations between them. We defend a view of disease as involving in every case some physical basis within the organism that bears a disposition toward the execution of pathological process…Read more
  •  86
    Surrounding Space
    Theory in Biosciences 121 (2): 139-162. 2002.
    The history of evolution is a history of development from less to more complex organisms. This growth in complexity of organisms goes hand in hand with a concurrent growth in complexity of environments and of organism-environment relations. It is a concern with this latter aspect of evolutionary development that motivates the present paper. We begin by outlining a theory of organism-environment relations. We then show that the theory can be applied to a range of different sorts of cases, both bi…Read more
  •  791
    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 …Read more
  •  24
    Alexius Meinong, On Objects of Higher Order and Husserl's Phenomenology (review)
    Philosophical Quarterly 30 (120): 252. 1980.