Many existing biomedical vocabulary standards rest on incomplete, inconsistent or confused accounts of basic terms pertaining to diseases, diagnoses, and clinical phenotypes. Here we outline what we believe to be a logically and biologically coherent framework for the representation of such entities and of the relations between them. We defend a view of disease as involving in every case some physical basis within the organism that bears a disposition toward the execution of pathological processes. We present our view in the (...) form of a list of terms and definitions designed to provide a consistent starting point for the representation of both disease and diagnosis in information systems in the future. (shrink)

We present an ontology of pain and of other pain-related phenomena, building on the definition of pain provided by the International Association for the Study of Pain (IASP). Our strategy is to identify an evolutionarily basic canonical pain phenomenon, involving unpleasant sensory and emotional experience based causally in localized tissue damage that is concordant with that experience. We then show how different variant cases of this canonical pain phenomenon can be distinguished, including pain that is elevated relative to peripheral trauma, (...) pain that is caused neuropathically (thus with no necessary peripheral stimulus), and pain reports arising through deception either of self or of others. We describe how our approach can answer some of the objections raised against the IASP definition, and sketch how it can be used to support more sophisticated discrimination of different types of pain resulting in improved data analysis that can help in advancing pain research. (shrink)

Aims: The Research Diagnostic Criteria for Temporomandi¬bular Disorders (RDC/TMD) Axis I diagnostic algorithms were demonstrated to be reliable but below target sensitivity and specificity. Empirical data supported Axis I algorithm revisions that were valid. Axis II instruments were shown to be both reliable and valid. An international consensus workshop was convened to obtain recommendations and finalization of new Axis I diagnostic algorithms and new Axis II instruments. Methods: A comprehensive search of published TMD diagnostic literature was followed by review and (...) consensus via a formal structured process by a panel of experts for revision of the RDC/TMD. Results: The recommended Diagnostic Criteria for TMD (DC/TMD) Axis I protocol includes both a valid screener for pain diagnoses and valid criteria for the most common pain-related TMDs and for one intra-articular disorder. The Axis II protocol retains selected RDC/TMD screening instruments augmented with new instruments to better assess the interactions between pain and psychosocial functioning. A comprehensive classification system is also presented. Conclusion: The recommended evidence-based DC/TMD protocol is appropriate for use in both the clinical and research settings. Simple Axis I and II screening tests augmented by validated Axis I and Axis II instruments allow for identification of simple to complex TMD patients. (shrink)

In this chapter, we analyze the relationships between the Internet and its users in terms of situated cognition theory. We first argue that the Internet is a new kind of cognitive ecology, providing almost constant access to a vast amount of digital information that is increasingly more integrated into our cognitive routines. We then briefly introduce situated cognition theory and its species of embedded, embodied, extended, distributed and collective cognition. Having thus set the stage, we begin by taking an embedded (...) cognition view and analyze how the Internet aids certain cognitive tasks. After that, we conceptualize how the Internet enables new kinds of embodied interaction, extends certain aspects of our embodiment, and examine how wearable technologies that monitor physiological, behavioral and contextual states transform the embodied self. On the basis of the degree of cognitive integration between a user and Internet resource, we then look at how and when the Internet extends our cognitive processes. We end this chapter with a discussion of distributed and collective cognition as facilitated by the Internet. (shrink)

According to the orthodox treatment of risk preferences in decision theory, they are to be explained in terms of the agent's desires about concrete outcomes. The orthodoxy has been criticised both for conflating two types of attitudes and for committing agents to attitudes that do not seem rationally required. To avoid these problems, it has been suggested that an agent's attitudes to risk should be captured by a risk function that is independent of her utility and probability functions. The main (...) problem with that approach is that it suggests that attitudes to risk are wholly distinct from people's (non-instrumental) desires. To overcome this problem, we develop a framework where an agent's utility function is defined over chance propositions (i.e., propositions describing objective probability distributions) as well as ordinary (non-chance) ones, and argue that one should explain different risk attitudes in terms of different forms of the utility function over such propositions. (shrink)

