This paper, while neutral on questions about the minimality of truth, argues for the non-minimality of truth-aptness.

REMARKS ON EVOLUTION AND TIME-SCALES, Graham Cairns-Smith; HODGSON'S BLACK BOX, Thomas Clark; DO HODGSON'S PROPOSITIONS UNIQUELY CHARACTERIZE FREE WILL?, Ravi Gomatam; WHAT SHOULD WE RETAIN FROM A PLAIN PERSON'S CONCEPT OF FREE WILL?, Gilberto Gomes; ISOLATING DISPARATE CHALLENGES TO HODGSON'S ACCOUNT OF FREE WILL, Liberty Jaswal; FREE AGENCY AND LAWS OF NATURE, Robert Kane; SCIENCE VERSUS REALIZATION OF VALUE, NOT DETERMINISM VERSUS CHOICE, Nicholas Maxwell; COMMENTS ON HODGSON, J.J.C. Smart; THE VIEW FROM WITHIN, Sean Spence; COMMENTARY ON HODGSON, Henry (...) Stapp. (shrink)

In [3], Quentin Smith claims that `the Hartle-Hawking cosmology' is inconsistent with classical theism in a way which redounds to the discredit of classical theism; and, moreover, that the truth of `the Hartle- Hawking cosmology' would undermine reasonsed belief in any other varieties of theism which hold that the universe is created.

A discussion of the recent prominence of 'new atheism' and 'Christian nationalism' in the United States.

This paper was presented as the keynote address at the 2005 Philosophy Graduate Student Conference at the University of Memphis on “Limitations of Subjectivity.”.

This paper is a critical review of *Big Bang Cosmology* by Quentin Smith and William Lane Craig. (The book is a collection of previously published papers; most are concerned, in one way or another, with kalam cosmological arguments for the existence of God.).

A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith ** The Bounds of Axiomatisation, Graham White ** Rethinking Boundaries, Wojciech Zelaniec ** Sheaf Mereology and Space Cognition, Jean Petitot ** A Mereotopological Definition of 'Point', Carola Eschenbach ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel ** Mass Reference and the Geometry of Solids, Almerindo E. (...) Ojeda ** Defining a 'Doughnut' Made Difficult, N .M. Gotts ** A Theory of Spatial Regions with Indeterminate Boundaries, A.G. Cohn and N.M. Gotts ** Mereotopological Construction of Time from Events, Fabio Pianesi and Achille C. Varzi ** Computational Mereology: A Study of Part-of Relations for Multi-media Indexing, Wlodek Zadrozny and Michelle Kim. (shrink)

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

Brought to you by: Crop X editors: Jonathan Alexander Perez, Harmony Smith, Corinne Tendorf, David Turturo, and Derek Rahn Williams. Faculty Advisor: David Turturo; Crop X team included: Chaimae Alehyane, Zachary S. Casey, Suzanna Brinez, Jacob Brown, Elizabeth George, Francisco Javier Muniz Ituarte, Brodey Myers. -/- Credits: Huckabee College of Architecture; Graphic Designers: Studio BLDG (Blossom Liu + Danny Gray); English Editor: Luke Studebaker; Spanish Translator: Jessie Forbes; Printer: Die Keure. Cover Photo: Derek Williams. -/- Generously supported by the (...) Graham Foundation for Advanced Studies in the Fine Arts and the Huckabee College of Architecture, Texas Tech University. (shrink)

A realist theory of truth for a class of sentences 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 core of our theory is the (...) account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. In contrast to this, we uphold the mutual independence of logical and ontological complexity, and the authors outline formal principles of truthmaking taking account of both kinds of complexity. (shrink)

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 field of applied ontology that is of (...) particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

A meaningful life, we shall argue, is a life upon which a certain sort of valuable pattern has been imposed by the person in question - a pattern which involves in serious ways the person having an effect upon the world. Meaningfulness is thus a special kind of value which a human life can bear. Two interrelated difficulties face ths proposal. One concerns responsiblity: how are we to account for the fact that a life that satisfies the above criteria can (...) have more meaning than a life with the same positive outcomes but which lacks responsiblity on the part of the agent? The other turns on these outcomes themselves: how can the meaningfulness engendered by actions you perform now be affected by what those actions go on to produce in the future, perhaps even after your death? We provide a response to both of these difficulties. (shrink)

