-
318The Ontology-Epistemology Divide: A Case Study in Medical TerminologyIn Achille Varzi & Laure Vieu (eds.), Formal Ontology in Information Systems. Proceedings of the Third International Conference (FOIS 2004), Ios Press. 2004.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
-
513The Question of ApriorismAustrian 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
-
611In defense of extreme (fallibilistic) apriorismJournal 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
-
652The Protein Ontology: A structured representation of protein forms and complexesNucleic 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
-
1138Development of a Manufacturing Ontology for Functionally Graded MaterialsIn 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
-
343On the Austrianness of Austrian economicsCritical 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
-
323Constraints on CorrespondenceIn 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’.
-
311The formal ontology of boundariesElectronic 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.
-
289Horizontal Integration of Warfighter Intelligence Data: A Shared Semantic Resource for the Intelligence CommunityIn 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
-
348Universal Core Semantic LayerIn Ontology for the Intelligence Community: Proceedings of the Third OIC Conference, 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
-
273Biomedical informatics and granularityComparative 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).
-
846Handbook of metaphysics and ontology (edited book)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
-
369On Creativity and the Philosophy of the Supranational StateIn Tamás Demeter (ed.), Essays on Wittgenstein and Austrian Philosophy: In Honour of J.C. Nyíri, Brill. pp. 25-39. 2004.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
-
300The Soul and Its Parts: A Study in Aristotle and BrentanoBrentano Studien 1. 1988.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.
-
971Document ActsIn Anita Konzelmann-Ziv & Hans Bernhard Schmid (eds.), Institutions, Emotions, and Group Agents: Contributions to Social Ontology, Springer. pp. 19-31. 2014.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
-
2656The Construction of Social Reality: An ExchangeAmerican 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
-
1313Framework for formal ontologyTopoi 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
-
366Truth and the visual fieldIn 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
-
602CARO: The Common Anatomy Reference OntologyIn 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
-
1027The Varieties of Normativity: An Essay on Social OntologyIn Savas L. Tsohatzidis (ed.), Intentional Acts and Institutional Facts: Essays on John Searle’s Social Ontology, Springer. pp. 157-173. 2007.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
-
551MetaphysicsIn Asbjørn Steglich-Petersen (ed.), Metaphysics: Five 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
-
616An Essay on Material NecessityCanadian 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
-
475Against idiosyncrasy in ontology developmentIn B. Bennett & C. Fellbaum (eds.), Formal Ontology in Information Systems (FOIS), Ios Press. pp. 15-26. 2006.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
-
24Alexius Meinong, On Objects of Higher Order and Husserl's Phenomenology (review)Philosophical Quarterly 30 (120): 252. 1980.
-
267Tracking Referents in Electronic Health RecordsStudies 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
-
175Wittgensteinian Philosophy and the Culture of the CommentaryIn Rudolf Haller & Johannes Brandl (eds.), Wittgenstein: Towards a Re-Evaluation, Volume 2, Hölder-pichler-tempsky. pp. 247-254. 1990.The object of the present paper is the philosophical commentary, a form of literature that once predominated in all major philosophical cultures from classical Greece to Renaissance Italy, but which has more recently fallen into comparative disuse. Commentaries on the writings of German thinkers such as Kant, Hegel, Marx and Heidegger have, certainly, kept the form alive to some extent in recent centuries; in the tradition of philosophy that was initiated by Descartes and Locke, however, and whi…Read more
-
687Logic and the SachverhaltThe 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
-
359Toward an Ontological Treatment of Disease and DiagnosisIn Proceedings of the 2009 AMIA Summit on Translational Bioinformatics, 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
-
250VérifacteursEtudes 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
-
767Per una storia della teoria degli atti linguisticiIn Stefano Besoli & Luca Guidetti (eds.), Il realismo fenomenologico. Sulla filosofia dei circoli di Monaco e Gottinga, Quodlibet. pp. 385-418. 2000.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
Barry Smith
University at Buffalo
National Center for Ontological Research
-
University at BuffaloDepartment of Philosophy
Biomedical Informatics
Neurology
Computer Science and EngineeringDistinguished Professor, Julian Park Chair -
National Center for Ontological ResearchAdministrator
-
APA Eastern Division
Buffalo, New York, United States of America
Areas of Specialization
Metaphysics |
Ontology |
Philosophy of Artificial Intelligence |
Philosophy of Biology |