Emotional states of consciousness, or what are typically called emotional feelings, are traditionally viewed as being innately programed in subcortical areas of the brain, and are often treated as different from cognitive states of consciousness, such as those related to the perception of external stimuli. We argue that conscious experiences, regardless of their content, arise from one system in the brain. On this view, what differs in emotional and non-emotional states is the kind of inputs that are processed by a (...) general cortical network of cognition, a network essential for conscious experiences. Although subcortical circuits are not directly responsible for conscious feelings, they provide non-conscious inputs that coalesce with other kinds of neural signals in the cognitive assembly of conscious emotional experiences. In building the case for this proposal, we defend a modified version of what is known as the higher-order theory of consciousness. (shrink)

Hannah Arendt's rich and varied political thought is more influential today than ever before, due in part to the collapse of communism and the need for ideas that move beyond the old ideologies of the Cold War. As Dana Villa shows, however, Arendt's thought is often poorly understood, both because of its complexity and because her fame has made it easy for critics to write about what she is reputed to have said rather than what she actually wrote. Villa sets (...) out to change that here, explaining clearly, carefully, and forcefully Arendt's major contributions to our understanding of politics, modernity, and the nature of political evil in our century.Villa begins by focusing on some of the most controversial aspects of Arendt's political thought. He shows that Arendt's famous idea of the banality of evil--inspired by the trial of Adolf Eichmann--does not, as some have maintained, lessen the guilt of war criminals by suggesting that they are mere cogs in a bureaucratic machine. He examines what she meant when she wrote that terror was the essence of totalitarianism, explaining that she believed Nazi and Soviet terror served above all to reinforce the totalitarian idea that humans are expendable units, subordinate to the all-determining laws of Nature or History. Villa clarifies the personal and philosophical relationship between Arendt and Heidegger, showing how her work drew on his thought while providing a firm repudiation of Heidegger's political idiocy under the Nazis. Less controversially, but as importantly, Villa also engages with Arendt's ideas about the relationship between political thought and political action. He explores her views about the roles of theatricality, philosophical reflection, and public-spiritedness in political life. And he explores what relationship, if any, Arendt saw between totalitarianism and the "great tradition" of Western political thought. Throughout, Villa shows how Arendt's ideas illuminate contemporary debates about the nature of modernity and democracy and how they deepen our understanding of philosophers ranging from Socrates and Plato to Habermas and Leo Strauss.Direct, lucid, and powerfully argued, this is a much-needed analysis of the central ideas of one of the most influential political theorists of the twentieth century. (shrink)

In this paper, we contend that the psychology of addiction is similar to the psychology of ordinary, non-addictive temptation in important respects, and explore the ways in which these parallels can illuminate both addiction and ordinary action. The incentive salience account of addiction proposed by Robinson and Berridge (1993; 2001; 2008) entails that addictive desires are not in their nature different from many of the desires had by non-addicts; what is different is rather the way that addictive desires are acquired, (...) which in turn affects their strength. We examine these “incentive salience” desires, both in addicts and non-addicts, contrasting them with more cognitive desires. On this account, the self-control challenge faced by addicted agents is not different in kind from that faced by non-addicted agents – though the two may, of course, differ greatly in degree of difficulty. We explore a general model of self-control for both the addict and the non-addict, stressing that self-control may be employed at three different stages, and examining the ways in which it might be strengthened. This helps elucidate a general model of intentional action. (shrink)

Most models of generational succession in sexually reproducing populations necessarily move back and forth between genic and genotypic spaces. We show that transitions between and within these spaces are usually hidden by unstated assumptions about processes in these spaces. We also examine a widely endorsed claim regarding the mathematical equivalence of kin-, group-, individual-, and allelic-selection models made by Lee Dugatkin and Kern Reeve. We show that the claimed mathematical equivalence of the models does not hold. *Received January 2007; revised (...) April 2008. †To contact the authors, please write to: Elisabeth Lloyd, Department of History and Philosophy of Science, 130 Goodbody Hall, Indiana University, Bloomington, IN 47405; e-mail: [email protected]; Richard Lewontin, Department of Organismic and Evolutionary Biology, Harvard University, 26 Oxford Street, Cambridge, MA 02138; Marcus Feldman, Department of Biological Sciences, Stanford University, Stanford, CA 94305; e-mail: [email protected]. (shrink)