Experimental philosophers have gathered impressive evidence for the surprising conclusion that philosophers' intuitions are out of step with those of the folk. As a result, many argue that philosophers' intuitions are unreliable. Focusing on the Knobe Effect, a leading finding of experimental philosophy, we defend traditional philosophy against this conclusion. Our key premise relies on experiments we conducted which indicate that judgments of the folk elicited under higher quality cognitive or epistemic conditions are more likely to resemble those of the (...) philosopher. We end by showing how our experimental findings can help us better understand the Knobe Effect. (shrink)

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 interconnections (...) between them. (shrink)

We have a variety of different ways of dividing up, classifying, mapping, sorting and listing the objects in reality. The theory of granular partitions presented here seeks to provide a general and unified basis for understanding such phenomena in formal terms that is more realistic than existing alternatives. Our theory has two orthogonal parts: the first is a theory of classification; it provides an account of partitions as cells and subcells; the second is a theory of reference or intentionality; it (...) provides an account of how cells and subcells relate to objects in reality. We define a notion of well-formedness for partitions, and we give an account of what it means for a partition to project onto objects in reality. We continue by classifying partitions along three axes: (a) in terms of the degree of correspondence between partition cells and objects in reality; (b) in terms of the degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) in terms of the degree of completeness with which a partition represents this domain. (shrink)

The present essay seeks, by way of the Austrian example, to make a contribution to what might be called the philosophy of the supranational state. More specifically, we shall attempt to use certain ideas on the philosophy of Gestalten as a basis for understanding some aspects of that political and cultural phenomenon which was variously called the Austrian Empire, the Habsburg Empire, the Danube Monarchy or Kakanien.

Ontologies are being used increasingly to promote the reusability of scientific information by allowing heterogeneous data to be integrated under a common, normalized representation. Definitions play a central role in the use of ontologies both by humans and by computers. Textual definitions allow ontologists and data curators to understand the intended meaning of ontology terms and to use these terms in a consistent fashion across contexts. Logical definitions allow machines to check the integrity of ontologies and reason over data annotated (...) with ontology terms to make inferences that promote knowledge discovery. Therefore, it is important not only to include in ontologies multiple types of definitions in both formal and in natural languages, but also to ensure that these definitions meet good quality standards so they are useful. While tools such as Protégé can assist in creating well-formed logical definitions, producing good definitions in a natural language is still to a large extent a matter of human ingenuity supported at best by just a small number of general principles. For lack of more precise guidelines, definition authors are often left to their own personal devices. This paper aims to fill this gap by providing the ontology community with a set of principles and conventions to assist in definition writing, editing, and validation, by drawing on existing definition writing principles and guidelines in lexicography, terminology, and logic. (shrink)

This is a review article on Franz Brentano’s Descriptive Psychology published in 1982. We provide a detailed exposition of Brentano’s work on this topic, focusing on the unity of consciousness, the modes of connection and the types of part, including separable parts, distinctive parts, logical parts and what Brentano calls modificational quasi-parts. We also deal with Brentano’s account of the objects of sensation and the experience of time.

Numerous research groups are now utilizing Basic Formal Ontology as an upper-level framework to assist in the organization and integration of biomedical information. This paper provides elucidation of the three existing BFO subcategories of realizable entity, namely function, role, and disposition. It proposes one further sub-category of tendency, and considers the merits of recognizing two sub-categories of function for domain ontologies, namely, artifactual and biological function. The motivation is to help advance the coherent ontological treatment of functions, roles, and dispositions, (...) to help provide the potential for more detailed classification, and to shed light on BFO’s general make-up and use. (shrink)

