-
827Some Formal Moments of TruthIn 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.
-
1653CARO: The Common Anatomy Reference OntologyIn 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
-
876Weininger und WittgensteinTeoria 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
-
900Ontology and the logistic analysis of realityIn Nicola Guarino & Roberto Poli (eds.), Proceedings of the International Workshop on Formal Ontology in Conceptual Analysis and Knowledge Representation, Italian National Research Council. pp. 51-68. 1993.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.
-
1447An 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
-
1194Sämtliche Werke: Textkritische Ausgabe in 2 BändenPhilosophia. 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
-
609Die Struktur der Common-Sense WeltLogos. 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
-
3135On Classifying Material Entities in Basic Formal OntologyIn 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
-
697Tracking 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
-
1389The substance of Brentano's ontologyTopoi 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
-
1509Logic, Form and MatterAristotelian 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
-
924Toward an Ontological Treatment of Disease and DiagnosisIn 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
-
720The Ontology of Processes and Functions: A Study of the International Classification of Functioning, Disability and HealthIn Barry Smith, Anand Kumar & Thomas Bittner (eds.), Basic Formal Ontology for bioinformatics, Ifomis Reports. 2005.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.
-
1618Realistic PhenomenologyIn 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
Barry Smith
University at Buffalo
National Center for Ontological Research
-
-
National Center for Ontological ResearchAdministrator
-
APA Eastern Division
Buffalo, New York, United States of America
Areas of Specialization
| Applied Ontology |
| Metaphysics |
| Philosophy of Artificial Intelligence |
| Philosophy of Biology |