Researchers have converged on the idea that a pragmatic understanding of communication can shed important light on the evolution of language. Accordingly, animal communication scientists have been keen to adopt insights from pragmatics research. Some authors couple their appeal to pragmatic aspects of communication with the claim that there are fundamental asymmetries between signalers and receivers in non-human animals. For example, in the case of primate vocal calls, signalers are said to produce signals unintentionally and mindlessly, whereas receivers are thought (...) to engage in contextual interpretation to derive the significance of signals. We argue that claims about signaler-receiver asymmetries are often confused. This is partly because their authors conflate two conceptions of pragmatics, which generate different accounts of the explanatory target for accounts of the evolution of language. Here we distinguish these conceptions, in order to help specify more precisely the proper explanatory target for language evolution research. (shrink)

Hilbert's ε-calculus is based on an extension of the language of predicate logic by a term-forming operator εx. Two fundamental results about the ε-calculus, the first and second epsilon theorem, play a rôle similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential (...) theorems obtained by this elimination procedure. (shrink)

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) and Evolutionary Terminology Auditing (ETA). We describe (...) here the application of this evaluation method to changes between BFO 1.0, BFO 1.1, and BFO 2.0. We discuss the issues raised by this application and describe the extensions which we added to the original evaluation schema in order to account for changes in an ontology of this type. Our results show that BFO has undergone eight types of changes that can be systematically explained by the extended evaluation schema. Finally, we discuss problematic cases, possible pitfalls and certain limits of our study that we propose to address in future work. (shrink)

Die biomedizinische Forschung hat ein Kommunikationsproblem. Um die Ergebnisse ihrer Arbeit darzustellen, greifen einzelne Forschergruppen auf unterschiedliche und oft inkompatible Terminologien zurück. Für den Fortschritt der modernen Biomedizin ist die Integration dieser Ergebnisse jedoch unabdingbar.

Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ. It is shown that there is a rich structure of infinite-valued Gödel logics, only one of which is compact. It is also shown that the compact infinite-valued Gödel logic is the only one which interpolates, and the only one with an r.e. entailment relation.

Zen and Japanese Culture is one of the twentieth century's leading works on Zen, and a valuable source for those wishing to understand its concepts in the context of Japanese life and art. In simple, often poetic, language, Daisetz Suzuki describes his conception of Zen and its historical evolution. He connects Zen to the philosophy of the samurai, and subtly portrays the relationship between Zen and swordsmanship, haiku, tea ceremonies, and the Japanese love of nature. Suzuki's contemplative work is enhanced (...) by anecdotes, poetry, and illustrations showing silk screens, calligraphy, and examples of architecture. Since its original publication in 1938, this important work has played a major role in shaping conceptions of Zen's influence on Japanese traditional arts. Richard Jaffe's introduction acquaints a new generation of readers with Suzuki's life and career in both Japan and America. Jaffe discusses how Zen and Japanese Culture was received upon its first publication and analyzes the book in light of contemporary criticism, especially by scholars of Japanese Buddhism. (shrink)

Despite the recent advances in information and communication technology that have increased our ability to store and circulate information, the task remains of ensuring that the right sorts of information reach the right sorts of people. In what follows we defend the thesis that efforts to develop efficient means for sharing information across healthcare systems and organizations would benefit from a careful analysis of human action in healthcare organizations, and that the communication of healthcare information and knowledge needs to rest (...) on a sound ontology of social interaction. We illustrate this thesis in relation to the HL7 RIM, which is one centrally important tool for communication in the healthcare domain. (shrink)

