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)

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)

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)

The magisterial analyses of logic and meaning advanced in Husserl's Logical Investigations of 1900/01 have for a number of reasons been neglected by analytical philosophers in subsequent decades. This state of affairs has to do, in part, with the history of the editions and translations of Husserl's writings. Findlay's readable but imperfect translation appeared seventy years after the work itself was first published, and the editors and translators and expositors of Husserl's works have reflected the prevailing philosophical atmosphere on the (...) Continent by concentration their energies on Husserl's later writings. Now, however, over eighty years after the appearance of Husserl's one true masterpiece, a critical edition of the work is at last available in completed form. We here analyze the structure and content of this new edition, published as part of the Husserliana series by the Husserl Archive in Louvain. (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)

Where humans can manipulate and integrate the information they receive in subtle and ever changing ways from context to context, computers need structured and context-free background information of a sort which ontologies can help to provide. A domain ontology captures the stable, highly general and commonly accepted core knowledge for an application domain. The domain at issue here is that of the life sciences, in particular molecular biology and bioinformatics. Contemporary life science research includes components drawn from physics, chemistry, mathematics, (...) medicine and many other areas, and all of these dimensions, as well as fundamental philosophical issues, must be taken into account in the construction of a domain ontology. Here we describe the basic features of domain ontologies in the life sciences and show how they can be used. (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 Information Artifact Ontology (IAO) was created to serve as a domain‐neutral resource for the representation of types of information content entities (ICEs) such as documents, data‐bases, and digital im‐ages. We identify a series of problems with the current version of the IAO and suggest solutions designed to advance our understanding of the relations between ICEs and associated cognitive representations in the minds of human subjects. This requires embedding IAO in a larger framework of ontologies, including most importantly the Mental (...) Func‐tioning Ontology (MFO). It also requires a careful treatment of the aboutness relations between ICEs and associated cognitive representa‐tions and their targets in reality, which implies in turn a new treatment of the relation of truthmaking. (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)

Formal principles governing best practices in classification and definition have for too long been neglected in the construction of biomedical ontologies, in ways which have important negative consequences for data integration and ontology alignment. We argue that the use of such principles in ontology construction can serve as a valuable tool in error-detection and also in supporting reliable manual curation. We argue also that such principles are a prerequisite for the successful application of advanced data integration techniques such as ontology-based (...) multi-database querying, automated ontology alignment and ontology-based text-mining. These theses are illustrated by means of a case study of the Gene Ontology, a project of increasing importance within the field of biomedical data integration. (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)

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)

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)

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)

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.

Ontology is currently perceived as the solution of first resort for all problems related to biomedical terminology, and the use of description logics is seen as a minimal requirement on adequate ontology-based systems. Contrary to common conceptions, however, description logics alone are not able to prevent incorrect representations; this is because they do not come with a theory indicating what is computed by using them, just as classical arithmetic does not tell us anything about the entities that are added or (...) subtracted. In this paper we shall show that ontology is indeed an essential part of any solution to the problems of medical terminology – but only if it is understood in the right sort of way. Ontological engineering, we shall argue, should in every case go hand in hand with a sound ontological theory. (shrink)

Formalisms such as description logics (DL) are sometimes expected to help terminologies ensure compliance with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) complies with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of SNOMED CT classes with respect to these principles. Our major results are: 31% of (...) the classes have a single child; 27% have multiple parents; 51% do not exhibit any differentiae between the description of the parent and that of the child. The applications of this study to quality assurance for ontologies are discussed and suggestions are made for dealing with multiple inheritance. (shrink)

If SNOMED CT is to serve as a biomedical reference terminology, then steps must be taken to ensure comparability of information formulated using successive versions. New releases are therefore shipped with a history mechanism. We assessed the adequacy of this mechanism for its treatment of the distinction between changes occurring on the side of entities in reality and changes in our understanding thereof. We found that these two types are only partially distinguished and that a more detailed study is required (...) to propose clear recommendations for enhancement along at least the following lines: (1) explicit representation of the provenance of a class; (2) separation of the time-period during which a component is stated valid in SNOMED CT from the period it is (or has been) valid in reality, and (3) redesign of the historical relationships table to give users better assistance for recovery in case of introduced mistakes. (shrink)

