The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

In this paper, I outline the historical context of C.C.E. Schmid's doctrine of intelligible fatalism. By doing so, I show the development of this influential doctrine and sketch Schmid's apparent revision of it in light of contemporary criticisms.

Over the past fifteen years there has been a considerable amount of debate concerning what theoretical population dynamic models tell us about the nature of natural selection and drift. On the causal interpretation, these models describe the causes of population change. On the statistical interpretation, the models of population dynamics models specify statistical parameters that explain, predict, and quantify changes in population structure, without identifying the causes of those changes. Selection and drift are part of a statistical description of population (...) change; they are not discrete, apportionable causes. Our objective here is to provide a definitive statement of the statistical position, so as to allay some confusions in the current literature. We outline four commitments that are central to statisticalism. They are: 1. Natural Selection is a higher order effect; 2. Trait fitness is primitive; 3. Modern Synthesis (MS)-models are substrate neutral; 4. MS-selection and drift are model-relative. (shrink)

In this paper, I offer a novel reading of how Fichte’s contemporaries shaped the development of his account of free will. Focusing on his emerging views in the second edition of _Revelation_ and the Creuzer review, I argue that Fichte’s position is closer to Reinhold’s than previously recognized. In particular, I demonstrate Reinhold’s decisive influence on the development of a key aspect of Fichte’s mature, genetic account of freedom: the transition from indeterminacy to determinacy.

A core feature of Kant’s Critical account of moral motivation is that pure reason can be practical by itself. I argue that Kant developed this view in the 1770s concerning the principium diiudicationis and principium executionis. These principles indicate the normative and performative aspects of moral motivation. I demonstrate that cognition of the normative principle effects the moral incentive. So, the hallmark of Kant’s Critical account of motivation was contained in his pre-Critical view. This interpretation resolves a controversy about Kant’s (...) apparent eudaimonism in the first Critique and shows that he developed his account of moral autonomy in the 1770s. (shrink)

A theory of the first-person plural occupies a unique place in philosophical investigations into intersubjectivity and social cognition. In order for the referent of the first-person plural—“the We”—to come into existence, it seems there must be a shared ground of communicative possibility, but this requires a non-circular explanation of how this ground could be shared in the absence of a pre-existing context of communicative conventions. Margaret Gilbert’s and John Searle’s theories of collective intentionality capture important aspects of the We, but (...) fail to fully account for this shared ground of communicative possibility. This paper argues that Merleau-Ponty’s concept of intercorporeity helps reconcile the positive aspects of these accounts while also explaining how the genesis of the social world is continuous with perceptual life in general. This enables an account of the first-person plural as dependent on reciprocal communicative interaction without the need to posit a primitive or primordial “we-mode” of consciousness. “Intercorporeity” designates a bodily openness to others that is not fundamentally different in kind from the general style of bodily comportment found in Merleau-Ponty’s rich analyses of perceptual life. (shrink)

This paper argues for a Husserlian account of phenomenal intentionality. Experience is intentional insofar as it presents a mind-independent, objective world. Its doing so is a matter of the way it hangs together, its having a certain structure. But in order for the intentionality in question to be properly understood as phenomenal intentionality, this structure must inhere in experience as a phenomenal feature. Husserl’s concept of horizon designates this intentionality-bestowing experiential structure, while his concept of motivation designates the unique phenomenal (...) character of this structure as it is experientially lived through. The way experience hangs together is itself a phenomenal feature of experience. (shrink)

Husserl introduces a phenomenological concept called “motivation” early in the First Investigation of his magnum opus, the Logical Investigations. The importance of this concept has been overlooked since Husserl passes over it rather quickly on his way to an analysis of the meaningful nature of expression. I argue, however, that motivation is essential to Husserl’s overall project, even if it is not essen- tial for defining expression in the First Investigation. For Husserl, motivation is a relation between mental acts whereby (...) the content of one act make some fur- ther meaningful content probable. I explicate the nature of this relation in terms of “evidentiary weight” and differentiate it from Husserl’s notion of Evidenz, often translated as “self-evidence”. I elucidate the importance of motivation in Husserl’s overall phenomenological project by focusing on his analyses of thing-perception and empathy. Through these examples, we can better understand the continuity between the Logical Investigations and Husserl’s later work. (shrink)

