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
  •  185
    Ingarden versus Meinong o logice fikcji
    In Z. Muszyński (ed.), Z badań nad prawdą i poznaniem, Wydawnictwo Umc-s. 1998.
    : For Meinong, familiarly, fictional entities are not created, but rather merely discovered (or picked out) from the inexhaustible realm of Aussersein (beyond being and non-being). The phenomenologist Roman Ingarden, in contrast, offers in his Literary Work of Art of 1931 a constructive ontology of fiction, which views fictional objects as entities which are created by the acts of an author (as laws, for example, are created by acts of parliament). We outline the logic of fiction which is implie…Read more
  •  536
    Modelling Principles and Methodologies: Relations in Anatomical Ontologies
    with Fabian Neuhaus
    In Albert Burger, Duncan Davidson & Richard Baldock (eds.), Anatomy Ontologies for Bioinformatics: Principles and Practice, Springer. pp. 289--306. 2008.
    It is now increasingly accepted that many existing biological and medical ontologies can be improved by adopting tools and methods that bring a greater degree of logical and ontological rigor. In this chapter we will focus on the merits of a logically sound approach to ontologies from a methodological point of view. As we shall see, one crucial feature of a logically sound approach is that we have clear and functional definitions of the relational expressions such as ‘is a’ and ‘part of ’.
  •  63
    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
  •  214
    On the Phases of Reism
    In Arkadiusz Chrudzimski & Dariusz Łukasiewicz (eds.), Actions, products, and things: Brentano and Polish philosophy, Ontos. pp. 137--183. 2006.
    Kotarbiński is one of the leading figures in the Lvov-Warsaw school of Polish philosophy. We summarize the development of Kotarbiński’s thought from his early nominalism and ‘pansomatistic reism’ to the later doctrine of ‘temporal phases’. We show that the surface clarity and simplicity of Kotarbiński’s writings mask a number of profound philosophical difficulties, connected above all with the problem of giving an adequate account of the truth of contingent (tensed) predications. The paper will …Read more
  •  411
    Of Chisholm’s many signal contributions to analytic metaphysics, perhaps the most important is his treatment of boundaries, a category of entity that has been neglected, to say the least, in the history of ontology. We can gain some preliminary idea of the sorts of problems which the Chisholmian ontology of boundaries is designed to solve, if we consider the following Zeno-inspired thought-experiment.
  •  1190
    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
  •  492
    Putting the World Back into Semantics
    Grazer Philosophische Studien 44 (1): 91-109. 1993.
    To what in reality do the logically simple sentences with empirical content correspond? Two extreme positions can be distinguished in this regard: 'Great Fact' theories, such as are defended by Davidson; and trope-theories, which see such sentences being made the simply by those events or states to which the relevant main verbs correspond. A position midway between these two extremes is defended, one according to which sentences of the given sort are made tme by what are called 'dependence struc…Read more
  •  37
    Zum Wesen des Common sense: Aristoteles und die naive Physik
    Zeitschrift für Philosophische Forschung 46 (4). 1992.
    In ancient times was known two kinds of physics. On one side there was the astronomy , which is characterized by the use of exact mathematical principles, on the other hand, there was the physics in the true sense of the word, a science, which coincides often with what we now call `metaphysics' . While astronomy has to do with the region of celestials and the imperishable, the physics is about the range of the sublunary, terrestrial things that come and go, and from their movements. The physicis…Read more
  •  1002
    HL7 RIM: An incoherent standard
    with Werner Ceusters
    Studies in Health Technology and Informatics 124 (Proceedings of MIE 2006). 2006.
    The Health Level 7 Reference Information Model (HL7 RIM) is lauded by its authors as ‘the foundation of healthcare interoperability’. Yet even after some 10 years of development work, the RIM is still subject to a variety of logical and ontological flaws which have placed severe obstacles in the way of those who are called upon to develop implementations. We offer evidence that these obstacles are insurmountable and that the time has come to abandon an unworkable paradigm.
  •  1871
    Mach and Ehrenfels: The foundations of Gestalt Theory
    In Barry Smith (ed.), Foundations of Gestalt Theory, Philosophia Verlag. pp. 124-157. 1988.
    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
  •  268
    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
  •  478
    Ontologia i analiza logiczna rzeczywistości
    Filozofia Nauki 2 5-22. 1994.
    The author attempts to show how mereology, taken together with certain topological notions, can yield the foundations for future investigations in formal ontology. He also attempts to show how the mereological framework allows for the direct and natural formulation of a series of theses - for example pertaining to the concept of a boundary - which can be only indirectly formulated (if at all) in set-theoretic terms. The far-reaching ain of the present framework is to serve as a basis for a forma…Read more
  •  454
    Towards a Science of Emerging Media
    In J. E. Katz & J. Floyd (eds.), Philosophy of Emerging Media: Understanding, Appreciation and Application, Oxford University Press. pp. 29-48. 2015.
    If media studies are to become established as a genuine science, then it needs to be determined what the subject matter of this science is to be. I propose a specification of this subject matter as consisting in: 1. the new sorts of digital entities that have been added to social reality through the invention of the digital computer, and 2. the new sorts of interactions involving human beings which such entities make possible. I support this proposal by examining examples of some of the ways in …Read more
  •  104
    Legal ontology and the problem of normativity
    The Analytic-Continental Divide, Conference, University of Tel Aviv. 1999.
    Applied ontology is the attempt to put to use the rigorous tools of philosophical ontology in the development of category systems which can be of use in the formalization and systematization of knowledge of a given domain. In what follows we shall sketch some elements of the ontology of legal and socio-political institutions, paying attention especially to the normativity involved in such institutions. We shall see that there is more than one type of normativity, but that this fact that has ofte…Read more
  •  435
    The Theory of Value of Christian von Ehrenfels
    In Reinhard Fabian (ed.), Christian von Ehrenfels: Leben und Werk, Rodopi. pp. 150-171. 1986.
    Christian von Ehrenfels was a student of both Franz Brentano and Carl Menger and his thinking on value theory was inspired both by Brentano’s descriptive psychology and by the subjective theory of economic value advanced by Menger, the founder of the Austrian school of economics. Value, for Ehrenfels, is a function of desire, and we ascribe value to those things which we either do in fact desire, or would desire if we were not convinced of their existence. He asserts that the needed theoretical …Read more
  •  480
    We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes (occurrents) and the enduring entities (continuants) that participate therein. The theory is divided into two major categories of sub-theories: (sub-) theories of type SPAN and (sub-)theories of type SNAP. These theories represent two complementary perspectives on reality and result in distinct though compatible systems of categories. In SNAP we have enduring entities such as substances,…Read more
  •  480
    OAE: The Ontology of Adverse Events
    with Yongqun He, Sirarat Sarntivijai, Yu Lin, Zuoshuang Xiang, Abra Guo, Shelley Zhang, Desikan Jagannathan, Luca Toldo, and Cui Tao
    Journal of Biomedical Semantics 5 (29): 1-13. 2014.
    A medical intervention is a medical procedure or application intended to relieve or prevent illness or injury. Examples of medical interventions include vaccination and drug administration. After a medical intervention, adverse events (AEs) may occur which lie outside the intended consequences of the intervention. The representation and analysis of AEs are critical to the improvement of public health. Description: The Ontology of Adverse Events (OAE), previously named Adverse Event Ontology (AEO…Read more
  •  253
    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.
  •  515
    Objects and their environments: From Aristotle to ecological ontology
    In Andrew U. Frank, Jonathan Raper & Jean-Paul Cheylan (eds.), The Life and Motion of Socio-Economic Units, Taylor & Francis. pp. 79-97. 2001.
    What follows is a contribution to the theory of space and of spatial objects. It takes as its starting point the philosophical subfield of ontology, which can be defined as the science of what is: of the various types and categories of objects and relations in all realms of being. More specifically, it begins with ideas set forth by Aristotle in his Categories and Metaphysics, two works which constitute the first great contributions to ontological science. Because Aristotle’s ontological ideas w…Read more
  •  689
    Searle and De Soto: The New Ontology of the Social World
    In Barry Smith, David Mark & Isaac Ehrlich (eds.), The Mystery of Capital and the Construction of Social Reality, Open Court. pp. 35-51. 2008.
    Consider a game of blind chess between two chess masters that is recorded in some standard chess notation. The recording is a representation of the game. But what is the game itself? This question is, we believe, central to the entire domain of social ontology. We argue that the recorded game is a special sort of quasi-abstract pattern, something that is: (i) like abstract entities such as numbers or forms, in that it is both nonphysical and nonpsychological; but at the same time, (ii) through i…Read more
  •  1654
    Aristotle, Menger, Mises: An essay in the metaphysics of economics
    History of Political Economy, Annual Supplement 22 263-288. 1990.
    There are, familiarly, a range of distinct and competing accounts of the methodological underpinnings of Menger' s work. These include Leibnizian, Kantian, Millian, and even Popperian readings; but they include also readings of an Aristotelian sort, and I have myself made a number of contributions in clarification and defence of the latter. Not only, I have argued, does the historical situation in which Menger found himself point to the inevitability of the Aristotelian reading; this reading …Read more
  •  6727
    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
  •  298
    Relations in Biomedical Ontologies
    with Werner Ceusters, Bert Klagges, Jacob Köhler, Anand Kuma, Jane Lomax, Chris Mungall, ,, Fabian Neuhaus, Alan Rector, and Cornelius Rosse
    Genome Biology 6 (5). 2005.
    To enhance the treatment of relations in biomedical ontologies we advance a methodology for providing consistent and unambiguous formal definitions of the relational expressions used in such ontologies in a way designed to assist developers and users in avoiding errors in coding and annotation. The resulting Relation Ontology can promote interoperability of ontologies and support new types of automated reasoning about the spatial and temporal dimensions of biological and medical phenomena.
  •  515
    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
  •  398
    Establishing and Harmonizing Ontologies in an Interdisciplinary Health Care and Clinical Research Environment
    with Mathias Brochhausen
    Studies in Health, Technology and Informatics 134 219-234. 2008.
    Ontologies are being ever more commonly used in biomedical informatics and we provide a survey of some of these uses, and of the relations between ontologies and other terminology resources. In order for ontologies to become truly useful, two objectives must be met. First, ways must be found for the transparent evaluation of ontologies. Second, existing ontologies need to be harmonised. We argue that one key foundation for both ontology evaluation and harmonisation is the adoption of a realist p…Read more
  •  1277
    Towards an Ontological Representation of Resistance: The Case of MRSA
    with Albert Goldfain and Lindsay G. Cowell
    Journal of Biomedical Informatics 44 (1): 35-41. 2011.
    This paper addresses a family of issues surrounding the biological phenomenon of resistance and its representation in realist ontologies. The treatments of resistance terms in various existing ontologies are examined and found to be either overly narrow, internally inconsistent, or otherwise problematic. We propose a more coherent characterization of resistance in terms of what we shall call blocking dispositions, which are collections of mutually coordinated dispositions which are of such a sor…Read more
  •  1142
    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
  •  822
    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
  •  508
    The functions of definitions in ontologies
    with Selja Seppälä and Alan Ruttenberg, ,
    To understand what ontologies do through their definitions, we propose a theoretical explanation of the functions of definitions in ontologies backed by empirical neuropsychological studies. Our goal is to show how these functions should motivate (i) the systematic inclusion of definitions in ontologies and (ii) the adaptation of definition content and form to the specific context of use of ontologies.
  •  313
    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.