The integration of standardized biomedical terminologies into a single, unified knowledge representation system has formed a key area of applied informatics research in recent years. The Unified Medical Language System (UMLS) is the most advanced and most prominent effort in this direction, bringing together within its Metathesaurus a large number of distinct source-terminologies. The UMLS Semantic Network, which is designed to support the integration of these source-terminologies, has proved to be a highly successful combination of formal coherence and broad scope. (...) We argue here, however, that its organization manifests certain structural problems, and we describe revisions which we believe are needed if the network is to be maximally successful in realizing its goals of supporting terminology integration. (shrink)

Referent tracking (RT) is a new paradigm, based on unique identification, for representing and keeping track of particulars. It was first introduced to support the entry and retrieval of data in electronic health records (EHRs). Its purpose is to avoid the ambiguity that arises when statements in an EHR refer to disorders or other entities on the side of the patient exclusively by means of compound descriptions utilizing general terms such as ‘pimple on nose’ or ‘small left breast tumor’. In (...) this paper, we describe the theoretical foundations of this paradigm and show how it is being applied to the solution of analogous problems of ambiguous identification in the fields of digital rights management, corporate memories and decision algorithms. (shrink)

that can serve as a foundation for more refined ontologies in the field of proteomics. Standard data sources classify proteins in terms of just one or two specific aspects. Thus SCOP (Structural Classification of Proteins) is described as classifying proteins on the basis of structural features; SWISSPROT annotates proteins on the basis of their structure and of parameters like post-translational modifications. Such data sources are connected to each other by pairwise term-to-term mappings. However, there are obstacles which stand in the (...) way of combining them together to form a robust meta-classification of the needed sort. We discuss some formal ontological principles which should be taken into account within the existing datasources in order to make such a metaclassification possible, taking into account also the Gene Ontology (GO) and its application to the annotation of proteins. (shrink)

Abstract: We propose a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this semantic 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 extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We show that this (...) theory provides a general framework within which we can understand the relation between vague terms and concepts and the corresponding crisp portions of reality. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches. Central to our approach is the idea that judgments about reality involve in every case (1) a separation of reality into foreground and background of attention and (2) the feature of granularity. On this basis we attempt to show that even vague judgments made in naturally occurring contexts are not marked by truth-value indeterminacy. We distinguish, in addition to crisp granular partitions, also vague partitions, and reference partitions, and we explain the role of the latter in the context of judgments that involve vagueness. We conclude by showing how reference partitions provide an effective means by which judging subjects are able to temper the vagueness of their judgments by means of approximations. (shrink)

Plants from a handful of species provide the primary source of food for all people, yet this source is vulnerable to multiple stressors, such as disease, drought, and nutrient deficiency. With rapid population growth and climate uncertainty, the need to produce crops that can tolerate or resist plant stressors is more crucial than ever. Traditional plant breeding methods may not be sufficient to overcome this challenge, and methods such as highOthroughput sequencing and automated scoring of phenotypes can provide significant new (...) insights. Ontologies are essential tools for accessing and analysing the large quantities of data that come with these newer methods. As part of a larger project to develop ontologies that describe plant phenotypes and stresses, we are developing a plant disease extension of the Infectious Disease Ontology (IDOPlant). The IDOPlant is envisioned as a reference ontology designed to cover any plant infectious disease. In addition to novel terms for infectious diseases, IDOPlant includes terms imported from other ontologies that describe plants, pathogens, and vectors, the geographic location and ecology of diseases and hosts, and molecular functions and interactions of hosts and pathogens. To encompass this range of data, we are suggesting inOhouse ontology development complemented with reuse of terms from orthogonal ontologies developed as part of the Open Biomedical Ontologies (OBO) Foundry. The study of plant diseases provides an example of how an ontological framework can be used to model complex biological phenomena such as plant disease, and how plant infectious diseases differ from, and are similar to, infectious diseases in other organism. (shrink)

