How good a theory is depends on how well it meets the goals of its inquiry. Thus, for example, theories in the natural sciences are better if in addition to stating truths, they also impart a kind of understanding. Recent proposals—such as Jc Beall’s Contradictory Christology—to set Christian theology within non-classical logic should be judged in a like manner: according to how well they meet the goals of Christology. This paper examines some of the effects of changing the logic of (...) Christology on meeting the proposed goals of that inquiry. The paraconsistent logic Beall favors has (FDE) features that inhibit increasing our understanding of the Incarnation. Of course, there is good reason to think understanding is not the goal of Christological inquiry, that its goals are (for lack of a better word) devotional. But FDE’s features don’t foster these goals either—raising questions about how much of a theological advance proposals like Beall’s could be. -/- [NOTE: The published version has some formatting errors, specifically with respect to block quotes. Please cite the published version, but if you are confused, consult the correctly formatted version on PhilArchive] -/- . (shrink)

I argue that political liberals should not support the monopoly of a single educational approach in state sponsored schools. Instead, they should allow reasonable citizens latitude to choose the worldview in which their own children are educated. I begin by defending a particular conception of political liberalism, and its associated requirement of public reason, against the received interpretation. I argue that the values of respect and civic friendship that motivate the public reason requirement do not support the common demand that (...) citizens “bracket” their comprehensive commitments in politics. Rather, citizens should seek to enact policies the justification of which is compatible with the truth of their fellow reasonable citizens’ worldviews. Next I argue that no single educational approach can meet this standard of justification. Many believe that state sponsored education in a pluralist, liberal society ought to present multiple worldviews in a neutral way. I argue that this aspiration is unrealizable, and no other educational model will plausibly meet the justificatory demand. Finally, I address two objections to my favored alternative: that it may allow for the inculcation of disrespect, and that it violates children’s autonomy. Against the first, I claim that political liberals have no grounds for thinking that reasonable citizens will seek to inculcate disrespect. Finally, I argue that there is no conception of autonomy that can sustain the second. (shrink)

The study ascertained mathematical problem-solving skills and self-efficacy as correlates of Pre-service NCE Mathematics Teachers’ Performance in South-East, Nigeria. Seven research questions guided the study while seven hypotheses were tested at 0.05 level of significance. Correlation research design was used for the study. The population of the study was 197 pre-service NCE Mathematics teachers in South-East, Nigeria. All the population of 197 was studied as sample because, it is small and manageable. Mathematics Problem-Solving Skill Test (MPSST) and Pre-Service Teachers’ Self-Efficacy (...) Questionnaire (PSTSEQ) were used as instruments for data collection. Both instruments were validated by three experts in science Education while reliabilities of MPSST and PSTSEQ were established using Cronbach Alpha method and coefficient values of 0.82 and 0.80 respectively were obtained which were considered high enough to confirm the instruments as reliable. Data were collected and analyzed using Pearson product moment correlation coefficient. The findings revealed that a high positive and significant relationship existed between mathematical problem-solving skills scores and academic performance scores and between self-efficacy scores and academic performance scores of pre-service NCE mathematics teachers. It was recommended among others that Mathematics lecturers should make conscious effort towards improving the mathematical problem-solving skills and self-efficacy of the pre-service NCE mathematics teachers through modeling, conditioning, and behaviour modification for improved academic performance in Mathematics. (shrink)

