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
  •  191
    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
  •  265
    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
  •  477
    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
  •  427
    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
  •  494
    Austrian Origins of Logical Positivism
    In Barry Gower (ed.), Logical Positivism in Perspective, Croom Helm. pp. 35-68. 1988.
    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.
  •  1930
    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
  •  1071
    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
  •  371
    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
  •  576
    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
  •  512
    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
  •  1929
    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
  •  1171
    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
  •  319
    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.
  •  18
    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.
  •  358
    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