Kistler, Sebastian/Puzio, Anna/Riedl, Anna-Maria/Veith (Hrsg.) Digitale Transformationen der Gesellschaft Sozialethische Perspektiven auf den technologischen Wandel -/- Die Digitalisierung bewirkt Transformationsprozesse, die die Formen unseres Zusammenlebens grundlegend verändern. Dies betrifft nicht nur die Art, wie wir leben, Partner suchen, arbeiten, wohnen, konsumieren oder uns selbst präsentieren – auch die gesellschaftlichen Lebensbereiche wie Politik, Bildung, Wirtschaft und Gesundheit befinden sich in einem digitalen Wandel. Mit diesen Veränderungsprozessen sind nicht nur Hoffnungen, sondern auch Ängste verbunden, die die Ambivalenzen der Digitalisierung zum Ausdruck bringen. (...) Die Komplexität und die Wirkungstiefe digitaler Transformationsprozesse werfen Fragen nach deren Steuerbarkeit, nach ihren Zwecken bzw. nach möglichen Orientierungen auf: • Welche technologischen Entwicklungen müssen reguliert werden? • Wie kann eine entsprechende Legitimation erfolgen? • Wer übernimmt Verantwortung? • Wie und nach welchen Kriterien sind ethische Bewertungen vorzunehmen? • Und nicht zuletzt: Gibt es Grenzen für diese Entwicklungen oder haben die Möglichkeiten des Machbaren die ethischen Fragen längst überholt und erledigt? -/- Die Texte des Sammelbandes nähern sich den digitalen Transformationen aus verschiedenen Perspektiven. Anhand unterschiedlicher Zugänge werden die Themenfelder „Digitalisierung und Gesellschaft“, „Körper und Technologie“ sowie „Digitalisierung und Demokratie“ entfaltet. Darüber hinaus werden die Konsequenzen für die Pflegearbeit und für den Umgang mit modernen Waffentechnologien als anwendungsbezogene Konkretionen diskutiert. (shrink)

I argue that, according to Just War Theory, those who work as administrative personnel in the private military industry can be permissibly harmed while at work by enemy combatants. That is, for better or worse, a Just War theorist should consider all those who work as administrative personnel in the private military industry either: (i) individuals who may be permissibly restrained with lethal force while at work, or (ii) individuals who may be harmed by permissible attacks against their workplace. In (...) doing so, I also provide some critical analysis of the relevant Just War concepts. (shrink)

The aim of this paper is to introduce, elucidate and defend the usefulness of a variant of grounding, or metaphysical explanation, that has the feature that the grounds explain of some states of affairs that one of them obtains without explaining which one obtains. I will dub this variant arbitrary grounding. After informally elucidating the basic idea in the first section, I will provide three metaphysical hypotheses that are best formulated in terms of arbitrary grounding in the second section. The (...) third section will be concerned with the relation between arbitrary grounding and non-arbitrary grounding. The fourth section will compare arbitrary grounding to two extant proposals in the literature. (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)

Moral perceptualism is the theory that perception and perceptual experience is attuned to moral features in our environment. This idea has received renewed attention in the last 15–20 years, for its potential to do theoretical work in moral epistemology and moral psychology. In this paper, I review the main motivations and arguments for moral perceptualism, the variety of theories that go under the heading of “moral perception,” and the three biggest challenges to moral perception. https://youtu.be/9cc_1zykq80.

Moral perception has made something of a comeback in recent work on moral epistemology. Many traditional objections to the view have been argued to fail upon closer inspection. But it remains an open question just how far moral perception might extend. In this paper, I provide the beginnings of an answer to this question by assessing the relationship between the metaphysical structure of different normative properties and a plausible constraint on which properties are eligible for perceptual awareness which I call (...) the Counterfactual Strengthening Test. Along the way I consider and reject a few other possible constraints on perceptual awareness. I defend the view that moral perception is restricted to the perception of evaluative and pro tanto deontic properties. I conclude with a few gestures toward what this limitation on moral perception may mean for broader moral epistemology. (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)

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)