A number of logicians and philosophers have turned their attention in recent years to the problem of developing a logic of interrogatives. Their work has thrown a great deal of light on the formal properties of questions and question-sentences and has led also to interesting innovations in our understanding of the structures of performatives in general and, for example, in the theory of presuppositions. When, however, we examine the attempts of logicians such as Belnap or Åqvist to specify what, precisely, (...) a question is, or what it is to ask or raise a question, then what we are offered is somewhat less illuminating. Two alternative reductionist accounts seem in particular to have gained most favor: questions are identified either as special sorts of statements, or as special sorts of requests. As we hope will become clear in what follows, neither of these accounts is even nearly adequate; and matters are not improved if questions are identified, by force majeure, as combinations of statements and requests. (shrink)

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 law and psychology. The central role of (...) the concept of state of affairs in Reinach’s philosophy will bring to mind immediately the formal ontology of Wittgenstein’s Tractatus. Reinach’s most significant contribution, however, is contained in his The a priori foundations of civil law (1913), above all in the detailed analysis of the a priori structure of the act of promising. This amounts to an elaborate phenomenological theory of speech acts which anticipates, and in some respects goes beyond, the later theories of Austin and Searle. The present edition is in two volumes. Volume 1, which includes a biographical and thematic introduction by the editors, contains critical editions of those pieces published by Reinach himself. Volume II is a collection of all those items in Reinach’s surviving Nachlass which are in publishable form, including a number of important pieces not hitherto obtainable on such themes as ethical predicates, speech acts (“soziale Akte”), perception and the theory of number, together with a comprehensive sketch of the problems in the theory of knowledge, logic and ethics. Appended to this is a text-critical apparatus which also contains extensive discussions of the origins and sources of the materials in question. (shrink)

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 from the same broad range (...) of problems that have been observed in other biomedical terminologies. For its further development, we recommend the use of a more principled approach that allows the Thesaurus to be tested not just for internal consistency but also for its degree of correspondence to that part of reality which it is designed to represent. (shrink)

Three-dimensionalists , sometimes referred to as endurantists, think that objects persist through time by being “wholly present” at every time they exist. But what is it for something to be wholly present at a time? It is surprisingly difficult to say. The threedimensionalist is free, of course, to take ‘is wholly present at’ as one of her theory’s primitives, but this is problematic for at least one reason: some philosophers claim not to understand her primitive. Clearly the three-dimensionalist would be (...) better off if she could state her theory in terms accessible to all. We think she can. What is needed is a definition of ‘is wholly present at’ that all can understand. in this paper, we offer one. (shrink)

A collaborative article by the Editorial Collective of Social Imaginaries. Investigations into social imaginaries have burgeoned in recent years. From ‘the capitalist imaginary’ to the ‘democratic imaginary’, from the ‘ecological imaginary’ to ‘the global imaginary’ – and beyond – the social imaginaries field has expanded across disciplines and beyond the academy. The recent debates on social imaginaries and potential new imaginaries reveal a recognisable field and paradigm-in-the-making. We argue that Castoriadis, Ricoeur, and Taylor have articulated the most important theoretical frameworks (...) for understanding social imaginaries, although the field as a whole remains heterogeneous. We further argue that the notion of social imaginaries draws on the modern understanding of the imagination as authentically creative. We contend that an elaboration of social imaginaries involves a significant, qualitative shift in the understanding of societies as collectively and politically-instituted formations that are irreducible to inter-subjectivity or systemic logics. After marking out the contours of the field and recounting a philosophical history of the imagination, the essay turns to debates on social imaginaries in more concrete contexts, specifically political-economic imaginaries, the ecological imaginary, multiple modernities and their inter-civilisational encounters. The social imaginaries field imparts powerful messages for the human sciences and wider publics. In particular, social imaginaries hold significant implications for ontological, phenomenological and philosophical anthropological questions; for the cultural, social, and political horizons of contemporary worlds; and for ecological and economic phenomena. The essay concludes with the argument that social imaginaries as a paradigm-in-the-making offers valuable means by which movements towards social change can be elucidated as well providing an open horizon for the critiques of existing social practices. (shrink)

