Driven by the use cases of PubChemRDF and SCAIView, we have developed a first community-based clinical trial ontology (CTO) by following the OBO Foundry principles. CTO uses the Basic Formal Ontology (BFO) as the top level ontology and reuses many terms from existing ontologies. CTO has also defined many clinical trial-specific terms. The general CTO design pattern is based on the PICO framework together with two applications. First, the PubChemRDF use case demonstrates how a drug Gleevec is linked to multiple (...) clinical trials investigating Gleevec’s related chemical compounds. Second, the SCAIView text mining engine shows how the use of CTO terms in its search algorithm can identify publications referring to COVID-19-related clinical trials. Future opportunities and challenges are discussed. (shrink)

A classical quantified modal logic is used to define a "feasible" arithmetic A 1 2 whose provably total functions are exactly the polynomial-time computable functions. Informally, one understands $\Box\alpha$ as "α is feasibly demonstrable". A 1 2 differs from a system A 2 that is as powerful as Peano Arithmetic only by the restriction of induction to ontic (i.e., $\Box$ -free) formulas. Thus, A 1 2 is defined without any reference to bounding terms, and admitting induction over formulas having arbitrarily (...) many alternations of unbounded quantifiers. The system also uses only a very small set of initial functions. To obtain the characterization, one extends the Curry-Howard isomorphism to include modal operations. This leads to a realizability translation based on recent results in higher-type ramified recursion. The fact that induction formulas are not restricted in their logical complexity, allows one to use the Friedman A translation directly. The development also leads us to propose a new Frege rule, the "Modal Extension" rule: if $\vdash \alpha$ then $\vdash A \leftrightarrow \alpha$ a for new symbol A. (shrink)

As recently stakeholders complain about the use of conflict minerals in consumer products that are often invisible to them in final products, firms across industries implement conflict mineral management practices. Conflict minerals are those, whose systemic exploitation and trade contribute to human right violations in the country of extraction and surrounding areas. Particularly, supply chain managers in the Western world are challenged taking reasonable steps to identify and prevent risks associated with these resources due to the globally dispersed nature of (...) supply chains and the opacity of the origin of commodities. Supply chain due diligence represents a holistic concept to proactively manage supply chains reducing the likelihood of the use of conflict minerals effectively. Based on an exploratory study with 27 semi-structured interviews within five European industries, we provide insights into patterns of implementation, key motivational factors, barriers and enablers, and impacts of SCDD in mineral supply chains. Our results contribute to both theory and practice as we provide first insights to SCDD practices and make recommendations for an industry-wide implementation of SCDD. Altogether, this study provides the basis for future theory testing research in the context of SCDD and conflict mineral management. (shrink)

In previous work the author has introduced a lambda calculus SLR with modal and linear types which serves as an extension of Bellantoni–Cook's function algebra BC to higher types. It is a step towards a functional programming language in which all programs run in polynomial time. In this paper we develop a semantics of SLR using BCK -algebras consisting of certain polynomial-time algorithms. It will follow from this semantics that safe recursion with arbitrary result type built up from N and (...) ⊸ as well as recursion over trees and other data structures remains within polynomial time. In its original formulation SLR supported only natural numbers and recursion on notation with first-order functional result type. (shrink)

We use the category of presheaves over PTIME-functions in order to show that Cook and Urquhart's higher-order function algebra PV ω defines exactly the PTIME-functions. As a byproduct we obtain a syntax-free generalisation of PTIME-computability to higher types. By restricting to sheaves for a suitable topology we obtain a model for intuitionistic predicate logic with ∑ 1 b -induction over PV ω and use this to re-establish that the provably total functions in this system are polynomial time computable. Finally, we (...) apply the category-theoretic approach to a new higher-order extension of Bellantoni-Cook's system BC of safe recursion. (shrink)

The essays in Powerful Arguments reconstruct the standards of validity underlying argumentative practices in a wide array of late imperial Chinese discourses, from the Song through the Qing dynasties. The fourteen case studies analyze concrete arguments defended or contested in areas ranging from historiography, philosophy, law, and religion to natural studies, literature, and the civil examination system. By examining uses of evidence, habits of inference, and the criteria by which some arguments were judged to be more persuasive than others, the (...) contributions recreate distinct cultures of reasoning. Together, they lay the foundations for a history of argumentative practice in one of the richest scholarly traditions outside of Europe and add a chapter to the as yet elusive global history of rationality. (shrink)

