-
1096Characteristica UniversalisIn Kevin Mulligan (ed.), Language, Truth and Ontology, Kluwer Academic Publishers. pp. 48--77. 1992.Recent work in formal philosophy has concentrated over-whelmingly on the logical problems pertaining to epistemic shortfall - which is to say on the various ways in which partial and sometimes incorrect information may be stored and processed. A directly depicting language, in contrast, would reflect a condition of epistemic perfection. It would enable us to construct representations not of our knowledge but of the structures of reality itself, in much the way that chemical diagrams allow the re…Read more
-
213Il significato della vita: come valurare una civiltàIn Philippe Nemo & Jean Petitot (eds.), Storia del liberalismo in Europa, Rubbettino. 2013.In what respects is Western civilization superior or inferior to its rivals? In raising this question we are addressing a particularly strong form of the problem of relativism. For in order to compare civilizations one with another we would need to be in possession of a framework based on principles of evaluation which would be acceptable, in principle, to all human beings. Morality will surely provide one axis of such a framework (and we note in passing that believers in Islam might quite reaso…Read more
-
263Philosophy and Biomedical Information SystemsIn 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
-
257A Formal Theory of Substances, Qualities, and UniversalsIn Achille Varzi & Laure Vieu (eds.), Formal Ontology in Information Systems. Proceedings of the Third International Conference, Ios Press. 2004.One of the tasks of ontology in information science is to support the classification of entities according to their kinds and qualities. We hold that to realize this task as far as entities such as material objects are concerned we need to distinguish four kinds of entities: substance particulars, quality particulars, substance universals, and quality universals. These form, so to speak, an ontological square. We present a formal theory of classification based on this idea, including both a sema…Read more
-
423Truthmaker ExplanationsIn 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
-
517On the Cognition of States of AffairsIn Kevin Mulligan (ed.), Speech Act and Sachverhalt: Reinach and the Foundations of Realist Phenomenology, M. Nijhoff. pp. 189-225. 1987.The theory of speech acts put forward by Adolf Reinach in his "The A Priori Foundations of the Civil Law" of 1913 rests on a systematic account of the ontological structures associated with various different sorts of language use. One of the most original features of Reinach's account lies in hIs demonstration of how the ontological structure of, say, an action of promising or of commanding, may be modified in different ways, yielding different sorts of non-standard instances of the correspondin…Read more
-
1928The Substitution Theory of ArtGrazer 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
-
710Biomedical imaging ontologies: A survey and proposal for future workJournal of Pathology Informatics 6 (37): 37. 2015.Ontology is one strategy for promoting interoperability of heterogeneous data through consistent tagging. An ontology is a controlled structured vocabulary consisting of general terms (such as “cell” or “image” or “tissue” or “microscope”) that form the basis for such tagging. These terms are designed to represent the types of entities in the domain of reality that the ontology has been devised to capture; the terms are provided with logical defi nitions thereby also supporting reasoning over th…Read more
-
898Individuals, universals, collections: On the foundational relations of ontologyIn Achille Varzi Laure Vieu (ed.), ”, Formal Ontology in Information Systems. Proceedings of the Third International Conference, Ios Press. 2004.This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in …Read more
-
246On the ontology of functionsApplied ontology 6 (2): 99-104. 2011.This special issue of Applied Ontology is devoted to the foundation, the comparison and the application of functional theories in all areas, with particular attention to the biological and engineering domains. It includes theoretical and technical contributions related to the description, characterization, and application of functions.
-
623Husserl, Language and the Ontology of the ActIn Dino Buzzetti & M. Ferriani (eds.), Speculative Grammar, Universal Grammar, and Philosophical Analysis of Language, John Benjamins. pp. 205-227. 1987.The ontology of language is concerned with the relations between uses of language, both overt and covert, and other entities, whether in the world or in the mind of the thinking subject. We attempt a first survey of the sorts of relations which might come into question for such an ontology, including: relations between referring uses of expressions and their objects, relations between the use of a (true) sentence and that in the world which makes it true, relations between mental acts on the one…Read more
-
575Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal OntologyIn 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
-
1222When the U.S. conducts warfare, elements of a force are drawn from different services and work together as a single team to accomplish an assigned mission. To achieve such unified action, it is necessary that the doctrines governing the actions of members of specific services be both consistent with and subservient to joint Doctrine. Because warfighting today increasingly involves not only live forces but also automated systems, unified action requires that information technology that is used in…Read more
-
1927Basic concepts of formal ontologyIn 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
-
188Ontologie des Mesokosmos. Soziale Objekte und UmweltenZeitschrift für Philosophische Forschung 52 (4): 521-540. 1998.The paper relates classical treatments of physics and metaphysics to contemporary work on common sense in the field of artificial intelligence (J. Hobbs, P. Hayes, et al.). It defends the universality (and truth) of certain basic principles of common-sense physics and shows why these basic principles must leave certain issues undetermined.
-
317Some 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.
-
347A terminological and ontological analysis of the NCI thesaurusMethods of Information in Medicine 44 (4): 498-507. 2005.We performed a qualitative analysis of the Thesaurus in order to assess its conformity with principles of good practice in terminology and ontology design. We used both the on-line browsable version of the Thesaurus and its OWL-representation (version 04.08b, released on August 2, 2004), measuring each in light of the requirements put forward in relevant ISO terminology standards and in light of ontological principles advanced in the recent literature. Version 04.08b of the NCI Thesaurus suffers…Read more
-
356Maintaining 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
-
1998Building Ontologies with Basic Formal OntologyMIT Press. 2015.In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the…Read more
-
700Fiat objectsTopoi 20 (2): 131-148. 2001.Human cognitive acts are directed towards entities of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. A categorial scheme for the objects of human cognition should be (1) critical and realistic. Cognitive subjects are liable to error, even to systematic error of the sort that is manifested by believers in the Pantheon of Olympian gods. Thus not all putative object-directed acts should be recognized as having objects of their own. …Read more
-
860Features, Objects, and other Things: Ontological Distinctions in the Geographic DomainIn Daniel Montello (ed.), Spatial Information Theory: Foundations of Geographic Information Science, Springer. pp. 489-502. 2001.Two hundred and sixty-three subjects each gave examples for one of five geographic categories: geographic features, geographic objects, geographic concepts, something geographic, and something that could be portrayed on a map. The frequencies of various responses were significantly different, indicating that the basic ontological terms feature, object, etc., are not interchangeable but carry different meanings when combined with adjectives indicating geographic or mappable. For all of the test p…Read more
-
345Annotating affective neuroscience data with the Emotion OntologyIn Janna Hastings, Werner Ceusters, Kevin Mulligan & Barry Smith (eds.), Third International Conference on Biomedical Ontology, Icbo. pp. 1-5. 2012.The Emotion Ontology is an ontology covering all aspects of emotional and affective mental functioning. It is being developed following the principles of the OBO Foundry and Ontological Realism. This means that in compiling the ontology, we emphasize the importance of the nature of the entities in reality that the ontology is describing. One of the ways in which realism-based ontologies are being successfully used within biomedical science is in the annotation of scientific research results in pu…Read more
-
431SNAP and SPAN: Towards dynamic spatial ontologySpatial Cognition and Computation 4 (1). 2004.We propose a modular ontology of the dynamic features of reality. This amounts, on the one hand, to a purely spatial ontology supporting snapshot views of the world at successive instants of time and, on the other hand, to a purely spatiotemporal ontology of change and process. We argue that dynamic spatial ontology must combine these two distinct types of inventory of the entities and relationships in reality, and we provide characterizations of spatiotemporal reasoning in the light of the inte…Read more
-
497Mereotopology: A theory of parts and boundariesData and Knowledge Engineering 20 (3). 1996.The paper is a contribution to formal ontology. It seeks to use topological means in order to derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of contact and connectedness, to the concepts of surface, point, neighbourhood, and so on. The basis of the theory is mereology, the formal theory of part and whole, a theory which is shown to have a number of advantages, for ontological purposes, over standard treatments of topology in set-theoretic terms. One ce…Read more
-
2007On Classifying Material Entities in Basic Formal OntologyIn Interdisciplinary Ontology: Proceedings of the Third Interdisciplinary Ontology Meeting, Keio University Press. pp. 1-13. 2012.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
-
747Against FantologyIn Johann C. Marek & Maria E. Reicher (eds.), Experience and Analysis, Hpt&öbv. pp. 153-170. 2005.The analytical philosophy of the last hundred years has been heavily influenced by a doctrine to the effect that the key to the correct understanding of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of standard first order predicate logic. Here ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “f(a)ntology”. Because predicate logic has exactly two syntactically different kinds of referring expressions—‘F’, ‘G’, ‘R’,…Read more
-
182Von T. G. Masaryk bis Jan Patočka: Eine philosophische SkizzeIn J. Zumr & T. Binder (eds.), T. G. Masaryk und die Brentano-Schule, Czech Academy of Sciences. pp. 94-110. 1993.Thomas Garrigue Masaryk, later founder and President of the Republic of Czechoslovakia, studied philosophy in the University of Vienna from 1872 to 1876, where he came under the powerful influence of Franz Brentano. We survey the role of Brentano’s philosophy, and especially of his ethics, in Masaryk’s life and work.
-
41Austrian Economics (Routledge Revivals): Historical and Philosophical Background (edited book)Croom Helm / Routledge. 1986.First published in 1986 and reprinted in 2010 in the Routledge Revivals series, this book presents the first detailed confrontation between the Austrian school of economics and Austrian philosophy, especially the philosophy of the Brentano school. It contains a study of the roots of Austrian economics in the liberal political theory of the nineteenth-century Hapsburg empire, and a study of the relations between the general theory of value underlying Austrian economics and the new economic approa…Read more
-
953The Plant Ontology as a Tool for Comparative Plant Anatomy and Genomic AnalysesPlant and Cell Physiology 54 (2). 2013.The Plant Ontology (PO; http://www.plantontology.org/) is a publicly-available, collaborative effort to develop and maintain a controlled, structured vocabulary (“ontology”) of terms to describe plant anatomy, morphology and the stages of plant development. The goals of the PO are to link (annotate) gene expression and phenotype data to plant structures and stages of plant development, using the data model adopted by the Gene Ontology. From its original design covering only rice, maize and Arabi…Read more
-
232L’ontologie de la realité socialeIn P. Livet & R. Ogien (eds.), L’Enquête ontologique, du mode de l'existence des objets sociaux, Editions Ehess. pp. 185--208. 2000.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 banks computers, however, the formula fails, because these are cases of what he calls ‘free-st…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 |