Barry Smith

University at Buffalo
National Center for Ontological Research
University of Manchester
Department of Philosophy
PhD, 1976
APA Eastern Division
CV
Buffalo, New York, United States of America
  •  222
    A theory of divides
    The Analytic-Continental Divide Conference. 1999.
    Some would conceive philosophy as being divided into Analytic and Continental. This, as John Searle points out, is rather like conceiving America as being divided into Business and Kansas. Searle’s wise saying has not, as yet, received the theoretical attention it deserves. In both cases we have a certain domain, which is conceived as being divided into two parts, one defined in spatial terms, the other defined in terms of objects, practices or features widely spread through some spatial area. W…Read more
  •  1093
    Towards a Reference Terminology for Ontology Research and Development in the Biomedical Domain
    with Waclaw Kusnierczyk, Daniel Schober, ,, and Werner Ceusters
    In Barry Smith, Waclaw Kusnierczyk, Daniel Schober & Werner Ceusters (eds.), Proceedings of KR-MED, CEUR, vol. 222. pp. 57-65. 2006.
    Ontology is a burgeoning field, involving researchers from the computer science, philosophy, data and software engineering, logic, linguistics, and terminology domains. Many ontology-related terms with precise meanings in one of these domains have different meanings in others. Our purpose here is to initiate a path towards disambiguation of such terms. We draw primarily on the literature of biomedical informatics, not least because the problems caused by unclear or ambiguous use of terms have be…Read more
  •  1243
    Fiat objects
    Topoi 20 (2): 131-148. 2001.
    Human cognitive acts are directed towards entities of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. A categorial scheme for the objects of human cognition should be (1) critical and realistic. Cognitive subjects are liable to error, even to systematic error of the sort that is manifested by believers in the Pantheon of Olympian gods. Thus not all putative object-directed acts should be recognized as having objects of their own. …Read more
  •  826
    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.
  •  1651
    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 Albert Burger, Duncan Davidson & Richard Baldock (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
  •  875
    Weininger und Wittgenstein
    Teoria 2. 1984.
    The paper [which is in German] seeks to show how Weininger’s interpretations of Kant and Schopenhauer help us to understand some of the peculiar reflections on the will, on happiness and unhappiness, and on the problems of life, which are to be found in Wittgenstein's Notebooks. It seeks to explain, above all, why Wittgenstein should wish to reject the basic ethical axiom of “love thy neighbor.” There follows a sketch of one possible Kantian interpretation of the Tractatus along Weiningerian lin…Read more
  •  899
    I shall attempt in what follows to show how mereology, taken together with certain topological notions, can yield the basis for future investigations in formal ontology. I shall attempt to show also how the mereological framework here advanced can allow the direct and natural formulation of a series of theses – for example pertaining to the concept of boundary – which can be formulated only indirectly (if at all) in set-theoretic terms.
  •  1443
    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
  •  1190
    Sämtliche Werke: Textkritische Ausgabe in 2 Bänden
    with Adolf Reinach and Karl Schuhmann
    Philosophia. 1989.
    The last decade has witnessed the beginnings of a remarkable convergence of Husserlian phenonenology and analytic philosophy of language, and the present volumes provide original and important texts of the phenomenological philosophy of language. Powerfully influenced by the writings of the early Husserl, Reinach fashioned Husserl’s ideas into a rigorous analytical methodology of his own, which he applied in particular to problems in logic and the theory of knowledge, and to the philosophies of …Read more
  •  608
    Die Struktur der Common-Sense Welt
    Logos. Anales Del Seminario de Metafísica [Universidad Complutense de Madrid, España] 1 422-449. 1994.
    Die zeitgenössischen Philosophen haben zwar der Sprache, die wir verwenden, um die Welt der alltäglichen Erfahrung zu beschreiben oder um uns in dieser Welt zurechtzufinden, große Aufmerksamkeit geschenkt, sie haben sich jedoch – von einigen Ausnahmen abgesehen – geweigert, diese Welt selbst als passendes Objekt theoretischer Betrachtungen anzusehen. Im folgenden werde ich versuchen zu zeigen, wie es möglich ist, die Common-Sense-Welt als ontologisch eigenständiges Untersuchungsobjekt zu v…Read more
  •  3134
    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
  •  696
    Tracking Referents in Electronic Health Records
    with Werner Ceusters
    Studies in Health Technology and Informatics 116. 2005.
    Electronic Health Records (EHRs) are organized around two kinds of statements: those reporting observations made, and those reporting acts performed. In neither case does the record involve any direct reference to what such statements are actually about. They record not: what is happening on the side of the patient, but rather: what is said about what is happening. While the need for a unique patient identifier is generally recognized, we argue that we should now move to an EHR regime in which a…Read more
  •  1388
    The substance of Brentano's ontology
    Topoi 6 (1): 39-49. 1987.
    This paper is a study of Brentano’s ontology, and more specifically of his theory of substance and accident as put forward toward the end of his life in the materials collected together as the Kategorienlehre or Theory of Categories. Here Brentano presents an auditious (re-)interpretation of Aristotle’s theory of substance and accidence. We show that on the view Brentano initially defends, it is space which serves as the single substance upon which all other entities depend as accidents. In an a…Read more
  •  1508
    Logic, Form and Matter
    with David Murray
    Aristotelian Society Supplementary Volume 55 (1). 1981.
    It is argued, on the basis of ideas derived from Wittgenstein's Tractatus and Husserl's Logical Investigations, that the formal comprehends more than the logical. More specifically: that there exist certain formal-ontological constants (part, whole, overlapping, etc.) which do not fall within the province of logic. A two-dimensional directly depicting language is developed for the representation of the constants of formal ontology, and means are provided for the extension of this language to ena…Read more
  •  923
    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
  •  717
    The International Classification of Functioning, Disability and Health provides a classification of human bodily functions, which, while exhibiting non-conformance to many formal ontological principles, provides an insight into which basic functions such a classification should include. Its evaluation is an important first step towards such an adequate ontology of this domain. Presented at the 13th Annual North American WHO Collaborating Center Conference on the ICF, 2007.
  •  1615
    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
  •  1028
    Creating a Controlled Vocabulary for the Ethics of Human Research: Towards a biomedical ethics ontology
    with David Koepsell, Robert Arp, and Jennifer Fostel
    Journal of Empirical Research on Human Research Ethics 4 (1): 43-58. 2009.
    Ontologies describe reality in specific domains in ways that can bridge various disciplines and languages. They allow easier access and integration of information that is collected by different groups. Ontologies are currently used in the biomedical sciences, geography, and law. A Biomedical Ethics Ontology would benefit members of ethics committees who deal with protocols and consent forms spanning numerous fields of inquiry. There already exists the Ontology for Biomedical Investigations (OBI)…Read more
  •  1168
    The Environment Ontology: Contextualising biological and biomedical entities
    with Pier Luigi Buttigieg, Norman Morrison, Christopher J. Mungall, and Suzanna E. Lewis
    Journal of Biomedical Semantics 4 (43): 1-9. 2013.
    As biological and biomedical research increasingly reference the environmental context of the biological entities under study, the need for formalisation and standardisation of environment descriptors is growing. The Environment Ontology (ENVO) is a community-led, open project which seeks to provide an ontology for specifying a wide range of environments relevant to multiple life science disciplines and, through an open participation model, to accommodate the terminological requirements of all t…Read more
  •  1309
    The Neurath-Haller Thesis: Austria and the Rise of Scientific Philosophy
    In Keith Lehrer & Johann Christian Marek (eds.), Austrian Philosophy Past and Present: Essays in Honor of Rudolf Haller, Kluwer Academic Publishers. pp. 1-20. 1997.
    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
  •  4727
    Knowing How vs. Knowing That
    In J. C. Nyíri & Barry Smith (eds.), Practical Knowledge: Outlines of a Theory of Traditions and Skills, Croom Helm. pp. 1-16. 1988.
    A sketch of the history of the opposition between propositional and practical knowledge is followed by a brief account of the relevant ideas of Merleau-Ponty, Polanyi, and H. and S. Dreyfus (on expertise and artificial intelligence). The paper concludes with a discussion of the work of Ryle on the notion of a ‘discipline’, drawing implications for a theory of traditions.
  •  2504
    The evaluation of ontologies: Toward improved semantic interoperability
    with Leo Obrst, Werner Ceusters, Inderjeet Mani, and Steve Ray
    In Chris Baker & Kei H. Cheung (eds.), Semantic Web: Revolutionizing Knowledge Discovery in the Life Sciences, Springer. pp. 139-158. 2006.
    Recent years have seen rapid progress in the development of ontologies as semantic models intended to capture and represent aspects of the real world. There is, however, great variation in the quality of ontologies. If ontologies are to become progressively better in the future, more rigorously developed, and more appropriately compared, then a systematic discipline of ontology evaluation must be created to ensure quality of content and methodology. Systematic methods for ontology evaluation wil…Read more
  •  1870
    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
  •  917
    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
  •  2103
    The essay constructs an ontological theory designed to capture the categories instantiated in those portions or levels of reality which are captured in our common sense conceptual scheme. It takes as its starting point an Aristotelian ontology of “substances” and “accidents”, which are treated via the instruments of mereology and topology. The theory recognizes not only individual parts of substances and accidents, including the internal and external boundaries of these, but also universal parts…Read more
  •  1144
    Truthmaker Explanations
    In Jean-Maurice Monnoyer (ed.), Metaphysics and Truthmakers, De Gruyter. 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
  •  741
    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.
  •  1083
    Ernst Mach's atomistic theory of sensation faces problems in doing justice to our ability to perceive and remember complex phenomena such as melodies and shapes. Christian von Ehrenfels attempted to solve these problems with his theory of "Gestalt qualities", which he sees as entities depending one-sidedly on the corresponding simple objects of sensation. We explore the theory of dependence relations advanced by Ehrenfels and show how it relates to the views on the objects of perception advanced…Read more