K.L. Reinhold advocates a theory of free will as the capacity to choose for or against the moral law. Reinhold’s theory has often been accused of being psychologistic due to its alleged appeal to empirical facts of consciousness. This paper argues that instead of merely positing free will as a fact of consciousness, Reinhold provides an argument for free will as a necessary condition for moral responsibility. This sheds new light on the development of the concept of will in the (...) wake of Kant’s practical philosophy. (shrink)

We take ourselves to have an inner life of thought, and we take ourselves to be capable of linguistically expressing our thoughts to others. But what is the nature of this “inner life” of thought? Is conscious thought necessarily carried out in language? This paper takes up these questions by examining Merleau-Ponty’s theory of expression. For Merleau-Ponty, language expresses thought. Thus it would seem that thought must be independent of, and in some sense prior to, the speech that expresses it. (...) He also claims, however, that thinking just is linguistic expression, and thus that language constitutes thought. The primary aim of this paper is to make sense of this constitutive claim while maintaining that, for Merleau-Ponty, there is an inner life of thought that exists independently of linguistic expression, and that this inner life rightly deserves the label “thought”. The upshot of this account is twofold. First, it explains why the mainstream view of Merleau-Ponty’s theory of expression seems plausible, but is ultimately inadequate. Second, it functions as a corrective to contemporary debates about the nature and scope of phenomenal consciousness and the sense in which conscious experience has content. (shrink)

This paper presents an account of empathy as the form of experience directed at embodied unities of expressive movement. After outlining the key differences between simulation theory and the phenomenological approach to empathy, the paper argues that while the phenomenological approach is closer to respecting a necessary constitutional asymmetry between first-personal and second-personal senses of embodiment, it still presupposes a general concept of embodiment that ends up being problematic. A different account is proposed that is neutral on the explanatory role (...) of the first-person sense of embodiment, which leads to an emphasis on the transformative nature of empathy and a broadening of the scope of possible targets of empathic awareness. (shrink)

This paper responds to recent work in the philosophy of Homotopy Type Theory by James Ladyman and Stuart Presnell. They consider one of the rules for identity, path induction, and justify it along ‘pre-mathematical’ lines. I give an alternate justification based on the philosophical framework of inferentialism. Accordingly, I construct a notion of harmony that allows the inferentialist to say when a connective or concept is meaning-bearing and this conception unifies most of the prominent conceptions of harmony through category theory. (...) This categorical harmony is stated in terms of adjoints and says that any concept definable by iterated adjoints from general categorical operations is harmonious. Moreover, it has been shown that identity in a categorical setting is determined by an adjoint in the relevant way. Furthermore, path induction as a rule comes from this definition. Thus we arrive at an account of how path induction, as a rule of inference governing identity, can be justified on mathematically motivated grounds. (shrink)

This paper brings together several strands of thought from both the analytic and phenomenological traditions in order to critically examine accounts of cognitive enhancement that rely on the idea of cognitive extension. First, I explain the idea of cognitive extension, the metaphysics of mind on which it depends, and how it has figured in recent discussions of cognitive enhancement. Then, I develop ideas from Husserl that emphasize the agential character of thought and the distinctive way that conscious thoughts are related (...) to one another. I argue that these considerations are necessary for understanding why forms of cognitive extension may diminish our cognitive lives in different ways. This does not lead to a categorical rejection of cognitive enhancement as unethical or bad for human flourishing, but does warrant a conservative approach to the design and implementation of cognitive artifacts. (shrink)

A crucial part of the contemporary interest in logicism in the philosophy of mathematics resides in its idea that arithmetical knowledge may be based on logical knowledge. Here an implementation of this idea is considered that holds that knowledge of arithmetical principles may be based on two things: (i) knowledge of logical principles and (ii) knowledge that the arithmetical principles are representable in the logical principles. The notions of representation considered here are related to theory-based and structure-based notions of representation (...) from contemporary mathematical logic. It is argued that the theory-based versions of such logicism are either too liberal (the plethora problem) or are committed to intuitively incorrect closure conditions (the consistency problem). Structure-based versions must on the other hand respond to a charge of begging the question (the circularity problem) or explain how one may have a knowledge of structure in advance of a knowledge of axioms (the signature problem). This discussion is significant because it gives us a better idea of what a notion of representation must look like if it is to aid in realizing some of the traditional epistemic aims of logicism in the philosophy of mathematics. (shrink)