The study looked at the issue of poor male students’ enrollment into Home Economics and related programmes in tertiary institutions in Anambra State, Nigeria. It adopted a descriptive survey research design. The population for this study comprised of all the (regular) undergraduate students in the Home Economics related programmes in the five tertiary institutions in Anambra State. The population is two hundred and six (206) students. Instrument used for the study was a structured 4-point questionnaire. The instrument's validity was ensured (...) through consulting experts in Home Economics and Measurement and Evaluation fields in, Nwafor Orizu College of Education, Nsugbe. The reliability of the instrument was established through a test re-test procedure and correlated to yield a coefficient of 0.81. Data for this study was collected primarily by the researchers. The data were analyzed with arithmetic mean and standard deviation. From the results, it was identified that the causes of poor male student enrollment revolve around societal stereotypes, limited awareness of the subject’s scope, inadequate promotional efforts; among others. Educational outreach and awareness, deconstructing gender stereotypes, parental and community engagement, were suggested as strategies to improve male students enrolment. Based on findings, the researchers recommend a curriculum adjustment and more inclusive educational environment and mindset that will showcase Home Economics as a field suitable for all, regardless of gender. (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.

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)

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)

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.

Advances in science and technology have added to our insights into the vulnerabilities of human agency as well as to the methods of exploiting them. This has raised the stakes for efforts to clarify the concept and ethics of manipulation. Among these efforts, Robert Noggle’s influencer-centered account of manipulation has been most significant. He defines manipulative acts as those whereby an agent intentionally influences a recipient’s attitudes so that they do not conform as closely as they otherwise would to the (...) pertinent norms and ideals endorsed by the influencer. This provides a relatively simple and in many ways clear definition of manipulation. It sidesteps thorny debates about autonomy, freedom, or practical rationality. It also promises to reveal a conceptual parallel between manipulating and lying, and thus to explain why manipulation is pro tanto wrong. In one respect, however, the account remains ambiguous: It remains unclear whether, and to what extent, it requires that influencers’ beliefs about what is ideal for their recipients to be grounded in some effort on the part of the influencer to identify with or take on the role of her recipient. This paper explains this ambiguity. It argues that influencer-centrism cannot remain indifferent to the validity of an agent’s beliefs about the ideal state of the recipient and provide an identification requirement that would render the whole account plausible and sufficiently determinate. (shrink)

In a recent paper, Tim Henning argues that the result that we should save the greatest number in rescue cases can be established on procedural grounds without making use of the aggregation of interests. He first argues that we ought to respect the affected persons' equal claims to have a say in the rescue decision and that this can only be achieved by the majority rule, which consists in giving each affected person an equal vote. Then he argues for the (...) second claim that if everyone votes in their self-interest, then the greatest number will be saved. I present a class of cases in which the second claim fails. This establishes that even if self-interested voting is assumed, the majority rule does not always lead to the greatest number being saved. (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)

Non-naturalism is the view that normative properties are response-independent, irreducible to natural properties, and causally inefficacious. An underexplored question for non-naturalism concerns the metasemantics of normative terms. Ideally, the non-naturalist could remain ecumenical, but it appears they cannot. Call this challenge the metasemantic challenge. This chapter suggests that non-naturalists endorse an epistemic account of reference determination of the sort recently defended by Imogen Dickie, with some modifications. An important implication of this account is that, if correct, a fully fleshed out (...) moral epistemology will simultaneously rebut metasemantic objections to non-naturalism. Thus, both the metasemantic and the more widely discussed epistemological challenges in effect amount to one. Before setting out the positive view, the chapter considers why all of the traditional metasemantic theories cause trouble for the non-naturalist. This includes discussions of teleosemantics, conceptual role semantics, as well as Schroeter and Schroeter’s “connectedness” model. (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 ongoing digital transformation of almost all areas of human action and agency calls for a readjustment of the norms that regulate these practices. For example, the digitisation of communicative practices poses new challenges to their functioning. This paper explains some of these challenges and argues that they cannot be met by a normative framework that focuses mainly on defensive (free speech and property) rights. In the context of mediated digital communication, the application of such a framework may even have (...) paradoxical consequences. Accordingly, this paper argues for a broader system of communicative rights, understood as rights to meaningful participation in well-functioning communicative practices. (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)

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.

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)

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.

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)

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)

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)

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)

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.

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)

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)

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)