We introduce the Vital Sign Ontology (VSO), an extension of the Ontology for General Medical Science (OGMS) that covers the consensus human vital signs: blood pressure, body temperature, respiratory rate, and pulse rate. VSO provides a controlled structured vocabulary for describing vital sign measurement data, the processes of measuring vital signs, and the anatomical entities participating in such measurements. VSO is implemented in OWL-DL and follows OBO Foundry guidelines and best practices. If properly developed and extended, we believe the VSO (...) will find applications for the EMR, clinical informatics, and medical device communities. (shrink)

We provide a methodology for the creation of ontological partitions in biomedicine and we test the methodology via an application to the phenomenon of blood pressure. An ontology of blood pressure must do justice to the complex networks of intersecting pathways in the organism by which blood pressure is regulated. To this end it must deal not only with the anatomical structures and physiological processes involved in such regulation but also with the relations between these at different levels of granularity. (...) For this purpose our ontology offers a variety of distinct partitions � of substances, processes and functions � and integrates these together within a single framework via transitive networks of part-whole and dependence relations among the entities in each of these categories. The paper concludes with a comparison of this methodology with the approaches of GOTM, KEGG, DIP and BIND and provides an outline of how the methodology is currently being applied in the field of biomedical database integration. (shrink)

Online collection of papers by Devitt, Dretske, Guarino, Hochberg, Jackson, Petitot, Searle, Tye, Varzi and other leading thinkers on philosophy and the foundations of cognitive Science. Topics dealt with include: Wittgenstein and Cognitive Science, Content and Object, Logic and Foundations, Language and Linguistics, and Ontology and Mereology.

The Gene Ontology is an important tool for the representation and processing of information about gene products and functions. It provides controlled vocabularies for the designations of cellular components, molecular functions, and biological processes used in the annotation of genes and gene products. These constitute three separate ontologies, of cellular components), molecular functions and biological processes, respectively. The question we address here is: how are the terms in these three separate ontologies related to each other? We use statistical methods and (...) formal ontological principles as a first step towards finding answers to this question. (shrink)

It is widely understood that protein functions can be exhaustively described in terms of no single parameter, whether this be amino acid sequence or the three-dimensional structure of the underlying protein molecule. This means that a number of different attributes must be used to create an ontology of protein functions. Certainly much of the required information is already stored in databases such as Swiss-Prot, Protein Data Bank, SCOP and MIPS. But the latter have been developed for different purposes and the (...) separate data-structures which they employ are not conducive to the needed data integration. When we attempt to classify the entities in the domain of proteins, we find ourselves faced with a number of cross-cutting principles of classification. Our question here is: how can we bring together these separate taxonomies in order to describe protein functions? Our proposed answer is: via a careful top-level ontological analysis of the relevant principles of classification, combined with a new framework for the simultaneous manipulation of classifications constructed for different purposes. (shrink)

Information may be defined as the conceptual or communicable part of the content of mental acts. The content of mental acts includes sensory data as well as concepts, particular as well as general information. An information system is an external (non-mental) system designed to store such content. Information systems afford indirect transmission of content between people, some of whom may put information into the system and others who are among those who use the system. In order for communication to happen, (...) the conceptual systems of the originators and users of the information must be sufficiently similar. A formal conceptual framework that can provide the basis for exchange of information is termed an ontology. In its most fundamental form, ontology studies the most basic constituents of reality. Traditionally, ontology seeks to reflects structures that are independent of thought and cognition. The term ontology is used more broadly in artificial intelligence and software engineering, to refer to the conceptual basis for an information system. (shrink)

When does a human being begin to exist? We argue that it is possible, through a combination of biological fact and philosophical analysis, to provide a definitive answer to this question. We lay down a set of conditions for being a human being, and we determine when, in the course of normal fetal development, these conditions are first satisfied. Issues dealt with along the way include: modes of substance-formation, twinning, the nature of the intra-uterine environment, and the nature of the (...) relation between fetus and mother. (shrink)