Husserlian phenomenology, as the study of conscious experience, has often been accused of solipsism. Husserl’s method, it is argued, does not have the resources to provide an account of consciousness of other minds. This chapter will address this issue by providing a brief overview of the multiple angles from which Husserl approached the theme of intersubjectivity, with specific focus on the details of his account of the concrete interpersonal encounter – “empathy.” Husserl understood empathy as a direct, quasi-perceptual form of (...) intentionality through which the sense of the Other is constituted. Furthermore, his account of empathy is holistically integrated with his overall theory of intersubjectivity, including his discussions of the objectivity of nature, and the social, historical, and communal aspects of subjectivity. Husserl’s theory of empathy continues to cast a long shadow, influencing both the analytic and continental approaches to the problem of other minds, as well as contemporary account of social cognition in the cognitive sciences. (shrink)

Anydomainofscientificresearchhasitssustainingorthodoxy. Thatis, research on a problem, whether in astronomy, physics, or biology, is con- ducted against a backdrop of broadly shared assumptions. It is these as- sumptionsthatguideinquiryandprovidethecanonofwhatisreasonable-- of what "makes sense." And it is these shared assumptions that constitute a framework for the interpretation of research results. Research on the problem of how we see is likewise sustained by broadly shared assump- tions, where the current orthodoxy embraces the very general idea that the business of the visual system is to (...) create a detailed replica of the visual world, and that it accomplishes its business via hierarchical organization and by operatingessentiallyindependently of other sensorymodalitiesas well as independently of previous learning, goals, motor planning, and motor execution. (shrink)

In a letter to William Molyneux John Locke states that in reviewing his chapter 'Of Power' for the second edition of An Essay Concerning Human Understanding he noticed that he had made one mistake which, now corrected, has put him "into a new view of things" which will clarify his account of human freedom. Locke says the mistake was putting “things for actions” on p.123 of the first edition, a page on which the word 'things' does not appear (The Correspondence (...) of John Locke. E.S. de Beer, ed. (Oxford: Clarendon, 1976), Vol.4, no.1643, 15 July, 1693.) It is the aim of this paper to (1) elucidate where the correction occurs, (2) give an analysis of why the correction is needed, and (3) give an explanation of why Locke believed replacing 'things' with 'actions' was an important change. (shrink)

My aim in this paper is to determine how Locke understands suspension and the role it plays in his view of human liberty. To this end I, 1) discuss the deficiencies of the first edition version of ‘Of Power’ and why Locke needed to include the ability to suspend in the second edition, then 2) analyze Locke’s definitions of the power to suspend with a focus on his use of the terms ‘source’, ‘hinge’, and ‘inlet’ to describe the power. I (...) determine from these descriptions that the ability to suspend is a passive power and is a necessary condition for the rational deliberation that Locke takes to be necessary for acting as a free agent. In 3) I connect Locke’s view of the power to suspend to his discussion in the sections that precede ‘Of Power.’ I argue that the kind of judgment that Locke endorses in his discussion of the Molyneux problem is also at work in acts of suspension. In 4) I apply my interpretation to Locke’s description of the connection between the power to suspend and liberty. In 5) I conclude with a discussion of a passage from the fifth edition of the Essay. Locke adds this passage to address worries raised by Limborch over the course of their correspondence. According to Chappell, it lends evidence to the view that Locke takes suspensions to be caused by undetermined volitions. (shrink)

Definition of the problem The umbrella term “explicability” refers to the reduction of opacity of artificial intelligence (AI) systems. These efforts are challenging for medical AI applications because higher accuracy often comes at the cost of increased opacity. This entails ethical tensions because physicians and patients desire to trace how results are produced without compromising the performance of AI systems. The centrality of explicability within the informed consent process for medical AI systems compels an ethical reflection on the trade-offs. Which (...) levels of explicability are needed to obtain informed consent when utilizing medical AI? Arguments We proceed in five steps: First, we map the terms commonly associated with explicability as described in the ethics and computer science literature, i.e., disclosure, intelligibility, interpretability, and explainability. Second, we conduct a conceptual analysis of the ethical requirements for explicability when it comes to informed consent. Third, we distinguish hurdles for explicability in terms of epistemic and explanatory opacity. Fourth, this then allows to conclude the level of explicability physicians must reach and what patients can expect. In a final step, we show how the identified levels of explicability can technically be met from the perspective of computer science. Throughout our work, we take diagnostic AI systems in radiology as an example. Conclusion We determined four levels of explicability that need to be distinguished for ethically defensible informed consent processes and showed how developers of medical AI can technically meet these requirements. (shrink)