The aim of this article is to investigate and discuss the notions of difference and representation in Emmanuel Levinas and Gilles Deleuze, articulating such notions through the example of a university extension project involving the formation of a musical ensemble composed of autistic children. Our research involved a review of four major philosophical works—Emmanuel Levinas’ Totality and Infinity; Among Us: Essays On Alterity; and “The Concept Of Difference In Bergson”; and Gilles Deleuze’s Difference and Repetition--in addition to secondary references. The (...) main articulations of the investigation carried out in the project consist of aspects such as: taking responsibility for the autistic child through cultivating asymmetrical relationships, a process that takes place through sensibility, below any representation; and not totalizing the alterity involved while maintaining, at the same time, its radical difference. In addition, there is an emphasis in the work on the difference of each child, beyond his or her diagnostic identity, understanding that all participants are undergoing unique processes of differentiation, and that some differences are not more privileged than others, in that that such hierarchies are determined by power relations. Another contribution of this research is the emphasis on the intensive affective flows of children, and the construction of relationships of mutual affection, which increases the circulation of vital energy in each one. Finally, the results of the project are offered as guidelines for clinical practice, and for the cultivation of a politics of difference, as an alternative to hegemonic practices in autism studies in contemporary times. (shrink)

We say that a Hausdorff locale is compactly generated if it is the colimit of the diagram of its compact sublocales connected by inclusions. We show that this is the case if and only if the natural map of its frame of opens into the second Lawson dual is an isomorphism. More generally, for any Hausdorff locale, the second dual of the frame of opens gives the frame of opens of the colimit. In order to arrive at this conclusion, we (...) generalize the Hofmann–Mislove–Johnstone theorem and some results regarding the patch construction for stably locally compact locales. (shrink)

In diesem Buch stellt sich die Frage nach der Wahrheit nicht über den Gegensatz von wahr und falsch, sondern im Zusammenhang mit verschiedenen Modi der Gewißheit: Wahrheit in ihren komplexen Beziehungen zu praktischen Fragen und der Notwendigkeit von Urteilen. Diese Fragen werden systematisch differenziert und historisch diskutiert. Die Autorin verdeutlicht mit dem Nachweis der entscheidenden Funktion der Urteilskraft die Verbindungen und Bruchstellen zwischen theoretischer und praktischer Philosophie. Der Urteilskraft kommt als einer individuellen Fähigkeit die Aufgabe zu, die Reaktion Anderer auf (...) das eigene Fürwahrhalten ohne eine letzte allgemeine Regel einzuschätzen. Theoretische Philosophie geht hier in politische Philosophie (Kant) bzw. in Philosophie der Psychologie (Wittgenstein) über. (shrink)

Online supplement, "Mulsow: Additions to Notes drawn from the 2002 edition of Moderne aus dem Untergrund" full versions of nearly 300 notes that were truncated in the print edition. Hosted on H. C. Erik Midelfort's website. Martin Mulsow's seismic reinterpretation of the origins of the Enlightenment in Germany won awards and renown in its original German edition, and now H. C. Erik Midelfort's translation makes this sensational book available to English-speaking readers. In Enlightenment Underground, Mulsow shows that even in (...) the late seventeenth century some thinkers in Germany ventured to express extremely dangerous ideas, but did so as part of a secret underground. Scouring manuscript collections across northern Europe, Mulsow studied the writings of countless hitherto unknown radical jurists, theologians, historians, and dissident students who pushed for the secularization of legal, political, social, and religious knowledge. Often their works circulated in manuscript, anonymously, or as clandestinely published books. Working as a philosophical microhistorian, Mulsow has discovered the identities of several covert radicals and linked them to circles of young German scholars, many of whom were connected with the vibrant radical cultures of the Netherlands, England, and Denmark. The author reveals how radical ideas and contributions to intellectual doubt came from Socinians and Jews, church historians and biblical scholars, political theorists, and unemployed university students. He shows that misreadings of humorous or ironic works sometimes gave rise to unintended skeptical thoughts or corrosively political interpretations of Christianity. This landmark book overturns stereotypical views of the early Enlightenment in Germany as cautious, conservative, and moderate, and replaces them with a new portrait that reveals a movement far more radical, unintended, and puzzling than previously suspected. (shrink)

