Barry Smith (* 4. Juni1952 in Bury, England) ist ein englischer Mathematiker und Philosoph, mit den Forschungsschwerpunkten formale Ontologie, medizinische Bioinformatik und Theorie der künstlichen Intelligenz. Er war der Herausgeber der Zeitschrift The Monist: An International Journal of General Philosophical Inquiry, zu dessen Beirat er noch heute gehört.[1] Er ist einer der am häufigsten zitierten lebenden Philosophen.[2]
Von 1970 bis 1973 studierte Smith Mathematik und Philosophie an der University of Oxford, er schloss mit einem Master of Sciences ab; 1976 erwarb er den Grad des Ph.D. an der University of Manchester mit einer Dissertation betitelt The Ontology of Reference: Studies in Logic and Phenomenology. In dieser Arbeit untersucht Smith die ontologischen Vorannahmen und Folgen der Bezugnahme auf Objekte in der Sprache.[3] Zwischen 1976 und 1994 hatte er Positionen an der University of Sheffield, der University of Manchester und in Liechtenstein inne.
Gegen die Verleihung der Ehrendoktorwürde der University of Cambridge an Jacques Derrida protestierte Smith 1992 mit einem offenen Brief in der Times.[4] Der Brief wurde von achtzehn Professoren unterschrieben, darunter W. V. Quine, David Armstrong, Ruth Barcan Marcus und René Thom. In ihrer Petition schreiben sie, Derridas Texte erreichten nicht ein gefordertes Maß an Klarheit und Strenge, sie seien aus Tricks und Taschenspielereien komponiert und stünden darin eher dadaistischen Experimenten nahe.
1994 erhielt Smith einen Lehrstuhl als Julian Park Distinguished Professor of Philosophy der University at Buffalo. Zudem ist er dort Adjunct Professor of Biomedical Informatics, Neurology, und Computer Science and Engineering und als Forscher am Institute for Data Science and Artificial Intelligence derselben Universität tätig.[5] 2002 bis 2006 war er Direktor des Institute for Formal Ontology and Medical Information Science (IFOMIS) mit Standorten in Leipzig und Saarbrücken[6] und wird seitdem dort als Forschungsdirektor geführt. Seit 2019 ist Barry Smith Gastprofessor an der Universität der italienischen Schweiz.
Barry Smiths Dissertation skizziert eine „Ontologie der Referenz“: Ausgehend von der etablierten Unterscheidung zwischen abstrakten und konkreten Typen von Objekten, schlägt Smith vor, abstrakte Objekte und ihren Gebrauch im Anschluss an Freges Ontologie, Husserls Theorie der noemata und Leopold Löwenheims Arbeiten zur Repräsentation von Klassen zu interpretieren. Ziel der Arbeit ist es u. a., notwendige und hinreichende Bedingungen aufzuzeigen für Objekthaftigkeit überhaupt (v. a. in Kap. 12). Dazu zählt Smith erstens die Möglichkeit einer gelingenden "erfüllten" Referenz auf die entsprechenden Entitäten (im Sinne ungefähr des „Wissens durch Bekanntschaft“ nach Russell), zweitens die Existenz einer Felds von Prädikaten im Umfeld von Eigennamen für das fragliche Objekt (was im Sinne Michael Dummetts unabhängige Gegenstände von linguistischen Entitäten unterscheidet), drittens Eingebettetsein in einem veridischen (statt illusionären) epistemischen Kontext. Neben der Ausarbeitung dieser Theorie von Objekthaftigkeit geht Smith u. a. auf Probleme der Philosophie der Mathematik bezüglich der Ontologie mathematischer Objekte ein, auf Interpretationsprobleme u. a. der genannten Klassiker der Logik und Phänomenologie, auf die Ansätze u. a. von Roman Ingarden und Paul Lorenzen, auf Schwächen der Ontologie Alexius Meinongs sowie auf eine Reihe metaphilosophischer Themen und insbesondere auf die Verhältnisbestimmung von Phänomenologie, Logik und Ontologie.
Ein wichtiger Schwerpunkt der Forschungsaktivitäten von Barry Smith liegt im Bereich der Ontologie in der Informatik und ihrer Anwendungen, vor allem in der medizinischen Bioinformatik.[7][8][9][10][11] In diesem Bereich hat er an diversen Projekten zur biomedizinischen Terminologie und zu elektronischen Krankenakten gearbeitet. Er ist der Leiter des Projekts Basic Formal Ontology, koordinierender Herausgeber der Open Biomedical Ontologies Foundry[12] und Mitglied des Wissenschaftlichen Beirats des Gene Ontology Consortium, und der Arbeitsgruppe Ontology for Biomedical Investigations (OBI).[13] Das NCOR (National Center for Ontological Research) wurde 2005 von Smith mitgegründet.[14] Seit 2006 werden dort die Tagungsreihen Ontology for the Intelligence Community[15] und STIDS[16] abgehalten. Vom Smith ging zudem die Initiative für die International Conference on Biomedical Ontology[17] aus. Smith befasst sich auch mit der Theorie Künstlicher Intelligenz[18][19].
Ab 2016 war Smith Herausgeber des internationalen Standards ISO/IEC 21838: Top Level Ontologies, Teile 1 und 2, der 2021 von ISO veröffentlicht wurde. Teil 1 spezifiziert die Anforderungen, um ein Top-Level (d. h.: Domäne-neutrale Ontologie) zu sein.[20] Teil 2 ist der Basic Formal Ontology (BFO) gewidmet.[21] Die Frankfurter Allgemeine Zeitung wies im September 2022 darauf hin, dass BFO das erste Beispiel für eine zur industriellen Norm erhobene Philosophie sei, und bezeichnete dies als „kleine wissenschaftsgeschichtliche Sensation“.[22]
Adolf Reinach, Sämtliche Werke. Kritische Ausgabe mit Kommentar, Band I: Die Werke, Teil I: Kritische Neuausgabe (1905–1914), Teil II: Nachgelassene Texte (1906–1917); (mit Karl Schuhmann:) Band II: Kommentar und Textkritik, München: Philosophia 1989.
(mit Hans Burkhardt) Handbook of Metaphysics and Ontology, München: Philosophia, 1991.
(mit David W. Smith) The Cambridge Companion to Husserl, Cambridge/New York: Cambridge University Press, 1995.
(mit Berit Brogaard) Rationality and Irrationality, Wien: öbv&hpt, 2001.
(mit Christopher Welty) Formal Ontology in Information Systems, New York: ACM Press, 2001.
John Searle, Cambridge/New York: Cambridge University Press, 2003.
(mit David Mark und Isaac Ehrlich) The Mystery of Capital and the Construction of Social Reality, Chicago: Open Court, 2008.
Barry Smith, Austrian Economics and Austrian Philosophy (PDF-Datei; 6,08 MB), in W. Grassl and B. Smith (Hrsg.): Austrian Economics: Historical and Philosophical Background, Routledge, London 2010, 1–36.
Pierre Grenon and Barry Smith, SNAP and SPAN: Towards Dynamic Spatial Ontology, in: Spatial Cognition and Computation, 4 (1), 2004, 69–103.
Barry Smith, Ontology (PDF-Datei; 61 kB)”, in Luciano Floridi (Hrsg.): Blackwell Guide to the Philosophy of Computing and Information, Oxford: Blackwell, 2003, 155–166.
Barry Smith, “Fiat Objects”, Topoi, 20: 2 (September 2001), 131–148.
Barry Smity, David M. Mark: “Geographical categories: an ontological investigation”, in: International Journal of Geographical Information Science, 15/7, 2001. doi:10.1080/13658810110061199
Barry Smith and Achille Varzi, “Fiat and Bona Fide Boundaries”, Philosophy and Phenomenological Research, 60 (2), 2000, 401–420.
Barry Smith and Achille Varzi, “The Niche (PDF-Datei; 89 kB)”, Nous, 33 (2), 1999, 198–222.
Barry Smith “Mereotopology: A theory of parts and boundaries”, Data & Knowledge Engineering, 20/3,1996, S. 287–303. doi:10.1016/S0169-023X(96)00015-8
Barry Smith, “On Drawing Lines on a Map”, in Andrew U. Frank and Werner Kuhn (Hrsg.): Spatial Information Theory. A Theoretical Basis for GIS (LNCS 988), Berlin/Heidelberg/New York etc.: Springer, 1995, 475–484.
↑Barry Smith and Werner Ceusters: Ontological realism: A methodology for coordinated evolution of scientific ontologies in: Applied Ontology 2010 Nov 15;5(3-4):139-188. PMC 3104413 (freier Volltext), PMID 21637730
↑Barry Smith, Cornelius Rosse: The role of foundational relations in the alignment of biomedical ontologies, in: Studies in health technology and informatics, Vol. 107-1 2004, PMID 15360852
↑Barry Smith, Jennifer Williams, Steffen Schulze-Kremer: The ontology of the gene ontology. in: AMIA Annu Symp Proc. 2003: S. 609–613, PMID 14728245
↑Barry Smith, W. Ceusters, B. Klagges, J. Köhler, A. Kumar, J. Lomax, C. Mungall, F. Neuhaus, A. L. Rector, Cornelius Rosse: Relations in biomedical ontologies., in: Genome Bioly 2005;6(5), PMID 15892874
↑D. Schober, B. Smith, S. E. Lewis, W. Kusnierczyk, J. Lomax J, C. Mungall, C. F. Taylor, P. Rocca-Serra, S. A. Sansone: Survey-based naming conventions for use in OBO Foundry ontology development. 1. BMC Bioinformatics. 2009, PMID 19397794
↑Barry Smith et al., “The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration.”, Nature Biotechnology 2007, 25(11): S. 1251–5. PMID 17989687; PMC 2814061 (freier Volltext).
↑Jobst Landgrebe, Barry Smith: Making AI meaningful again. 23. März 2019, arxiv:1901.02918.
↑J. Landgrebe, B. Smith: Why Humans Will Never Rule the World. Artificial Intelligence Without Fear. Routledge, Abingdon, UK 2022, ISBN 978-1-00-331010-5.