Why are natural theories pre-well-ordered by consistency strength? In previous work, an approach to this question was proposed. This approach was inspired by Martin's Conjecture, one of the most prominent conjectures in recursion theory. Fixing a reasonable subsystem $T$ of arithmetic, the goal was to classify the recursive functions that are monotone with respect to the Lindenbaum algebra of $T$. According to an optimistic conjecture, roughly, every such function must be equivalent to an iterate $\mathsf{Con}_T^\alpha$ of the consistency operator ``in (...) the limit'' within the ultrafilter of sentences that are true in the standard model. In previous work the author established the first case of this optimistic conjecture; roughly, every recursive monotone function is either as weak as the identity operator in the limit or as strong as $\mathsf{Con}_T$ in the limit. Yet in this note we prove that this optimistic conjecture fails already at the next step; there are recursive monotone functions that are neither as weak as $\mathsf{Con}_T$ in the limit nor as strong as $\mathsf{Con}_T^2$ in the limit. In fact, for every $\alpha$, we produce a function that is cofinally equivalent to $\mathsf{Con}^\alpha_T$ yet cofinally equivalent to $\mathsf{Con}_T$. (shrink)

The Preface Paradox is often discussed for its implications for rational belief. Much less discussed is a variant of the Preface Paradox for knowledge. In this paper, I argue that the most plausible closure-friendly resolution to the Preface Paradox for Knowledge is to say that in any given context, we do not know much. I call this view “Socraticism”. I argue that Socraticism is the most plausible view on two accounts—(1) this view is compatible with the claim that most of (...) our knowledge ascriptions are true, and (2) provided that (1) is true, the costs of accepting Socraticism are much less than the costs of accepting any other resolution to the Paradox. I argue for (1) in Section 2 by developing a question-sensitive contextualist model for knowledge that shows how Socraticism is compatible with the claim that most of our knowledge ascriptions are true. I also argue how this contextualist model can achieve this result where other contextualist models fail. I then consider other closure-friendly solutions to the paradox in Section 3 and show how accepting those solutions forces us to give up a number of plausible epistemic principles. (shrink)

This paper investigates the relationship between Reinhold’s account of free will and Kant’s account in the Religion. This relationship is important because Reinhold considered Kant’s treatment of free will in the Religion to confirm his own view that freedom consists in the capacity to choose for or against the moral law. I argue that despite their shared commitment to freedom as a necessary condition for imputation, these two thinkers have disparate conceptions of the ground for the exercise of free will. (...) This difference indicates difficulties in their respective accounts. (shrink)

Despite considerable growth in understanding of various aspects of sporting and exercise embodiment over the last decade, in-depth investigations of embodied affectual experiences in running remain limited. Furthermore, within the corpus of literature investigating pleasure and the hedonic dimension in running, much of this research has focused on experiences of pleasure in relation to performance and achievement, or on specific affective states, such as enjoyment, derived after completing a run. We directly address this gap in the qualitative literature on sporting (...) and exercise embodiment by contributing novel insights on the mind-body pleasures of running via focusing analytic attention towards the pleasures recalled by runners as experienced during positive, rewarding running experiences. Applying conceptual insights drawn from sociological phenomenology, we analyse data from an in-depth, event-focused interview study with distance runners who reported positive, rewarding experiences in recent recreational runs. Through reflexive thematic analysis, we present findings in relation to three themes: (1) ‘running feels like it should’; (2) sensory engagements; and (3) time out. The study contributes fresh perspectives, both conceptually and in relation to data-collection approach, to a small literature on the lived experience of pleasure in sport, exercise and physical cultures. (shrink)

There are infinitely many ways the world might be, and there may well be infinitely many people in it. These facts raise moral paradoxes. We explore a conflict between two highly attractive principles: a Pareto principle that says that what is better for everyone is better overall, and a statewise dominance principle that says that what is sure to turn out better is better on balance. We refine and generalize this paradox, showing that the problem is faced by many theories (...) of interpersonal aggregation besides utilitarianism, and by many decision theories besides expected value theory. Considering the range of consistent responses, we find all of them to be quite radical. (shrink)