The objective of this article is to analyse the value-ladenness of technology in the context of medicine. To address this issue several characteristics of technology are investigated: i) its interventive capacity, ii) its expansiveness and iii) its influence on the concept of disease, iv) its generalising character, v) its independence of the subjective experience of the patient. By this analysis I hope to unveil the double face of technology: Technology has a Janus-face in modern medicine, and the opposite of its (...) factual face is evaluative. (shrink)

Delusions have traditionally been considered the hallmark of mental illness, and their conception, diagnosis and treatment raise many of the fundamental conceptual and practical questions of psychopathology. One of these fundamental questions is whether delusions are understandable. In this paper, we propose to consider the question of understandability of delusions from a philosophy of language perspective. For this purpose, we frame the question of how delusions can be understood as a question about the meaning of delusional utterances. Accordingly, we ask: (...) “what meaning(s) can delusional utterances possibly have?”. We argue that in the current literature, there is a standard approach to the meaning of delusional utterances, namely the descriptive account which assumes that a delusional utterance “p” means that p is the case. Drawing on Speech Act Theory, we argue that solely relying on the descriptive account disregards essential ways of how linguistic meaning is constituted. Further, we show that Speech Act Theory can prove a helpful addition to the theoretical and clinical “toolbox” used for attempting to understand delusional utterances. This, we believe, may address some of the theoretical and clinical shortcomings of using only the currently predominant descriptive account. (shrink)

Absorbing biography of the creative and destructive scientific genius and tragic life of Andr?-Marie Amp're.

L’addition, dans la cinquième édition en 1683 de La Logique ou L’Art de penser, d’un chapitre consacré à la définition générale du signe et de plusieurs chapitres relevant spécifiquement d’une analyse des signes linguistiques, a été parfois interprétée comme une apparition tardive du “problème du langage” dans le traité d’Arnauld et Nicole. Parce que la plupart de ces chapitres supplémentaires sont la transposition de passages auparavant destinés dans la Perpétuité de la foi (1669-1674) à réfuter le sens calviniste de Ceci (...) est mon corps, on a été enclin à attribuer l’importance de la question du signe et du “problème du langage” dans l’édition de 1683 à une origine théologique. J’essaie au contraire de montrer que, dès la première édition de L’Art de penser en 1662, la problématisation des écarts des expressions linguistiques avec une correspondance terme à terme entre les mots et les idées a été indissociable pour Port-Royal de l’analyse des opérations de l’esprit. Selon moi, dans la Perpétuité de la foi, la critique du sens calviniste de la formule eucharistique constitue elle-même une application de cette analyse logique du langage : les passages incorporés ensuite dans L’Art de penser sont dans le prolongement des réflexions de 1662 sur les difficultés d’adéquation entre le dire et le vouloir-dire. Je montre pour finir que la définition générale du signe à Port-Royal suppose une restructuration de la définition augustinienne du De doctrina christiana, et fonde en 1683 une identification de la relation de signification linguistique à un rapport de représentation des mots aux idées, qui vient redoubler le rapport de représentation des idées aux choses établi en 1662. (shrink)

There has been a significant increase in the use of radiological services in the past 30 years. There are many reasons for this, but one has received little attention: the increased role of patient autonomy in healthcare. Patients demand x rays, CT scans, MRI, and positron emission tomography scans. The key question in this article is how a moral principle, such as respect for patient autonomy, can influence the extension of radiological services. A literature review reveals how patient autonomy is (...) acknowledged in radiology, and how it is used both to explain and to justify the increase in radiological examinations. Furthermore, it also shows how the premises favouring patients’ exercise of their autonomy are not always present, which makes patient autonomy subject to adverse side effects and even abuse. Patient autonomy can be used to reduce the professionals’ responsibility for radiological examinations , to increase the popularity of the profession , to increase the income of the professionals or their institutions, and to promote professional activity. Patient autonomy intended to reduce paternalism, to legitimise otherwise morally unjustifiable actions , and to protect patients, can easily be used as a moral means for opposite ends. These adverse effects are not peculiar to radiology. However, they emerge particularly clearly in explanations and justifications of the substantial increase in radiological services, as well as in debates on overuse of radiological services. (shrink)