In the Phaedo the character Socrates argues that suicide is morally wrong. This is in fact one of only two places in the entire Platonic corpus where suicide is discussed. It is a brief passage, and a notoriously perplexing one. In this article, I distinguish between two arguments that Socrates gives in support of his claim. I argue that one of them is not to be taken literally, while the other represents the deeper reason for the prohibition of suicide. I (...) further relate the question of suicide to the overarching concerns of the Phaedo as a whole: the nature of our incarnate “imprisonment”, the nature and purpose of philosophy, the philosophical “purification” of the soul, the human pursuit of knowledge, and the nature of the divine. (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)

It is commonly thought that there is a connection between love and death. But what can be said philosophically about the nature of that connection (if indeed it exists)? Plato's Symposium suggests at least three possible ways in which love and death might be connected: first, that love entails (or ought to entail) a willingness to die for one’s beloved; second, that love is a desire for (or perhaps itself is) a kind of death; and third, that love is linked (...) to human mortality and the desire for immortality. I argue that each of these three suggestions is problematic, and should not be accepted at face value. I am ultimately skeptical as to whether any one, overriding connection—be it moral or causal or metaphysical—between love and death exists. At the very least, the matter deserves more nuanced and multi-faceted reflection than what we find in the Symposium. (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)

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)

The ending of the Phaedo is one of the most powerful and memorable moments in the entire Platonic corpus. It is not simply the end of a single dialogue, but a depiction of the end of the life of the man (Socrates) who is a looming presence in nearly everything that Plato wrote. In this article I offer an in-depth analysis of the final scene of the Phaedo. I argue that Plato very carefully constructs the scene for the sake of (...) specific philosophical, dramatic, and political ends. Plato uses it to unify the Phaedo as a singular text, while also provoking us to reflect on the nature of our lives, our deaths, and the possibilities and limits of philosophy itself. (shrink)

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)

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)

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)

Moral perceptualism is the view that perceptual experience is attuned to pick up on moral features in our environment, just as it is attuned to pick up on mundane features of an environment like textures, shapes, colors, pitches, and timbres. One important family of views that incorporate moral perception are those of virtue theorists and sensibility theorists. On these views, one central ability of the virtuous agent is her sensitivity to morally relevant features of situations, where this sensitivity is often (...) spoken of in perceptual terms. However, sensibility theorists have often not been careful to specify how to understand their claims about moral sensibilities as perceptual. In this paper, we distinguish between what we call Attentional Moral Perception and Contentful Moral Perception. We argue that sensibility theorists should endorse Attentional Moral Perception, because it has very powerful empirical evidence in its favor, and it can play all of the explanatory roles that the sensibility theorist needs in her theory of moral sensibilities. (shrink)

For corporate memory and enterprise ontology systems to be maximally useful, they must be freed from certain barriers placed around them by traditional knowledge management paradigms. This means, above all, that they must mirror more faithfully those portions of reality which are salient to the workings of the enterprise, including the changes that occur with the passage of time. The purpose of this chapter is to demonstrate how theories based on philosophical realism can contribute to this objective. We discuss how (...) realism-based ontologies (capturing what is generic) combined with referent tracking (capturing what is specific) can play a key role in building the robust and useful corporate memories of the future. (shrink)

The integration of information resources in the life sciences is one of the most challenging problems facing bioinformatics today. We describe how Language and Computing nv, originally a developer of ontology-based natural language understanding systems for the healthcare domain, is developing a framework for the integration of structured data with unstructured information contained in natural language texts. L&C’s LinkSuite™ combines the flexibility of a modular software architecture with an ontology based on rigorous philosophical and logical principles that is designed to (...) comprehend the basic formal relationships that structure both reality and the ways humans perceive and communicate about reality. (shrink)