Management of information is facilitated by unambiguously tracking portions of reality over time. To track the portions of reality, a referent tracking system is used. The referent tracking system is able to communicate with other tracking systems and/or tradition information systems. Errors in the referent tracking system are detected and corrected to maintain actual representations of the portions of reality.

Despite the recent advances in information and communication technology that have increased our ability to store and circulate information, the task of ensuring that the right sorts of information gets to the right sorts of people remains. We argue that the many efforts underway to develop efficient means for sharing information across healthcare systems and organizations would benefit from a careful analysis of human action in healthcare organizations. This in turn requires that the management of information and knowledge within healthcare (...) organizations be combined with models of resources and processes of patient care that are based on a general ontology of social interaction. The Health Level 7 (HL7) is one of several ANSI-accredited Standards Developing Organizations operating in the healthcare arena. HL7 has advanced a widely used messaging standard that enables healthcare applications to exchange clinical and administrative data in digital form. HL7 focuses on the interface requirements of the entire healthcare system and not exclusively on the requirements of one area of healthcare such as pharmacy, medical devices, imaging or insurance transactions. This has inspired the development of a powerful abstract model of patient care called the Reference Information Model (RIM). The present paper begins with an overview of the core classes of the HL7 (Version 3) RIM and a brief discussion of its “actcentered” view of healthcare. Central to this account is what is called the life cycle of events. A clinical action may progress from defined, through planned and ordered, to executed. These modalities of an action are represented as the mood of the act. We then outline the basis of an ontology of organizations, starting from the theory of speech Acts, and apply this ontology to the HL7 RIM. Special attention is given to the sorts of preconditions that must be satisfied for the successful performance of a speech act and to the sorts of entities to which speech acts give rise (e.g. obligations, claims, commitments, etc.). Finally we draw conclusions for the efficient communication and management of medical information and knowledge within and between healthcare organizations, paying special attention to the role that medical documents play in such organizations. (shrink)

In recent years, sequencing technologies have enabled the identification of a wide range of non-coding RNAs (ncRNAs). Unfortunately, annotation and integration of ncRNA data has lagged behind their identification. Given the large quantity of information being obtained in this area, there emerges an urgent need to integrate what is being discovered by a broad range of relevant communities. To this end, the Non-Coding RNA Ontology (NCRO) is being developed to provide a systematically structured and precisely defined controlled vocabulary for the (...) domain of ncRNAs, thereby facilitating the discovery, curation, analysis, exchange, and reasoning of data about structures of ncRNAs, their molecular and cellular functions, and their impacts upon phenotypes. The goal of NCRO is to serve as a common resource for annotations of diverse research in a way that will significantly enhance integrative and comparative analysis of the myriad resources currently housed in disparate sources. It is our belief that the NCRO ontology can perform an important role in the comprehensive unification of ncRNA biology and, indeed, fill a critical gap in both the Open Biological and Biomedical Ontologies (OBO) Library and the National Center for Biomedical Ontology (NCBO) BioPortal. Our initial focus is on the ontological representation of small regulatory ncRNAs, which we see as the first step in providing a resource for the annotation of data about all forms of ncRNAs. The NCRO ontology is free and open to all users. (shrink)

An important part of the Unified Medical Language System (UMLS) is its Semantic Network, consisting of 134 Semantic Types connected to each other by edges formed by one or more of 54 distinct Relation Types. This Network is however for many purposes overcomplex, and various groups have thus made attempts at simplification. Here we take this work further by simplifying the relations which involve the three Semantic Types – Diagnostic Procedure, Laboratory Procedure and Therapeutic or Preventive Procedure. We define operators (...) which can be used to generate terms instantiating types from this selected set when applied to terms designating certain other Semantic Types, including almost all the terms specifying clinical tasks. Usage of such operators thus provides a useful and economical way of specifying clinical tasks. The operators allow us to define a mapping between those types within the UMLS which do not represent clinical tasks and those which do. This mapping then provides a basis for an ontology of clinical tasks that can be used in the formulation of computer-interpretable clinical guideline models. (shrink)

