-
640An 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
-
651Basic Formal Ontology for bioinformaticsIFOMIS Reports. 2005.Two senses of ‘ontology’ can be distinguished in the current literature. First is the sense favored by information scientists, who view ontologies as software implementations designed to capture in some formal way the consensus conceptualization shared by those working on information systems or databases in a given domain. [Gruber 1993] Second is the sense favored by philosophers, who regard ontologies as theories of different types of entities (objects, processes, relations, functions) [Smith…Read more
-
210Referent tracking for digital rights managementInternational Journal of Metadata, Semantics and Ontologies 2 (1): 45-53. 2007.Digital Rights Management (DRM) covers the description, identification, trading, protection, monitoring and tracking of all forms of rights over both tangible and intangible assets. The Digital Object Identifier (DOI) system provides a framework for the persistent identification of entities involved in this domain. Although the system has been very well designed to manage object identifiers, some important questions relating to the creation and assignment of identifiers are left open. The paradi…Read more
-
1339Framework 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
-
10Ludwig Landgrebe, The Phenomenology of Edmund Husserl. Six Essays (review)History and Philosophy of Logic 4 (1): 111. 1983.
-
274Tracking 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
-
450The primacy of place: An investigation in Brentanian ontologyTopoi 8 (1): 43-51. 1989.What follows is an investigation of the ontology of Franz Brentano with special reference to Brentano's later and superficially somewhat peculiar doctrine to the effect that the substances of the material world are three dimensional places. Taken as a whole, Brentano's philosophy is marked by three, not obviously compatible, trait. In the first place, his work is rooted in the metaphysics of Aristotle, above all in Aristotle's substance/accident ontology and in the Aristotelian …Read more
-
689Logic 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
-
369Toward 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
-
412Layers: A New Approach to Locating Objects in SpaceIn W. Kuhn M. F. Worboys & S. Timpf (eds.), Spatial Information Theory: Foundations of Geographic Information Science, Springer. pp. 50-65. 2003.Standard theories in mereotopology focus on relations of parthood and connection among spatial or spatio-temporal regions. Objects or processes which might be located in such regions are not normally directly treated in such theories. At best, they are simulated via appeal to distributions of attributes across the regions occupied or by functions from times to regions. The present paper offers a richer framework, in which it is possible to represent directly the relations between entities of var…Read more
-
791Per 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
-
1693Do mountains exist? Towards an ontology of landformsEnvironment and Planning B (Planning and Design) 30 (3). 2003.Do mountains exist? The answer to this question is surely: yes. In fact, ‘mountain’ is the example of a kind of geographic feature or thing most commonly cited by English speakers (Mark, et al., 1999; Smith and Mark 2001), and this result may hold across many languages and cultures. But whether they are considered as individuals (tokens) or as kinds (types), mountains do not exist in quite the same unequivocal sense as do such prototypical everyday objects as chairs or people.
-
1281Formal ontology, common sense, and cognitive scienceInternational Journal of Human-Computer Studies 43 (5-6). 1995.Common sense is on the one hand a certain set of processes of natural cognition - of speaking, reasoning, seeing, and so on. On the other hand common sense is a system of beliefs (of folk physics, folk psychology and so on). Over against both of these is the world of common sense, the world of objects to which the processes of natural cognition and the corresponding belief-contents standardly relate. What are the structures of this world? How does the scientific treatment of this world relate to…Read more
-
3244John Searle: From speech acts to social realityIn John Searle, Cambridge University Press. pp. 1-33. 2003.We provide an overview of Searle's contributions to speech act theory and the ontology of social reality, focusing on his theory of constitutive rules. In early versions of this theory, Searle proposed that all such rules have the form 'X counts as Y in context C' formula – as for example when Barack Obama (X) counts as President of the United States (Y) in the context of US political affairs. Crucially, the X and the Y terms are here identical. A problem arises for this theory for cases involvi…Read more
-
492The Unified Medical Language System and the Gene Ontology: Some critical reflectionsIn A. Günter, R. Kruse & B. Neumann (eds.), KI 2003: Advances in Artificial Intelligence, Springer. pp. 135-148. 2003.The Unified Medical Language System and the Gene Ontology are among the most widely used terminology resources in the biomedical domain. However, when we evaluate them in the light of simple principles for wellconstructed ontologies we find a number of characteristic inadequacies. Employing the theory of granular partitions, a new approach to the understanding of ontologies and of the relationships ontologies bear to instances in reality, we provide an application of this theory in relation to a…Read more
-
1525The evaluation of ontologies: Toward improved semantic interoperabilityIn Chris Baker & Kei H. Cheung (eds.), Semantic Web: Revolutionizing Knowledge Discovery in the Life Sciences, Springer. pp. 139-158. 2006.Recent years have seen rapid progress in the development of ontologies as semantic models intended to capture and represent aspects of the real world. There is, however, great variation in the quality of ontologies. If ontologies are to become progressively better in the future, more rigorously developed, and more appropriately compared, then a systematic discipline of ontology evaluation must be created to ensure quality of content and methodology. Systematic methods for ontology evaluation wil…Read more
-
564Granular Partitions and VaguenessIn Barry Smith & Christopher Welty (eds.), Formal Ontology in Information Systems (FOIS), Acm Press. pp. 309-320. 2001.There are some who defend a view of vagueness according to which there are intrinsically vague objects or attributes in reality. Here, in contrast, we defend a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally good candidates for being its extensio…Read more
-
364Ontology with Human Subjects Testing: An Empirical Investigation of Geographic CategoriesAmerican Journal of Economics and Sociology 58 (2). 1998.Ontology, since Aristotle, has been conceived as a sort of highly general physics, a science of the types of entities in reality, of the objects, properties, categories and relations which make up the world. At the same time ontology has been for some two thousand years a speculative enterprise. It has rested methodologically on introspection and on the construction and analysis of elaborate world-models and of abstract formal-ontological theories. In the work of Quine and others this ontologica…Read more
-
485Bodily Systems and the Spatial-Functional Structure of the Human BodyStudies in Health and Technology Informatics 102. 2004.The human body is a system made of systems. The body is divided into bodily systems proper, such as the endocrine and circulatory systems, which are subdivided into many sub-systems at a variety of levels, whereby all systems and subsystems engage in massive causal interaction with each other and with their surrounding environments. Here we offer an explicit definition of bodily system and provide a framework for understanding their causal interactions. Medical sciences provide at best informal …Read more
-
3392Beyond concepts: Ontology as reality representationIn Barry Smith & Christopher Welty (eds.), Formal Ontology in Information Systems (FOIS), Acm Press. pp. 1-12. 2001.The present essay is devoted to the application of ontology in support of research in the natural sciences. It defends the thesis that ontologies developed for such purposes should be understood as having as their subject matter, not concepts, but rather the universals and particulars which exist in reality and are captured in scientific laws. We outline the benefits of a view along these lines by showing how it yields rigorous formal definitions of the foundational relations used in many influe…Read more
-
394The Environment Ontology: Contextualising biological and biomedical entitiesJournal of Biomedical Semantics 4 (43): 1-9. 2013.As biological and biomedical research increasingly reference the environmental context of the biological entities under study, the need for formalisation and standardisation of environment descriptors is growing. The Environment Ontology (ENVO) is a community-led, open project which seeks to provide an ontology for specifying a wide range of environments relevant to multiple life science disciplines and, through an open participation model, to accommodate the terminological requirements of all t…Read more
-
224The Ecological Approach to Information ProcessingIn Kristóf Nyíri (ed.), Mobile Learning: Essays on Philosophy, Psychology and Education, Passagen Verlag. pp. 17--24. 2003.Imagine a 5-stone weakling whose brain has been loaded with all the knowledge of a champion tennis player. He goes to serve in his first match – Wham! – His arm falls off. The 5-stone weakling just doesn’t have the bone structure or muscular development to serve that hard. There are, clearly, different types of knowledge/ability/skill, only some of which are a matter of what can be transferred simply by passing signals down a wire from one brain (or computer) to another. Sometimes it is the body…Read more
-
519SachverhaltIn Historisches Wörterbuch der Philosophie, Volume 8, Basel: Schwabe. 1992.Both ‘Sachverhalt’ and ‘state of affairs’ seem to have been derived from the juridical ‘status’ in the sense of 'status rerum' meaning: state or constitution of things. ‘Status’ signifies also in an extended sense ‘the way things stand, the condition or peculiarity of a thing in regard to its circumstances, position, order’. We describe the history of usage of ‘Sachverhalt’ from these beginnings, addressing the role of Goclenius, Lotze, Stumpf, Husserl and Adolf Reinach, whose theory of the rela…Read more
-
1212Towards an ontology of painIn Barry Smith, Werner Ceusters, Louis J. Goldberg & Richard Ohrbach (eds.), Towards an ontology of pain, Keio University Press. 2011.We present an ontology of pain and of other pain-related phenomena, building on the definition of pain provided by the International Association for the Study of Pain (IASP). Our strategy is to identify an evolutionarily basic canonical pain phenomenon, involving unpleasant sensory and emotional experience based causally in localized tissue damage that is concordant with that experience. We then show how different variant cases of this canonical pain phenomenon can be distinguished, including pa…Read more
-
473Mach und Ehrenfels: Über Gestaltqualitäten und das Problem der AbhängigkeitIn Reinhard Fabian (ed.), Christian von Ehrenfels: Leben und Werk, Rodopi. pp. 85-111. 1986.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
-
468An Axiomatisation of Basic Formal Ontology with Projection FunctionsIn Kerry Taylor (ed.), Advances in Ontologies, Proceedings of the Sixth Australasian Ontology Workshop, University of Adelaide. pp. 71-80. 2010.This paper proposes a reformulation of the treatment of boundaries, at parts and aggregates of entities in Basic Formal Ontology. These are currently treated as mutually exclusive, which is inadequate for biological representation since some entities may simultaneously be at parts, boundaries and/or aggregates. We introduce functions which map entities to their boundaries, at parts or aggregations. We make use of time, space and spacetime projection functions which, along the way, allow us to de…Read more
-
30Review of Paul Gochet, Outline of a Nominalist Theory of Propositions (review)Grazer Philosophische Studien 14 (1): 216-217. 1981.
-
1729Towards a History of Speech Act TheoryIn Armin Burkhardt (ed.), Speech acts, meaning, and intentions: critical approaches to the philosophy of John R. Searle, W. De Gruyter. pp. 29--61. 1990.That uses of language not only can, but even normally do, have the character of actions was a fact largely unrealised by those engaged in the study of language before the present century, at least in the sense that there was lacking any attempt to come to terms systematically with the action-theoretic peculiarities of language use. Where the action-character of linguistic phenomena was acknowledged, it was normally regarded as a peripheral matter, relating to derivative or nonstandard aspects of…Read more
-
199AgglomerationsIn Freksa C. & Mark David M. (eds.), Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science (Lecture Notes in Computer Science 1661), . pp. 267-282. 1999.Where some have attempted to apply cognitive methods to the study of geography, the present paper is designed to serve as a starting point for applying methods of geographic ontology to the phenomena of cognition. Agglomerations are aggregates of entities that are dispersed through space on geographic scales. Examples include: plagues, biological species, major world religions. The paper applies standard mereotopological theories of spatial regions to agglomerations in this sense. It offers the …Read more
-
332Endurants and Perdurants in Directly Depicting OntologiesAI Communications 13 (4). 2004.We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate therein. For this purpose we introduce the notion a directly depicting ontology. Directly depicting ontologies are based on relatively simple languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and employ distinct though compatible systems of c…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 |