Friedrich Nietzsche has emerged as one of the most important and influential modern philosophers. For several decades, the book series Monographien und Texte zur Nietzsche-Forschung (MTNF) has set the agenda in a rapidly growing and changing field of Nietzsche scholarship. The scope of the series is interdisciplinary and international in orientation reflects the entire spectrum of research on Nietzsche, from philosophy to literary studies and political theory. The series publishes monographs and edited volumes that undergo a strict peer-review process. The (...) book series is led by an international team of editors, whose work represents the full range of current Nietzsche scholarship. (shrink)

Is technology value-free or is it value-laden? How does technology affect human autonomy? These questions, viewed within the context of medicine, are the focus of attention in this article. The central argument is that we need neither to subscribe to the value-neutrality dictum nor to the all-encompassing value-ladenness thesis to explain the pertinent position of technology in medicine. Technology is constitutive of and strongly implicated in difficult questions of value. This, however, does not mean that technology is identical to (or (...) neutral to) these value-laden questions. Technology poses issues of value, but only some of these relate to technology qua technology. Hence, it makes a difference whether we discuss general questions of value posed by technology or whether we discuss the value-ladenness of technology. Admitting technological value-ladenness does not imply that we are subject to a technological imperative that reduces our autonomy, on the contrary, it explains how technology increases our responsibility. This is particularly prominent in medicine. (shrink)

Many philosophers and psychologists argue that out everyday ability to predict and explain the actions and mental states of others is grounded in out possession of a primitive 'folk' psychological theory. Recently however, this theory has come under challenge from the simulation alternative. This alternative view says that human beings are able to predict and explain each other's actions by using the resources of their own minds to simulate the psychological aetiology of the actions of the others. This book and (...) the companion volume Folk Psychology: The Theory of Mind Debate together offer a richly woven fabric of philosophical and psychological theory, which promises to yield real insights into the nature of our mental lives. (shrink)

Of course, although this view on meaning was the prevailing one for almost a century, many of the people who initiated the enterprise of logical semantics, including people like Frege and Wittgenstein, had an open eye for all that it did not catch. However, the logical means which Frege, Wittgenstein, Russell, and the generation that succeeded them, had at their disposal were those of classical mathematical logic and set-theory, and these indeed are not very suited for an analysis of other (...) aspects of meaning than those which the slogan covers. A real change in view then had to await the emergence of other concepts, which in due course became available mainly under the influence of developments in computer science and cognate disciplines such as artificial intelligence. And this is one of the reasons why it took almost a century before any serious and successful challenge of the view that meaning equals truthconditions from within logical semantics could emerge. (shrink)

This book explores a question central to philosophy--namely, what does it take for a belief to be justified or rational? According to a widespread view, whether one has justification for believing a proposition is determined by how probable that proposition is, given one's evidence. In this book this view is rejected and replaced with another: in order for one to have justification for believing a proposition, one's evidence must normically support it--roughly, one's evidence must make the falsity of that proposition (...) abnormal in the sense of calling for special, independent explanation. This conception of justification bears upon a range of topics in epistemology and beyond. Ultimately, this way of looking at justification guides us to a new, unfamiliar picture of how we should respond to our evidence and manage our own fallibility. This picture is developed here. (shrink)

According to Ramsey and colleagues the main constituent psychological processes of innovation are response to novelty, exploration, and the ability to recognize a novel solution. I fully support this view but point out that novelty reactions are often context-specific. I will expand on this and discuss the possible consequences of context-specific novelty reactions on the emergence of innovations.

In this paper I propose a new solution to the problem of change: situationalism. According to this view, parts of reality fundamentally disagree about what is the case and reality as a whole is unsettled (i.e. metaphysically indeterminate). When something changes, parts of the world irreconcilably disagree about what properties it has. From this irreconcilable disagreement, indeterminacy arises. I develop this picture using situations, which are parts of possible worlds; this gives it the name situationalism. It allows a B-theory endurance (...) view on which there is genuine incompatibility when things change. There are costs to the view, which are explored, but it is a novel approach which offers a distinct explanation of what happens when things exist through change. (shrink)