The goal of referent tracking is to create an ever-growing pool of data relating to the entities existing in concrete spatiotemporal reality. In the context of Electronic Healthcare Records (EHRs) the relevant concrete entities are not only particular patients but also their parts, diseases, therapies, lesions, and so forth, insofar as these are salient to diagnosis and treatment. Within a referent tracking system, all such entities are referred to directly and explicitly, something which cannot be achieved when familiar concept-based systems (...) are used in what is called “clinical coding”. In this paper we describe the components of a referent tracking system in an informal way and we outline the procedures that would have to be followed by healthcare personnel in using such a system. We argue that the referent tracking paradigm can be introduced with only minor – though nevertheless ontologically important – technical changes to existing EHR infrastructures, but that it will require a radically different mindset on the part of those involved in clinical coding and terminology development from that which has prevailed hitherto. (shrink)

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)

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)

Modal dispositionalists hold that dispositions provide the foundation of metaphysical necessity and possibility. According to the kind of modal dispositionalism that can be found in the present literature, a proposition p is possible just in case some things are disposed to be such that p. In the first part of this paper I show that combining this classic form of dispositionalism with the assumptions that the laws of nature are necessary and deterministic and that all dispositions are forward-looking in time (...) leads to the unattractive conclusion that every truth is necessary. I argue that the classic dispositionalist should be troubled by this result and in the second part of the paper I suggest a novel variant of dispositionalism that avoids it. This extended form of dispositionalism allows that some propositions are only indirectly underwritten by dispositions. (shrink)

Equipped with the ultimate query answering system, computers would finally be in a position to address all our information needs in a natural way. In this paper, we describe how Language and Computing nv (L&C), a developer of ontology-based natural language understanding systems for the healthcare domain, is working towards the ultimate Question Answering (QA) System for healthcare workers. L&C’s company strategy in this area is to design in a step-by-step fashion the essential components of such a system, each component (...) being designed to solve some one part of the total problem and at the same time reflect well-defined needs on the prat of our customers. We compare our strategy with the research roadmap proposed by the Question Answering Committee of the National Institute of Standards and Technology (NIST), paying special attention to the role of ontology. (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.

One way to detect, monitor and prevent adverse events with the help of Information Technology is by using ontologies capable of representing three levels of reality: what is the case, what is believed about reality, and what is represented. We report on how Basic Formal Ontology and Referent Tracking exhibit this capability and how they are used to develop an adverse event ontology and related data annotation scheme for the European ReMINE project.

The IPAP Schizophrenia Algorithm was originally designed in the form of a flow chart to help physicians optimise the treatment of schizophrenic patients. We examined the current version from the perspective of recent work on terminologies and ontologies thereby drawing on the resources of Basic Formal Ontology, and this with the objective to make the algorithm appropriate for Semantic Web applications. We found that Basic Formal Ontology is a rich enough theory to represent all the entities involved and that applying (...) the theory to the IPAP schizophrenia algorithm results in a representation that can be used by software agents to perform monitoring and control in a referent tracking environment. (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)

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)

Stance-independent nonnaturalist moral realism is subject to two related epistemological objections. First, there is the metaethical descendant of the Benacerraf problem. Second, there are evolutionary debunking arguments. Standard attempts to solve these epistemological problems have not appealed to any particular moral epistemology. The focus on these epistemologically neutral responses leaves many interesting theoretical stones unturned. Exploring the ability of particular theories in moral epistemology to handle these difficult epistemological objections can help illuminate strengths or weaknesses within these theories themselves, as (...) well as opening up potentially unexplored avenues for responding to deeply entrenched concerns about our epistemic access to the moral properties. In this paper, I assess the prospects of an empiricist and perceptualist model of moral knowledge for responding to epistemological arguments against non-skeptical moral realism. I argue that such a view has powerful responses to these objections that are not open to other moral epistemologists. The upshot is that if some version of the view is correct, then the realist has less to fear from Benacerraf and evolutionary debunking–style epistemological objections. Insofar as one is already a committed realist, then, this provides some indirect support for moral perceptualism. (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)