In this article, I will provide a critical overview of the form of non-deductive reasoning commonly known as “Inference to the Best Explanation” (IBE). Roughly speaking, according to IBE, we ought to infer the hypothesis that provides the best explanation of our evidence. In section 2, I survey some contemporary formulations of IBE and highlight some of its putative applications. In section 3, I distinguish IBE from C.S. Peirce’s notion of abduction. After underlining some of the essential elements of IBE, (...) the rest of the entry is organized around an examination of various problems that IBE confronts, along with some extant attempts to address these problems. In section 4, I consider the question of when a fact requires an explanation, since presumably IBE applies only in cases where some explanation is called for. In section 5, I consider the difficult question of how we ought to understand IBE in light of the fact that among philosophers, there is significant disagreement about what constitutes an explanation. In section 6, I consider different strategies for justifying the truth-conduciveness of the explanatory virtues, e.g., simplicity, unification, scope, etc., criteria which play an indispensable role in any given application of IBE. In section 7, I survey some of the most recent literature on IBE, much of which consists of investigations of the status of IBE from the standpoint of the Bayesian philosophy of science. (shrink)

In 2016, Colin Kaepernick, a quarterback for the San Francisco 49ers, remained seated during the national anthem in order to protest racial injustice and police brutality against African-Americans. After consulting with National Football League and military veteran Nate Boyer, Kaepernick switched to taking a knee during the anthem for the remainder of the season. Several NFL players and other professional athletes subsequently adopted this gesture. This article brings together complementary Confucian and phenomenological analyses to elucidate the significance of Kaepernick’s gesture, (...) and in the process provide a phenomenological characterization of the connection between the Confucian notions of sagehood and ritual. Kaepernick’s gesture subverts the anthem ritual from within while simultaneously remaining faithful to the ideals it is meant to express. Furthermore, it institutes a new bodily form of patriotic self-expression compatible with both American and Confucian ideals. (shrink)

BioPortal is a Web portal that provides access to a library of biomedical ontologies and terminologies developed in OWL, RDF(S), OBO format, Protégé frames, and Rich Release Format. BioPortal functionality, driven by a service-oriented architecture, includes the ability to browse, search and visualize ontologies (Figure 1). The Web interface also facilitates community-based participation in the evaluation and evolution of ontology content.

Whether perceptual experience represents high-level properties like causation and natural-kind in virtue of its phenomenology is an open question in philosophy of mind. While the question of high-level properties has sparked disagreement, there is widespread agreement that the sensory phenomenology of perceptual experience presents us with low-level properties like shape and color. This paper argues that the relationship between the sensory character of experience and the low-level properties represented therein is more complex than most assume. Careful consideration of mundane examples, (...) like looking at a coin from an oblique angle, show that the low-level properties represented in experience do not necessarily figure in the sensory character of the experience. Furthermore, the sensible properties invoked when characterizing the sensory character of a perceptual experience are not necessarily included in the sensible properties represented in a perceptual experience. On this basis it is argued that perceptual experience has a disunified metaphysics, consisting in distinct sensory and cognitive components. The account is developed in relation to existing unified and disunified accounts, and discussed in terms of its implications for cognitive penetration, the reliability of introspection, the transparency of experience, and cognitive phenomenology. (shrink)

Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the set of (...) theorems. The concept of an accessible domain comes from Wilfried Sieg's analysis of proof-theoretic practices, starting with his dissertation. In particular, he noticed the special epistemological character of elements of an accessible domain: they can always be uniquely identified with their build-up. Generally, the unique build-up of elements justifies the principles of induction and recursion. -/- I use category theory to give an abstract characterization of accessible domains. I claim that accessible domains are all instances of initial algebras for endofunctors. Grounded in the historical roots of Sieg's discussions, this dissertation shows how the properties of initial algebras for endofunctors and accessible domains coincide in a satisfying and natural way. -/- Filling out this characterization, I show how important examples of accessible domains fit into this broad characterization. I first characterize some accessible domains by relatively simple functors (e.g. finite, polynomial, those that preserve certain colimits) where we can see how iterating the functor can produce the accessible domain. Then I describe accessible domains that result from more involved specifications (e.g. ordinals and segments of the cumulative hierarchies associated with CZF, IZF, and ZF) by relying heavily on algebraic set theory. I end with a discussion of some of the methodological features of category theory in particular that helped characterize accessible domains. (shrink)

It is very natural to think that if two people, x and y, are qualitatively identical and have committed qualitatively identical actions, then it cannot be the case that one has committed something wrong whereas the other did not. That is to say, if x and y differ in their moral status, then it must be because x and y are qualitatively different, and not simply because x is identical to x and not identical to y. In this fictional dialogue (...) between Socrates and Cantor involving infinitely many qualitatively identical agents, this assumption is challenged. (shrink)