Outcomes research in healthcare has been a topic much addressed in recent years. Efforts in this direction have been supplemented by work in the areas of guidelines for clinical practice and computer-interpretable workflow and careflow models.In what follows we present the outlines of a framework for understanding the relations between organizations, guidelines, individual patients and patient-related functions. The derived framework provides a means to extract the knowledge contained in the guideline text at different granularities, in ways that can help us (...) to assign tasks within the healthcare organization and to assess clinical performance in realizing the guideline. It does this in a way that preserves the flexibility of the organization in the adoption of the guidelines. (shrink)

Sleep has long been a topic of fascination for artists and scientists. Why do we sleep? What function does sleep serve? Why do we dream? What significance can we attach to our dreams? We spend so much of our lives sleeping, yet its precise function is unclear, in spite of our increasing understanding of the processes generating and maintaining sleep. We now know that sleep can be accompanied by periods of intense cerebral activity, yet only recently has experimental data started (...) to provide us with some insights into the type of processing taking place in the brain as we sleep. There is now strong evidence that sleep plays a crucial role in learning and in the consolidation of memories. Once the preserve of psychoanalysts, 'dreaming' is now a topic of increasing interest amongst scientists. With research into sleep growing, this volume is both timely and valuable in presenting a unique study of the relationship between sleep, learning, and memory. It brings together a team of international scientists researching sleep in both human and animal subjects. Aimed at researchers within the fields of neuroscience, cognitive neuroscience, psychiatry, and neurology, this book will be an important first step in developing a full scientific understanding of the most intriguing state of consciousness. (shrink)

This is the concluding chapter of a debate book about the existence of God: *Theism and Atheism: Opposing Arguments in Philosophy* (Gale, 2019). The book has a large number of contributors on both sides. My chapter suggests one way of unifying the contributions that are made on the atheistic side.

This paper is a discussion of the analysis of physicalism.

When Adam Smith published his celebrated writings on economics and moral philosophy he famously referred to the operation of an invisible hand. Adam Smith's Political Philosophy makes visible the invisible hand by examining its significance in Smith's political philosophy and relating it to similar concepts used by other philosophers, revealing a distinctive approach to social theory that stresses the significance of the unintended consequences of human action. This book introduces greater conceptual clarity to the discussion of the (...) invisible hand and the related concept of unintended order in the work of Smith and in political theory more generally. By examining the application of spontaneous order ideas in the work of Smith, Hume, Hayek and Popper, Adam Smith's Political Philosophy traces similarities in approach and from these builds a conceptual, composite model of an invisible hand argument. While setting out a clear model of the idea of spontaneous order the book also builds the case for using the idea of spontaneous order as an explanatory social theory, with chapters on its application in the fields of science, moral philosophy, law and government. (shrink)

Philosophy and Phenomenological Research, EarlyView.

Feser (2017) presents and defends five proofs of the existence of God. Each proof is in two stages: the first stage proves the existence of something which, in the second stage, is shown to possess an appropriate range of divine attributes. Each proof is given two presentations, one informal and one formal. In this paper, I critically examine two premises from one of Feser's five first stage proofs. I provide reasons for thinking that naturalists reject both of these premises. In (...) my view, this enough to show that the proof fails: it fails to advance considerations that decide between theism and important competing positions. (shrink)

Proper functionalism explicates epistemic warrant in terms of the function and normal functioning of the belief-forming process. There are two standard substantive views of the sources of functions in the literature in epistemology: God (intelligent design) or Mother Nature (evolution by natural selection). Both appear to confront the Swampman objection: couldn’t there be a mind with warranted beliefs neither designed by God nor the product of evolution by natural selection? Is there another substantive view that avoids the Swampman objection? There (...) are two. The first is the generalized selected-effects theory of functions. The second is the organizational theory of functions. Both, however, require some history to assign functions, for both are etiological theories of functions: past effects help explain current function. Swampman can then acquire functions, perhaps soon after creation, though he has none at the moment of inception. (shrink)