This paper contributes to answering the question how physicalism can be defined for a world without fundamental physical phenomena. In a recent paper in this journal, Torin Alter, Sam Coleman, and Robert J. Howell propose a necessary condition on physicalism. They argue that physicalism is true only if there is no infinitely descending chain of mentally constituted phenomena. I argue that this alleged necessary condition faces counterexamples. An infinitely descending chain of mentally constituted phenomena is compatible with physicalism. Afterwards I (...) propose a simpler definition of physicalism that does not fall prey to my counterexample. (shrink)

Definitive diagnosis of malaria requires the demonstration through laboratory tests of the presence within the patient of malaria parasites or their components. Since malaria parasites can be present even in the absence of malaria manifestations, and since symptoms of malaria can be manifested even in the absence of malaria parasites, malaria diagnosis raises important issues for the adequate understanding of disease, etiology and diagnosis. One approach to the resolution of these issues adopts a realist view, according to which the needed (...) clarifications will be derived from a careful representation of the entities on the side of the patient which form the ultimate truthmakers for clinical statements. We here address a challenge to this realist approach relating to the diagnosis of malaria, and show how this challenge can be resolved by appeal to Basic Formal Ontology (BFO) and to the Ontology for General Medical Science (OGMS) constructed in its terms. (shrink)

We present the details of a methodology for quality assurance in large medical terminologies and describe three algorithms that can help terminology developers and users to identify potential mistakes. The methodology is based in part on linguistic criteria and in part on logical and ontological principles governing sound classifications. We conclude by outlining the results of applying the methodology in the form of a taxonomy different types of errors and potential errors detected in SNOMED-CT.

We present a novel methodology for calculating the improvements obtained in successive versions of biomedical ontologies. The theory takes into account changes both in reality itself and in our understanding of this reality. The successful application of the theory rests on the willingness of ontology authors to document changes they make by following a number of simple rules. The theory provides a pathway by which ontology authoring can become a science rather than an art, following principles analogous to those that (...) have fostered the growth of modern evidence-based medicine. Although in this paper we focus on ontologies, the methodology can be generalized to other sorts of terminology-based artifacts, including Electronic Patient Records. (shrink)

Based on the Ontology for General Medical Science, we propose definitions for biomarkers of various types of. These definitions provide not only a complete formal representation of what biomarkers are according to the Institute of Medicine (IOM), but also remove the ambiguities and inconsistencies encountered in the documentation provided by the IOM.

Electronic Health Records (EHRs) are organized around two kinds of statements: those reporting observations made, and those reporting acts performed. In neither case does the record involve any direct reference to what such statements are actually about. They record not: what is happening on the side of the patient, but rather: what is said about what is happening. While the need for a unique patient identifier is generally recognized, we argue that we should now move to an EHR regime in (...) which all clinically salient particulars – from the concrete disorder on the side of the patient and the body parts in which it occurs to the concrete treatments given – should be uniquely identified. This will allow us to achieve interoperability among different systems of records at the level where it really matters: in regard to what is happening in the real world. It will also allow us to keep track of particular disorders and of the effects of particular treatments in a precise and unambiguous way. We discuss the ontological and epistemological aspects of our claim and describe a scenario for implementation within EHR systems. (shrink)

The goal of the OBO (Open Biomedical Ontologies) Foundry initiative is to create and maintain an evolving collection of non-overlapping interoperable ontologies that will offer unambiguous representations of the types of entities in biological and biomedical reality. These ontologies are designed to serve non-redundant annotation of data and scientific text. To achieve these ends, the Foundry imposes strict requirements upon the ontologies eligible for inclusion. While these requirements are not met by most existing biomedical terminologies, the latter may nonetheless support (...) the Foundry’s goal of consistent and non-redundant annotation if appropriate mappings of data annotated with their aid can be achieved. To construct such mappings in reliable fashion, however, it is necessary to analyze terminological resources from an ontologically realistic perspective in such a way as to identify the exact import of the ‘concepts’ and associated terms which they contain. We propose a framework for such analysis that is designed to maximize the degree to which legacy terminologies and the data coded with their aid can be successfully used for information-driven clinical and translational research. (shrink)