If a future AI system can enjoy far more well-being than a human per resource, what would be the best way to allocate resources between these future AI and our future descendants? It is obvious that on total utilitarianism, one should give everything to the AI. However, it turns out that every Welfarist axiology on the market also gives this same recommendation, at least if we assume consequentialism. Without resorting to non-consequentialist normative theories that suggest that we ought not always (...) create the world with the most value, or non-welfarist theories that tell us that the best world may not be the world with the most welfare, I propose a new theory that justifies giving some resources to humanity in the face of overwhelming AI well-being. I call this new theory, “Group Prioritarianism". (shrink)

C.C.E. Schmid’s doctrine of intelligible fatalism was immensely influential in the immediate reception of Kant’s philosophy. Existing treatments of this doctrine, largely neglected by modern scholarship, echo uncharitable interpretations espoused by Schmid’s contemporaries. I demonstrate that Schmid’s intelligible fatalism is more coherent and philosophically robust than hitherto recognized. I argue for a novel interpretation of Schmid’s account of rational agency, showing that intelligible fatalism is compatible with his conceptions of freedom, obligation, and imputation. Specifically, I argue that the role of (...) consciousness in this account carves out conceptual space for a distinction between the theoretical and the practical that is sufficient to render intelligible fatalism consistent with these conceptions. (shrink)

This project has been supported by the Australian Government through the Australian Research Council (project number CS170100008); the Department of Industry, Innovation and Science; and the Department of Prime Minister and Cabinet. ACOLA collaborates with the Australian Academy of Health and Medical Sciences and the New Zealand Royal Society Te Apārangi to deliver the interdisciplinary Horizon Scanning reports to government. The aims of the project which produced this report are: 1. Examine the transformative role that artificial intelligence may play in (...) different sectors of the economy, including the opportunities, risks and challenges that advancement presents. 2. Examine the ethical, legal and social considerations and frameworks required to enable and support broad development and uptake of artificial intelligence. 3. Assess the future education, skills and infrastructure requirements to manage workforce transition and support thriving and internationally competitive artificial intelligence industries. (shrink)

Purpose: The method of diagnosing diabetic retinopathy (DR) through artificial intelligence (AI)-based systems has been commercially available since 2018. This introduces new ethical challenges with regard to obtaining informed consent from patients. The purpose of this work is to develop a checklist of items to be disclosed when diagnosing DR with AI systems in a primary care setting. -/- Methods: Two systematic literature searches were conducted in PubMed and Web of Science databases: a narrow search focusing on DR and a (...) broad search on general issues of AI-based diagnosis. An ethics content analysis was conducted inductively to extract two features of included publications: (1) novel information content for AI-aided diagnosis and (2) the ethical justification for its disclosure. -/- Results: The narrow search yielded n = 537 records of which n = 4 met the inclusion criteria. The information process was scarcely addressed for primary care setting. The broad search yielded n = 60 records of which n = 11 were included. In total, eight novel elements were identified to be included in the information process for ethical reasons, all of which stem from the technical specifics of medical AI. -/- Conclusions: Implications for the general practitioner are two-fold: First, doctors need to be better informed about the ethical implications of novel technologies and must understand them to properly inform patients. Second, patient's overconfidence or fears can be countered by communicating the risks, limitations, and potential benefits of diagnostic AI systems. If patients accept and are aware of the limitations of AI-aided diagnosis, they increase their chances of being diagnosed and treated in time. (shrink)

In this paper, I describe some strategies for teaching an introductory philosophy of science course to Science, Technology, Engineering, and Mathematics (STEM) students, with reference to my own experience teaching a philosophy of science course in the Fall of 2020. The most important strategy that I advocate is what I call the “Second Philosophy” approach, according to which instructors ought to emphasize that the problems that concern philosophers of science are not manufactured and imposed by philosophers from the outside, but (...) rather are ones that arise internally, during the practice of science itself. To justify this approach, I appeal to considerations from both educational research and the epistemology of testimony. In addition, I defend some distinctive learning goals that philosophy of science instructors ought to adopt when teaching STEM students, which include rectifying empirically well-documented shortcomings in students’ conceptions of the “scientific method” and the “nature of science.” Although my primary focus will be on teaching philosophy of science to STEM students, much of what I propose can be applied to non-philosophy majors generally. Ultimately, as I argue, a successful philosophy of science course for non-philosophy majors must be one that advances a student’s science education. The strategies that I describe and defend here are aimed at precisely that end. (shrink)