The emerging concept of systems medicine (or ‘P4 medicine’—predictive, preventive, personalized and participatory) is at the vanguard of the post-genomic movement towards ‘precision medicine’. It is the medical application of systems biology, the biological study of wholes. Of particular interest, P4 systems medicine is currently promised as a revolutionary new biomedical approach that is holistic rather than reductionist. This article analyzes its concept of holism, both with regard to methods and conceptualization of health and disease. Rather than representing a medical (...) holism associated with basic humanistic ideas, we find a technoscientific holism resulting from altered technological and theoretical circumstances in biology. We argue that this holism, which is aimed at disease prevention and health optimization, points towards an expanded form of medicalization, which we call ‘holistic medicalization’: Each person’s whole life process is defined in biomedical, technoscientific terms as quantifiable and controllable and underlain a regime of medical control that is holistic in that it is all-encompassing. It is directed at all levels of functioning, from the molecular to the social, continual throughout life and aimed at managing the whole continuum from cure of disease to optimization of health. We argue that this medicalization is a very concrete materialization of a broader trend in medicine and society, which we call ‘the medicalization of health and life itself’. We explicate this holistic medicalization, discuss potential harms and conclude by calling for preventive measures aimed at avoiding eventual harmful effects of overmedicalization in systems medicine (quaternary prevention). (shrink)

Like some ethical dilemmas, this question has an obvious answer that may not be right. On first reflection, it seems entirely unreasonable and inappropriate to expect staff members to withhold supportive care. Legally, a designated surrogate has the authority to refuse pain medication on the patient's behalf, but is it ethically defensible? A patient lacking decisionmaking capacity is crying out in pain; can we really imagine just closing the door? What do we say to other patients, visitors, and staff members, (...) such as physicians, nurses, housekeepers, and dietary workers, who might hear the patient? Do we place a sign on the door, one noting that the surrogate has refused, on behalf of the patient, to authorize the administration of pain medication and that the hospital or nursing home must comply with the surrogate's decision? (shrink)

The following description is based upon an actual case in which a patient initiated legal action after suffering a complication subsequent to an invasive diagnostic procedure performed by a senior fellow. Named as codefendants were the senior fellow, attending physician, and the hospital. Because any hospital with house staff is potentially vulnerable to similar litigation, Ethics Committees at Work is addressing the questions raised by this dilemma.

The belated but formal acknowledgment of medical errors and their impact has been well documented. Curiously, the topic of management or executive mistakes in healthcare is not raised in professional meetings nor, until recently, addressed by an article in health administration journals.

Our ethics committee is revising the organization's policy on forgoing life-sustaining treatment. The current policy now includes the statement, “When life-sustaining treatment is forgone, supportive care will be provided to relieve pain and ensure the patient's comfort, unless the patient or surrogate refuses those measures.” Is it reasonable, however, for the surrogate to have the authority to refuse consent for pain medication and/or other supportive care?

. Science at the interface with society is regarded with mistrust among parts of the public. Scientific judgments on matters of practical concern are not infrequently suspected of being incompetent and biased. I discuss two proposals for remedying this deficiency. The first aims at strengthening the independence of science and suggests increasing the distance to political and economic powers. The drawback is that this runs the risk of locking science in an academic ivory tower. The second proposal favors “counter-politicization” in (...) that research is strongly focused on projects “in the public interest,” that is, on projects whose expected results will benefit all those concerned by these results. The disadvantage is that the future use of research findings cannot be delineated reliably in advance. I argue that the underlying problem is the perceived lack of relevance and reliability and that pluralism is an important step toward its solution. Pluralism serves to stimulate a more inclusive research agenda and strengthens the well-testedness of scientific approaches. However, pluralism also prevents the emergence of clear-cut practical suggestions. Accordingly, pluralism is part of the solution to the credibility crisis of science, but also part of the problem. In order for science to be suitable as a guide for practice, the leeway of scientific options needs to be narrowed – in spite of uncertainty in epistemic respect. This reduction can be achieved by appeal to criteria that do not focus on the epistemic credentials of the suggestions but on their appropriateness in practical respect. (shrink)