The Salivaomics Knowledge Base (SKB) is designed to serve as a computational infrastructure that can permit global exploration and utilization of data and information relevant to salivaomics. SKB is created by aligning (1) the saliva biomarker discovery and validation resources at UCLA with (2) the ontology resources developed by the OBO (Open Biomedical Ontologies) Foundry, including a new Saliva Ontology (SALO). We define the Saliva Ontology (SALO; http://www.skb.ucla.edu/SALO/) as a consensus-based controlled vocabulary of terms and relations dedicated to the salivaomics (...) domain and to saliva-related diagnostics following the principles of the OBO (Open Biomedical Ontologies) Foundry. The Saliva Ontology is an ongoing exploratory initiative. The ontology will be used to facilitate salivaomics data retrieval and integration across multiple fields of research together with data analysis and data mining. The ontology will be tested through its ability to serve the annotation ('tagging') of a representative corpus of salivaomics research literature that is to be incorporated into the SKB. Background Saliva (oral fluid) is an emerging biofluid for non-invasive diagnostics used in the detection of human diseases. The need to advance saliva research is strongly emphasized by the National Institute of Dental and Craniofacial Research (NIDCR), and is included in the NIDCR's 2004- 2009 expert panel long-term research agenda [1]. The ability to monitor health status, disease onset, progression, recurrence and treatment outcome through noninvasive means is highly important to advancing health care management. Saliva is a perfect medium to be explored for personalized individual medicine including diagnostics, offering a non-invasive, easy to obtain means for detecting and monitoring diseases. Saliva testing potentially allows the patient to collect their own saliva samples at home, yielding convenience for the patient and savings in health costs, and facilitating multiple sampling. Specimen collection is less objectionable to patients and easier in children and elderly individuals. Due to these advantages. (shrink)

The paper seeks to develop an account of indexical phenomena based on the highly general theory of structure and dependence set forth by Husserl in his Logical Investigations. Husserl here defends an Aristotelian theory of meaning, viewing meanings as species or universals having as their instances certain sorts of concrete meaning acts. Indexical phenomena are seen to involve the combination of such acts of meaning with acts of perception, a thesis here developed in some detail and contrasted with accounts of (...) indexicals suggested by Frege, Wittgenstein and by the later Husserl himself in his Ideas I. Implications are drawn also for our understanding of the categorial grammar sketched by Husserl in his 4th Logical Investigation, as also for our understanding of the nature of proper names and other candidate indexical expressions. (shrink)

Individuals have various kinds of obligations: keep promises, don’t cause harm, return benefits received from injustices, be partial to loved ones, help the needy and so on. How does this work for group agents? There are two questions here. The first is whether groups can bear the same kinds of obligations as individuals. The second is whether groups’ pro tanto obligations plug into what they all-things-considered ought to do to the same degree that individuals’ pro tanto obligations plug into what (...) they all-things-considered ought to do. We argue for parity on both counts. (shrink)

Philosophy in the West divides into three parts: Analytic Philosophy (AP), Continental Philosophy (CP), and History of Philosophy (HP). But all three parts are in a bad way. AP is sceptical about the claim that philosophy can be a science, and hence is uninterested in the real world. CP is never pursued in a properly theoretical way, and its practice is tailor-made for particular political and ethical conclusions. HP is mostly developed on a regionalist basis: what is studied is determined (...) by the nation or culture to which a philosopher belongs, rather than by the objective value of that philosopher’s work. Progress in philosophy can only be attained by avoiding these pitfalls. (shrink)

The paper challenges the assumption, common amongst philosophers, that the reality described in the fundamental theories of microphysics is all the reality we have. It will be argued that this assumption is in fact incompatible with the nature of such theories. It will be shown further that the macro-world of three-dimensional bodies and of such qualitative structures as colour and sound can be treated scientifically on its own terms, which is to say not only from the perspective of psychology but (...) also ontologically. A new sort of emergentist position will be defended, one which yields the basis of a method for describing the perceptually salient macroscopic world in mathematical terms. Broadly, it will be argued that the macroscopic world exists in virtue of certain specific sorts of boundary-patterns in the field of what is captured by the theories of microphysics. (shrink)

Historical research has recently made it clear that, prior to Austin and Searle, the phenomenologist Adolf Reinach (1884-1917) developed a full-fledged theory of speech acts under the heading of what he called "social acts". He we consider a second instance of a speech act theory avant la lettre, which is to be found in the common sense philosophy of Thomas Reid (1710-1796). Reid’s s work, in contrast to that of Reinach, lacks both a unified approach and the detailed analyses of (...) pertinent examples. But his writings leave no doubt that he is acutely aware of the very problems concerning language structure and use out of which contemporary speech act theory has evolved and that he goes a good way towards solving these problems in the spirit of the modern theory. (shrink)

Klein’s account of epistemic justification, infinitism, supplies a novel solution to the regress problem. We argue that concentrating on the normative aspect of justification exposes a number of unpalatable consequences for infinitism, all of which warrant rejecting the position. As an intermediary step, we develop a stronger version of the ‘finite minds’ objection.

While classifications of mental disorders have existed for over one hundred years, it still remains unspecified what terms such as 'mental disorder', 'disease' and 'illness' might actually denote. While ontologies have been called in aid to address this shortfall since the GALEN project of the early 1990s, most attempts thus far have sought to provide a formal description of the structure of some pre-existing terminology or classification, rather than of the corresponding structures and processes on the side of the patient. (...) We here present a view of mental disease that is based on ontological realism and which follows the principles embodied in Basic Formal Ontology and in the application of BFO in the Ontology of General Medical Science. We analyzed statements about what counts as a mental disease provided in the research agenda for the DSM-V, and in Pies' model. The results were used to assess whether the representational units of BFO and OGMS were adequate as foundations for a formal representation of the entities in reality that these statements attempt to describe. We then analyzed the representational units specific to mental disease and provided corresponding definitions. Our key contributions lie in the identification of confusions and conflations in the existing terminology of mental disease and in providing what we believe is a framework for the sort of clear and unambiguous reference to entities on the side of the patient that is needed in order to avoid these confusions in the future. (shrink)

Quality assurance in large terminologies is a difficult issue. We present two algorithms that can help terminology developers and users to identify potential mistakes. We demon­strate the methodology by outlining the different types of mistakes that are found when the algorithms are applied to SNOMED-CT. On the basis of the results, we argue that both formal logical and linguistic tools should be used in the development and quality-assurance process of large terminologies.

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 innovation. We believe that ontology applied to engineering (OE) represents a viable strategy for the (...) alignment, reconciliation and integration of diverse and disparate data. The scope of OE includes: consistent capture of knowledge pertaining to the types of entities involved; facilitation of cooperation among diverse group of experts; more effective ongoing curation, and update of manufacturing data; collaborative design and knowledge reuse. As an illustrative case study we propose an ontology focused on the representation of composite materials focusing in particular on the class of Functionally Graded Materials (FGM) in particular. The scope of the ontology is to provide information about the components of such materials, the manufacturing processes involved in creation, and diversity of application ranging from additive manufacturing to restorative dentistry. The ontology is developed using Basic Formal Ontology (BFO) and the Ontology for Biomedical Investigations (OBI). (shrink)

Cognitive categories in the geographic realm appear to manifest certain special features as contrasted with categories for objects at surveyable scales. We have argued that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subjects to test our hypotheses. Our experiments show geographic categories to be similar to their non-geographic counterparts in (...) the ways in which they generate instances of different relative frequencies at different levels. Other tests, however, provide preliminary evidence for the existence of important differences in subjects’ categorizations of geographic and non-geographic objects, and suggest further experimental work especially with regard to the role in cognitive categorization of different types of object-boundaries at different scales. (shrink)

PURPOSE—A substantial fraction of the observations made by clinicians and entered into patient records are expressed by means of negation or by using terms which contain negative qualifiers (as in “absence of pulse” or “surgical procedure not performed”). This seems at first sight to present problems for ontologies, terminologies and data repositories that adhere to a realist view and thus reject any reference to putative non-existing entities. Basic Formal Ontology (BFO) and Referent Tracking (RT) are examples of such paradigms. The (...) purpose of the research here described was to test a proposal to capture negative findings in electronic health record systems based on BFO and RT. METHODS—We analysed a series of negative findings encountered in 748 sentences taken from 41 patient charts. We classified the phenomena described in terms of the various top-level categories and relations defined in BFO, taking into account the role of negation in the corresponding descriptions. We also studied terms from SNOMED-CT containing one or other form of negation. We then explored ways to represent the described phenomena by means of the types of representational units available to realist ontologies such as BFO. RESULTS—We introduced a new family of ‘lacks’ relations into the OBO Relation Ontology. The relation lacks_part, for example, defined in terms of the positive relation part_of, holds between a particular p and a universal U when p has no instance of U as part. Since p and U both exist, assertions involving ‘lacks_part’ and its cognates meet the requirements of positivity. CONCLUSION—By expanding the OBO Relation Ontology, we were able to accommodate nearly all occurrences of negative findings in the sample studied. (shrink)

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 shorter articies on specific themes and methods in metaphysics and ontology, together with biographical essays summarizing the thinking of the most important philosophers within the traditions dealt with. In addition, it contains about 20 longer survey arücles mapping out both historically and systemadcally the main areas of metaphysics and ontology. AU contributions have been speciaüy commissioned for this project from leading authorities in their respective fields. A special feature of the work is the pardcular attention that is paid to topics and issues of relevance to contemporary philosophical debates. The work includes also a series of arücles on the logical and mathematical tools of metaphysics and on the applications of metaphysical ideas within linguisdcs, psychology, cognitive science, and mathemadcs. (shrink)

Technological developments have resulted in tremendous increases in the volume and diversity of the data and information that must be processed in the course of biomedical and clinical research and practice. Researchers are at the same time under ever greater pressure to share data and to take steps to ensure that data resources are interoperable. The use of ontologies to annotate data has proven successful in supporting these goals and in providing new possibilities for the automated processing of data and (...) information. In this chapter, we describe different types of vocabulary resources and emphasize those features of formal ontologies that make them most useful for computational applications. We describe current uses of ontologies and discuss future goals for ontology-based computing, focusing on its use in the field of infectious diseases. We review the largest and most widely used vocabulary resources relevant to the study of infectious diseases and conclude with a description of the Infectious Disease Ontology (IDO) suite of interoperable ontology modules that together cover the entire infectious disease domain. (shrink)

Affective science conducts interdisciplinary research into the emotions and other affective phenomena. Currently, such research is hampered by the lack of common definitions of te rms used to describe, categorise and report both individual emotional experiences and the results of scientific investigations of such experiences. High quality ontologies provide formal definitions for types of entities in reality and for the relationships between such entities, definitions which can be used to disambiguate and unify data across different disciplines. Heretofore, there has been (...) little effort directed towards such formal representation for affective phenomena, in part because of widespread debates within the affective science community on matters of definition and categorization. We describe our efforts towards developing an Emotion Ontology (EMO) to serve the affective science community. We here focus on conformity to the BFO upper ontology and disambiguation of polysemous terminology. (shrink)

Physical reality is all the reality we have, and so physical theory in the standard sense is all the ontology we need. This, at least, was an assumption taken almost universally for granted by the advocates of exact philosophy for much of the present century. Every event, it was held, is a physical event, and all structure in reality is physical structure. The grip of this assumption has perhaps been gradually weakened in recent years as far as the sciences of (...) mind are concerned. When it comes to the sciences of external reality, however, it continues to hold sway, so that contemporary philosophers B even while devoting vast amounts of attention to the language we use in describing the world of everyday experience B still refuse to see this world as being itself a proper object of theoretical concern. Here, however, we shall argue that the usual conception of physical reality as constituting a unique bedrock of objectivity reflects a rather archaic view as to the nature of physics itself and is in fact incompatible with the development of the discipline since Newton. More specifically, we shall seek to show that the world of qualitative structures, for example of colour and sound, or the commonsense world of coloured and sounding things, can be treated scientifically (ontologically) on its own terms, and that such a treatment can help us better to understand the structures both of physical reality and of cognition. (shrink)

Tennenbaum's Theorem yields an elegant characterisation of the standard model of arithmetic. Several authors have recently claimed that this result has important philosophical consequences: in particular, it offers us a way of responding to model-theoretic worries about how we manage to grasp the standard model. We disagree. If there ever was such a problem about how we come to grasp the standard model, then Tennenbaum's Theorem does not help. We show this by examining a parallel argument, from a simpler model-theoretic (...) result. (shrink)

Ontology is the philosophical discipline which aims to understand how things in the world are divided into categories and how these categories are related together. This is exactly what information scientists aim for in creating structured, automated representations, called 'ontologies,' for managing information in fields such as science, government, industry, and healthcare. Currently, these systems are designed in a variety of different ways, so they cannot share data with one another. They are often idiosyncratically structured, accessible only to those who (...) created them, and unable to serve as inputs for automated reasoning. This volume shows, in a nontechnical way and using examples from medicine and biology, how the rigorous application of theories and insights from philosophical ontology can improve the ontologies upon which information management depends. (shrink)

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 an example drawn from the (...) context of the pathophysiology of hypertension. This exercise is designed to demonstrate how, by taking ontological principles into account we can create more realistic biomedical ontologies which will also bring advantages in terms of efficiency and robustness of associated software applications. (shrink)

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 by Husserl and by (...) the Gestalt psychologists. (shrink)

It is argued that medical science requires a classificatory system that (a) puts functions in the taxonomic center and (b) does justice ontologically to the difference between the processes which are the realizations of functions and the objects which are their bearers. We propose formulae for constructing such a system and describe some of its benefits. The arguments are general enough to be of interest to all the life sciences.

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 paradigm of a Referent Tracking System (RTS) recently advanced in the (...) healthcare and life sciences environment is able to fill these gaps. This is demonstrated by pointing out inconsistencies in the existing DOI models and by showing how they can be corrected using an RTS. (shrink)