Recent years have witnessed intensive efforts to specify which requirements ethical artificial intelligence (AI) must meet. General guidelines for ethical AI consider a varying number of principles important. A frequent novel element in these guidelines, that we have bundled together under the term explicability, aims to reduce the black-box character of machine learning algorithms. The centrality of this element invites reflection on the conceptual relation between explicability and the four bioethical principles. This is important because the application of general ethical (...) frameworks to clinical decision-making entails conceptual questions: Is explicability a free-standing principle? Is it already covered by the well-established four bioethical principles? Or is it an independent value that needs to be recognized as such in medical practice? We discuss these questions in a conceptual-ethical analysis, which builds upon the findings of an empirical document analysis. On the example of the medical specialty of radiology, we analyze the position of radiological associations on the ethical use of medical AI. We address three questions: Are there references to explicability or a similar concept? What are the reasons for such inclusion? Which ethical concepts are referred to? (shrink)

La pensée de Heidegger sur le dieu cherche à trouver, retrouver ou découvrir pour celui-ci et dans son histoire une dimension originaire et inaugurale et en même temps non-métaphysique, une voix qui parle dans un autre langage à venir et qui soit celle du monde et des mortels. Cette considération du dieu se rencontre aussi dans les tentaives mystiques d'Orient, en particulier dans le soufisme de la voie (tarika, طريقة) d'Ibn 'Arabi, qui retrouve son dieu autrement que dans sa dimension (...) de créateur. Ce dieu se révèle comme intrinsèque au monde - il n'est jamais sans monde, et surtout il s'avère avoir l'homme pour gardien, pour berger de sa parole et de ce même monde. Le points de convergence des deux pensées sont multiples. Nous offrons ici l'ébauche d'un dialogue qui s'avérera certainement très fructueux pour la pensée du dieu, surtout compte tenu des recherches actuelles concernant le sens du spirituel et du religieux. Le recueillement, l'intériorité qui dépasse la volonté et le défi qu'ils posent à la subjectivité sont au cœur des articlations que nous établissons das ce texte. (shrink)

In this chapter we take stock of some of the complexities of the sprawling field of AI ethics. We consider questions like "what is the proper scope of AI ethics?" And "who counts as an AI ethicist?" At the same time, we flag several potential uses and abuses of AI ethics. These include challenges for the AI ethicist, including what qualifications they should have; the proper place and extent of futuring and speculation in the field; and the dilemmas concerning how (...) we use our public and academic resources. (shrink)

This paper brings new work to bear on the perennial question about Hobbes's atheism to show that as a debate about scepticism it is falsely framed. Hobbes, like fellow members of the Mersenne circle, Descartes and Gassendi, was no sceptic, but rather concerned to rescue physics and metaphysics from radical scepticism by exploring corporealism. In his early letter of November 1640, Hobbes had issued a provocative challenge to Descartes to abandon metaphysical dualism and subscribe to a ?corporeal God?; a provocation (...) to which the Frenchman angrily responded, but was perhaps importantly influenced. Hobbes's minimal realism was consonant with atheism, to which Descartes felt he was being forced. Moreover, Hobbes was unrelenting in his battle against Cartesian dualism, for which he saw Robert Boyle's experimental science as a surrogate. (shrink)

In this article, I consider an important challenge to the popular theory of scientific inference commonly known as ‘inference to the best explanation’, one that has received scant attention.1 1 The problem is that there exists a wide array of rival models of explanation, thus leaving IBE objectionably indeterminate. First, I briefly introduce IBE. Then, I motivate the problem and offer three potential solutions, the most plausible of which is to adopt a kind of pluralism about the rival models of (...) explanation. However, I argue that how ranking explanations on this pluralistic account of IBE remains obscure and pluralism leads to contradictory results. In light of these objections, I attempt to dissolve the problem by showing why IBE does not require a ‘model’ of explanation and by giving an account of what explanation consists in within the context of IBE. (shrink)