The paradigm of referent tracking is based on a realist presupposition which rejects so-called negative entities (congenital absent nipple, and the like) as spurious. How, then, can a referent tracking-based Electronic Health Record deal with what are standardly called ‘negative findings’? To answer this question we carried out an analysis of some 748 sentences drawn from patient charts and containing some form of negation. Our analysis shows that to deal with these sentences we need to introduce a new ontological relationship (...) between a particular and a universal, which holds when no instance of the universal has a specific qualified ontological relation with the particular. This relation is found to be able to accommodate nearly all occurrences of negative findings in the examined sample, in ways which involve no reference to negative entities. (shrink)

One important challenge for contingentists is that they seem to be unable to account for the meaning of some apparently meaningful modal discourse that is perfectly intelligible for necessitists. This worry is particularly pressing for higher-order contingentists, contingentists who hold that it is not only contingent which objects there are, but also contingent which semantic values there are for higher-order variables to quantify over. Objections against higher-order contingentism along these lines have been presented in Williamson (Mind 119(475):657–748, 2010; Modal logic (...) as metaphysics, Oxford University Press, 2013, ch. 7), and Fritz and Goodman (Mind 126(504):1063–1108, 2017). This paper presents a way for contingentists to respond to these challenges. The upshot is that the contingentist can account for the meaningfulness of the problematic modal claims by pretending necessitism to be true, but in some cases it turns out to be indeterminate whether they are true. I defend this strategy against the objections against pretence-strategies presented in Fritz and Goodman (Mind 126(504):1063–1108, 2017, §4). Furthermore, I defend the plausibility of the resulting indeterminacy from the contingentist’s perspective. (shrink)

The Alcibiades I concludes with an arresting image of an eye that sees itself by looking into another eye. Using the dialogue as a whole, I offer a detailed interpretation of this image and I discuss its implications for the question of self-knowledge. The Alcibiades I reveals both what self-knowledge is (knowledge of soul in its particularity and its universality) and how we are to seek it (by way of philosophical dialogue). This makes the pursuit of self-knowledge an inescapably social (...) pursuit. Yet as Socrates cautions us, our ability to gain self-knowledge—and indeed his very account of what it is—are limited. The dialogue is thus challenging us to take the inquiry further, thereby displaying the very matter being discussed. (shrink)

One of Plato’s aims in the Phaedrus seems to be to outline an ‘ideal’ form of rhetoric. But it is unclear exactly what the ‘true’ rhetorician really looks like, and what exactly his methods are. More broadly, just how does Plato see the relation between rhetoric and philosophy? I argue, in light of Plato’s epistemology, that the “true craft (techne) of rhetoric” which he describes in the Phaedrus is a regulative, but also an unattainable ideal. Consequently, the mythical palinode in (...) the dialogue is not (as some have claimed) an example of the true techne—and indeed it could not be. But neither is dialectic. Rather, dialectic is the closest approximation of the true techne of rhetoric which can be had; that is to say, dialectic is the best and highest kind of psychagogia (a ‘leading of the soul through words’). Plato’s purpose in describing the “true techne of rhetoric”, then, is not to reform or to rehabilitate rhetoric, but to urge us to abandon it in favor of the philosophical life. One implication of this is that Plato is just as hostile toward rhetoric as he is in the Gorgias. (shrink)

This paper develops the metaphysical hypothesis that there are irreducibly collective pluralities, pluralities of objects that do not have a singular object among them. A way to formulate this hypothesis using plural quantification will be proposed and the coherence of irreducibly collective existence will be defended. Furthermore, irreducibly collective existence will be shown to allow for bottomless scenarios that do not involve things standing in relations of parthood. This will create logical space for an anti-atomistic form of mereological nihilism.