Classic text considersgeneral theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable functionals, classification of unsolvable decision problems and more.

Divided into four parts, this treatise begins with well-known criticisms of nonreligious ethics and then develops an atheistic metaethics. In Part 2, Martin criticizes the Christian foundation of ethics, specifically the ’divine command theory’ and the idea of imitating the life of Jesus as the basis of Christian morality. Part 3 demonstrates that life can be meaningful in the absence of religious belief. Part 4 criticizes the theistic point of view in general terms as well as the specific Christian (...) doctrines of the atonement, salvation, and the resurrection. (publisher, edited). (shrink)

It is a commonly held belief among many psychological scientists that the more plausible a hypothesis, the better it is scientifically. It is also often believed that if there are two alternative theories which are equally strong in terms of explanatory power, one should choose the plausible theory over the implausible one. The goal of this article is to challenge these assumptions. Based on Popper's philosophical views, it will be argued that psychological scientists should be encouraged to formulate implausible hypotheses (...) and theories. Examples from other scientific disciplines will be presented to illustrate this argument. 2012 APA, all rights reserved). (shrink)

Disjunctivism about perceptual appearances, as I conceive of it, is a theory which seeks to preserve a naïve realist conception of veridical perception in the light of the challenge from the argument from hallucination. The naïve realist claims that some sensory experiences are relations to mind-independent objects. That is to say, taking experiences to be episodes or events, the naïve realist supposes that some such episodes have as constituents mind-independent objects. In turn, the disjunctivist claims that in a case of (...) veridical perception like this very kind of experience that you now have, the experiential episode you enjoy is of a kind which could not be occurring were you having an hallucination. The common strategy of arguments from hallucination set out to show that certain things are true of hallucinations, and hence must be true of perceptions. For example, it is argued that hallucinations must have non-physical objects of awareness, or that such states are not relations to anything at all, but are at best seeming relations to objects. In insisting that veridical perceptual experience is of a distinct kind from hallucination, the disjunctivist denies that any of these conceptions of hallucination challenges our conception of veridical perceptions as relations to mind-independent objects. More specifically, I assume that the disjunctivist advocates naïve realism because they think that this position best articulates how sensory experience seems to us to be just through reflection. If the disjunctivist is correct in this contention, then anyone who accepts the conclusion of the argument from hallucination must also accept that the nature of sensory experience is other than it seems to us to be. In turn, one may complain that any such error theory is liable to lead to sceptical consequences. A Humean scepticism about the senses launches a challenge about our knowledge of the world through questioning the conception we have of what sense experience is, and how it can provide knowledge of the world. (shrink)

Article copyright 2002. We provide a battery of examples of delusions against which theoretical accounts can be tested. Then we identify neuropsychological anomalies that could produce the unusual experiences that may lead, in turn, to the delusions in our battery. However, we argue against Maher's view that delusions are false beliefs that arise as normal responses to anomalous experiences. We propose, instead, that a second factor is required to account for the transition from unusual experience to delusional belief. The second (...) factor in the etiology of delusions can be described superficially as a loss of the ability to reject a candidate for belief on the grounds of its implausibility and its inconsistency with everything else that the patient knows, but we point out some problems that confront any attempt to say more about the nature of this second factor. (shrink)

This collection of texts (originally published in German under the title Holzwege) is Heidegger's first post-war book and contains some of the major expositions of his later philosophy. Of particular note are 'The Origin of the Work of Art', perhaps the most discussed of all of Heidegger's essays, and 'Nietzsche's Word 'God is Dead',' which sums up a decade of Nietzsche research. Although translations of the essays have appeared individually in a variety of places, this is the first English translation (...) to bring them all together as Heidegger intended. The text is taken from the last edition of the work, which contains the author's final corrections together with important marginal annotations that provide considerable insight into the development of his thought. This fresh and accurate new translation will be an invaluable resource for all students of Heidegger, whether they work in philosophy, literary theory, religious studies, or intellectual history. (shrink)