In this paper, I offer an analysis of the radical disagreement over the adequacy of string theory. The prominence of string theory despite its notorious lack of empirical support is sometimes explained as a troubling case of science gone awry, driven largely by sociological mechanisms such as groupthink (e.g. Smolin 2006). Others, such as Dawid (2013), explain the controversy by positing a methodological revolution of sorts, according to which string theorists have quietly turned to nonempirical methods of theory assessment given (...) the technological inability to directly test the theory. The appropriate response, according to Dawid, is to acknowledge this development and widen the canons of acceptable scientific methods. As I’ll argue, however, the current situation in fundamental physics does not require either of these responses. Rather, as I’ll suggest, much of the controversy stems from a failure to properly distinguish the “context of justification” from the “context of pursuit”. Both those who accuse string theorists of betraying the scientific method and those who advocate an enlarged conception of scientific methodology objectionably conflate epistemic justification with judgements of pursuit-worthiness. Once we get clear about this distinction and about the different norms governing the two contexts, the current situation in fundamental physics becomes much less puzzling. After defending this diagnosis of the controversy, I’ll show how the argument patterns that have been posited by Dawid as constituting an emergent methodological revolution in science are better off if reworked as arguments belonging to the context of pursuit. (shrink)

Amazon Book Review Series of “Wild Wise Weird”.

Buddhist philosophy asserts that human suffering is caused by ignorance regarding the true nature of reality. According to this, perceptions and thoughts are largely fabrications of our own minds, based on conditioned tendencies which often involve problematic fears, aversions, compulsions, etc. In Buddhist psychology, these tendencies reside in a portion of mind known as Store consciousness. Here, I suggest a correspondence between this Buddhist Store consciousness and the neuroscientific idea of stored synaptic weights. These weights are strong synaptic connections built (...) in through experience. Buddhist philosophy claims that humans can find relief from suffering through a process in which the Store consciousness is transformed. Here, I argue that this Buddhist 'transformation at the base' corresponds to a loosening of the learned synaptic connections. I will argue that Buddhist meditation practices create conditions in the brain which are optimal for diminishing the strength of our conditioned perceptual and behavioural tendencies. (shrink)

Reformation commentators were well aware of the allegorical referents for Leviathan and Behemoth in the book of Job, representing the powerful states of Ancient Egypt and Assyria, but played them down. Hobbes did not.

How could ectogestative technology disrupt gender roles, parenting practices, and concepts such as ‘birth’, ‘body’, or ‘parent’? In this chapter, we situate this emerging technology in the context of the history of reproductive technologies and analyse the potential social and conceptual disruptions to which it could contribute. An ectogestative device, better known as ‘artificial womb’, enables the extra-uterine gestation of a human being, or mammal more generally. It is currently developed with the main goal of improving the survival chances of (...) extremely premature neonates. We argue that the intended use of the technology in neonatal intensive care units, as an alternative to current incubators (’partial-ectogestation’), challenges concepts such as ‘birth’, ‘fetus’, and ‘neonate’, and has several ethico-legal implications. We moreover address a more futuristic scenario where the entire embryological and fetal development could happen within an artificial womb (’full-ectogestation’). Such a scenario reveals the disruption of gender roles, parenting practices, and concepts such as ‘mother’, ‘father’, and ‘parent’. Both full- and partial-ectogestation would have implications for engineering and design, law-making, ethics, and philosophical anthropology. (shrink)

In this paper, I critically evaluate several related, provocative claims made by proponents of data-intensive science and “Big Data” which bear on scientific methodology, especially the claim that scientists will soon no longer have any use for familiar concepts like causation and explanation. After introducing the issue, in Section 2, I elaborate on the alleged changes to scientific method that feature prominently in discussions of Big Data. In Section 3, I argue that these methodological claims are in tension with a (...) prominent account of scientific method, often called “Inference to the Best Explanation”. Later on, in Section 3, I consider an argument against IBE that will be congenial to proponents of Big Data, namely, the argument due to Roche and Sober Analysis, 73:659–668, that “explanatoriness is evidentially irrelevant.” This argument is based on Bayesianism, one of the most prominent general accounts of theory-confirmation. In Section 4, I consider some extant responses to this argument, especially that of Climenhaga Philosophy of Science, 84:359–368,. In Section 5, I argue that Roche and Sober’s argument does not show that explanatory reasoning is dispensable. In Section 6, I argue that there is good reason to think explanatory reasoning will continue to prove indispensable in scientific practice. Drawing on Cicero’s oft-neglected De Divinatione, I formulate what I call the “Ciceronian Causal-nomological Requirement”, which states, roughly, that causal-nomological knowledge is essential for relying on correlations in predictive inference. I defend a version of the CCR by appealing to the challenge of “spurious correlations,” chance correlations which we should not rely upon for predictive inference. In Section 7, I offer some concluding remarks. (shrink)