Health Level 7 (HL7) is an organization seeking to provide universal standards for the exchange of healthcare information. In a document entitled ‘HL7 Version 3 Standard: Data Types’, the HL7 organization advances descriptions of data types recom- mended for use as identifiers. We will argue that the descriptions supplied provide insufficient guidance as to what exactly the entities are which these data types uniquely identify. Are they real things, such as persons or pieces of equipment? Or are they representations of (...) such real things in information artifacts? We here outline the problems faced by HL7 in providing answers to such questions, problems which arise because of the lack of anything like a coherent ontology in the HL7 standard, and we make some recommendations for future improvements. (shrink)

Ontologies are today being applied in almost every field to support the alignment and retrieval of data of distributed provenance. Here we focus on new ontological work on dance and on related cultural phenomena belonging to what UNESCO calls the “intangible heritage.” Currently data and information about dance, including video data, are stored in an uncontrolled variety of ad hoc ways. This serves not only to prevent retrieval, comparison and analysis of the data, but may also impinge on our ability (...) to preserve the data that already exists. Here we explore recent technological developments that are designed to counteract such problems by allowing information to be retrieved across disciplinary, cultural, linguistic and technological boundaries. Software applications such as the ones envisaged here will enable speedier recovery of data and facilitate its analysis in ways that will assist both archiving of and research on dance. (shrink)

Ontological realism aims at the development of high quality ontologies that faithfully represent what is general in reality and to use these ontologies to render heterogeneous data collections comparable. To achieve this second goal for clinical research datasets presupposes not merely (1) that the requisite ontologies already exist, but also (2) that the datasets in question are faithful to reality in the dual sense that (a) they denote only particulars and relationships between particulars that do in fact exist and (b) (...) they do this in terms of the types and type-level relationships described in these ontologies. While much attention has been devoted to (1), work on (2), which is the topic of this paper, is comparatively rare. Using Referent Tracking as basis, we describe a technical data wrangling strategy which consists in creating for each dataset a template that, when applied to each particular record in the dataset, leads to the generation of a collection of Referent Tracking Tuples (RTT) built out of unique identifiers for the entities described by means of the data items in the record. The proposed strategy is based on (i) the distinction between data and what data are about, and (ii) the explicit descriptions of portions of reality which RTTs provide and which range not only over the particulars described by data items in a dataset, but also over these data items themselves. This last feature allows us to describe particulars that are only implicitly referred to by the dataset; to provide information about correspondences between data items in a dataset; and to assert which data items are unjustifiably or redundantly present in or absent from the dataset. The approach has been tested on a dataset collected from patients seeking treatment for orofacial pain at two German universities and made available for the NIDCR-funded OPMQoL project. (shrink)

Moving beyond the piecemeal approach to the Euthyphro that has dominated much of the previous secondary literature, I aim in this article to understand the dialogue as an integrated whole. I argue that the question of myth underlies the philosophical and dialogical progression of the Euthyphro. It is an adherence to traditional myth that motivates each of Euthyphro’s definitions and that also accounts for their failure. The dialogue thus presents a broad criticism of traditional myth. But, as Socrates’s references to (...) Daedalus and Proteus show, myth can have a positive role and can be used for philosophical purposes. (shrink)

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.

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)

Semantic interoperability can be defined as the ability of two or more computer systems to exchange information in such a way that the meaning of that information can be automatically interpreted by the receiving system accurately enough to produce useful results to the end users of both systems. Several activities are currently being performed by a variety of stakeholders to achieve semantic interoperability in healthcare. Many of these activities are not beneficial, because they place too great a focus on business (...) aspects and not enough on involvement of the right sorts of researchers, in particular those that are able to see how the data and information relate to the entities of concern on the side of the patient. The lack of a central focus on the patient, and the associated focus on ‘concepts’, have spawned a variety of mutually incompatible terminologies exhibiting non-resolvable overlap. The predominance of the healthcare IT industry in the writing and selection of semantic interoperability standards mitigates against the benefits that standards, when well designed, can bring about. (shrink)

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.