The application of artificial intelligence and machine learning technologies in healthcare have immense potential to improve the care of patients. While there are some emerging practices surro...

In a discussion of Parfit's Drops of Water case, Zach Barnett has recently proposed a novel argument against “No Small Improvement”; that is, the claim that a single drop of water cannot affect the magnitude of a thirsty person's suffering. We first show that Barnett's argument can be significantly strengthened, and also that the fundamental idea behind it yields a straightforward argument for the transitivity of equal suffering. We then suggest that defenders of No Small Improvement could reject a Pareto (...) principle that is presupposed in Barnett's argument and our developments of it. However, this does not save No Small Improvement, since there is a convincing argument against this claim that does not presuppose the Pareto principle. (shrink)

One can be reproached for not remembering. Remembering and forgetting shows who and what one values. Indeed, memory is constitutively normative. Theoretical approaches to memory should be sensitive to this normative character. We will argue that traditional views that consider memory as the storing and retrieval of mental content, fail to consider the practices we need for telling the truth about our past. We introduce the Radically Enactive view of Cognition, or REC, as well-placed to recognize the central role of (...) norms in remembering. Crucially, REC construes all remembering as “something we do”, and the most sophisticated forms of remembering as things we collectively do, answerable to socioculturally established practices. On this view our mnemonic performances cannot avoid re-shaping our collective ways of doing and seeing going forward. By REC’s lights therefore, the “is” of memory is “oughty” through and through. (shrink)

This chapter considers the present account to be a sufficient response to the generality problem as an objection that specifically targets reliabilism. It identifies the main challenge for reliabilism in relation to the typing of belief‐forming processes. The chapter focuses on insights in cognitive science in a way that should make this response attractive to practitioners of naturalized epistemology, including Goldman himself. The most stimulating part of Conee and Feldman's attack can charitably be viewed as targeting the notion that the (...) reliabilist concepts of knowledge and justification are sufficiently similar to their folk counterparts. The chapter focuses for simplicity on the reliabilist theory of justification (RJ) and on Conee and Feldman's criticism as targeting the faithfulness of RJ with regard to everyday concept of justification. For the purposes of neutralizing Conee and Feldman's central challenge it was sufficient to give a purely descriptive account of how people type belief‐forming processes. (shrink)

While the tradition of Locke scholarship holds that both Locke and Boyle are species anti-realists, there is evidence that this interpretation is false. Specifically, there has been some recent work on Boyle showing that he is, unlike Locke, a species realist. In this paper I argue that once we see Boyle as a realist about natural species, it is plausible to read some of Locke’s most formidable anti-realist arguments as directed specifically at Boyle’s account of natural species. This is a (...) break from the tradition because no one in the literature has yet suggested that some of Locke’s arguments in Book III of the Essay include a criticism of Boyle’s doctrine of species. Moreover, identifying Boyle as Locke’s intended target illuminates some of the more vexing passages in the Essay concerning real essences. (shrink)

We develop a constructive version of nonstandard analysis, extending Bishop's constructive analysis with infinitesimal methods. A full transfer principle and a strong idealisation principle are obtained by using a sheaf-theoretic construction due to I. Moerdijk. The construction is, in a precise sense, a reduced power with variable filter structure. We avoid the nonconstructive standard part map by the use of nonstandard hulls. This leads to an infinitesimal analysis which includes nonconstructive theorems such as the Heine-Borel theorem, the Cauchy-Peano existence theorem (...) for ordinary differential equations and the exact intermediate-value theorem, while it at the same time provides constructive results for concrete statements. A nonstandard measure theory which is considerably simpler than that of Bishop and Cheng is developed within this context. (shrink)

In this paper we argue that in recent literature on mechanistic explanations, authors tend to conflate two distinct features that mechanistic models can have or fail to have: plausibility and richness. By plausibility, we mean the probability that a model is correct in the assertions it makes regarding the parts and operations of the mechanism, i.e., that the model is correct as a description of the actual mechanism. By richness, we mean the amount of detail the model gives about the (...) actual mechanism. First, we argue that there is at least a conceptual reason to keep these two features distinct, since they can vary independently from each other: models can be highly plausible while providing almost no details, while they can also be highly detailed but plainly wrong. Next, focusing on Craver's continuum of ?how-possibly,? to ?how-plausibly,? to ?how-actually? models, we argue that the conflation of plausibility and richness is harmful to the discussion because it leads to the view that both are necessary for a model to have explanatory power, while in fact, richness is only so with respect to a mechanism's activities, not its entities. This point is illustrated with two examples of functional models. (shrink)

In the present paper we introduce a constructive theory of nonstandard arithmetic in higher types. The theory is intended as a framework for developing elementary nonstandard analysis constructively. More specifically, the theory introduced is a conservative extension of HAω + AC. A predicate for distinguishing standard objects is added as in Nelson's internal set theory. Weak transfer and idealisation principles are proved from the axioms. Finally, the use of the theory is illustrated by extending Bishop's constructive analysis with infinitesimals.

For more than 20 years, sustainable development has been advocated as a way of tackling growing global environmental and social problems. The sustainable development discourse has always had a strong technological component and the literature boasts an enormous amount of debate on which technologies should be developed and employed and how this can most efficiently be done. The mainstream discourse in sustainable development argues for an eco-efficiency approach in which a technology push strategy boosts efficiency levels by a factor 10 (...) and more in industrialised and developing countries. A minority argues for a socio-cultural lifestyle switch, relying on new values, quality of life, sufficiency and redistribution strategies, with calls for appropriate and soft technologies. It is remarkable, however, that the articles, books and policy debates on sustainability seldom explicitly draw in a discussion of the nature of technology, how technology influences and is influenced by society, and what this implies for sustainable development. The mainstream interprets technology as neutral and instrumental: technology is no more than an instrument to reach a goal; it cannot be judged on its intrinsic characteristics, only on its use. The alternative view often builds on an autonomous and substantive interpretation of technology: technology is an autonomous, almost uncontrollable power that fundamentally reshapes our culture. A more balanced approach seems to be growing in the research on socio-technical sustainability transitions where the focus shifts to the co-evolution of technology and society, and to the networks, seamless webs and complex multi-actor processes that may carry a sustainability transition forward. This approach builds on insights from recent traditions in the philosophy and sociology of technology, in particular the social construction of technology (SCOT) and actor-network theory (ANT). While this provides for a better understanding of the nature and potential role of technology in sustainability policies, it remains to be seen whether it will actually influence the choice between technologies. This article investigates the different conceptualisations of technology in the sustainability debate. It first distinguishes between different approaches of sustainability and how these are related to differing views on technology. It then moves on to how the socio-technical transitions research incorporates insights from contemporary philosophy and sociology of technology. It reflects on the potential of transitions research to give guidance in technology choices, suggesting that the transition approach might be strengthened by drawing in insights from critical theory of technology and by taking a more political stance in defining sustainable development. (shrink)

We interpret intuitionistic theories of (iterated) strictly positive inductive definitions (s.p.-ID i′ s) into Martin-Löf's type theory. The main purpose being to obtain lower bounds of the proof-theoretic strength of type theories furnished with means for transfinite induction (W-type, Aczel's set of iterative sets or recursion on (type) universes). Thes.p.-ID i′ s are essentially the wellknownID i -theories, studied in ordinal analysis of fragments of second order arithmetic, but the set variable in the operator form is restricted to occur only (...) strictly positively. The modelling is done by constructivizing continuity notions for set operators at higher number classes and proving that strictly positive set operators are continuous in this sense. The existence of least fixed points, or more accurately, least sets closed under the operator, then easily follows. (shrink)

From the ‘DuPont factory’ case in China, one can see that contemporary ecology is faced with two underlying problems: A lack of responsibility toward the environment beyond being economically profitable, and a lack of care for what is outside of one’s immediate environment. For the purpose of confronting these two problems, I suggest two Confucian concepts: 1. zhengming 正名 and 2. datong 大同 . These two concepts can be used to develop an environmental ethics and thus play a crucial role (...) in solving the two above-mentioned problems. Zhengming is originally a political concept that was put forward by Confucius. According to this concept, everyone should fulfill their duty to the utmost in accordance with their individual roles. Datong is Confucius’ political ideal and emphasizes gong 公 as a spirit for caring for tian xia 天下 . A Confucian-style harmonious society is achieved by ‘letting every being manifest its mandate to the full’ (ge jin xing .. (shrink)

This essay addresses two popular worries about morality in an atheistic context. The first is a psychological or sociological one: the worry that unbelief makes one more disposed to act immorally than one would be if one had theistic beliefs and, consequently, widespread atheism produces societal dysfunction. This essay argues that the relationship between atheism and human moral beliefs and behaviour is complex, and that highly secularized societies can also be deeply moral societies. The second worry is philosophical in nature: (...) the worry that if there is no God or gods, then there are also no objective moral truths or facts. This essay make the case that the question of whether there are objective moral truths is independent of the existence or nonexistence of God. In the final section, the essay discusses the nature and possible grounds of objective morality in an atheistic context. (shrink)

Vattimo holds nihilist secularisation to be the ultimate meaning of Christianity. It diagnoses actuality as the dissolution of transcendence that is always violent, be it metaphysical or religious. This is an extrapolation of Girard’s desacralisation, proposing Christianity to be the dissolution of sacred violence. To Girard, secularisation is the modern interpretation of desacralisation. Both Vattimo and Girard agree that secularisation is inherent to Christianity; that the ultimate meaning of Christianity is love; that hitherto this message has not reached the ‘masses’. (...) But they radically disagree on the source of love and violence. To Vattimo, the divine is violent because of its transcendence and only a nihilist world can become non-violent. To Girard, human culture is a source of violence and love is divine. How can these two models, starting out together, suddenly become each other’s opposite? And is there a way of ‘deciding’ between them? (shrink)

A new foundation for constructive nonstandard analysis is presented. It is based on an extension of a sheaf-theoretic model of nonstandard arithmetic due to I. Moerdijk. The model consists of representable sheaves over a site of filter bases. Nonstandard characterisations of various notions from analysis are obtained: modes of convergence, uniform continuity and differentiability, and some topological notions. We also obtain some additional results about the model. As in the classical case, the order type of the nonstandard natural numbers is (...) a dense set of copies of the integers. Every standard set has a hyperfinite enumeration of its standard elements in the model. All arguments are carried out within a constructive and predicative metatheory: Martin-Löf's type theory. (shrink)

Discussions of information produced by genetics research are often guided by two mistaken theoretical moves. Enthusiasts tell us not to worry because genetic tinkering can alter only our body, never our soul; worriers suggest that discovering links between our behavior and our different bodies threatens important democratic ideas like moral equality. If we understand the body and soul to be inseparable and equality to be undiminished by difference, we can begin to take seriously the information produced by genetics research.

We give an intuitionistic axiomatisation of real closed fields which has the constructive reals as a model. The main result is that this axiomatisation together with just the decidability of the order relation gives the classical theory of real closed fields. To establish this we rely on the quantifier elimination theorem for real closed fields due to Tarski, and a conservation theorem of classical logic over intuitionistic logic for geometric theories.

International uproar followed the recent announcement of the birth of twin girls whose genomes had been edited with a breakthrough DNA editing-technology. This technology, called clustered regularly interspaced short palindrome repeats or CRISPR-Cas9, can alter any DNA, including DNA in embryos, meaning that changes can be passed to the offspring of the person that embryo becomes. Should we use gene editing technologies to change ourselves, our children, and future generations to come? The potential uses of CRISPR-Cas9 and other gene editing (...) technologies are unprecedented in human history. By using these technologies, we eradicate certain dreadful diseases. Altering human DNA, however, raises enormously difficult questions. Some of these questions are about safety: Can these technologies be deployed without posing an unreasonable risk of physical harm to current and future generations? Can all physical risks be adequately assessed, and responsibly managed? But gene editing technologies also raise other moral questions, which touch on deeply held, personal, cultural, and societal values: Might such technologies redefine what it means to be healthy, or normal, or cherished? Might they undermine relationships between parents and children, or exacerbate the gap between the haves and have-nots? The broadest form of this second kind of question is the focus of this book: What might gene editing--and related technologies--mean for human flourishing? In the new essays collected here, an interdisciplinary group of scholars asks age--old questions about the nature and well-being of humans in the context of a revolutionary new biotechnology--one that has the potential to change the genetic make-up of both existing people and future generations. Welcoming readers who study related issues and those not yet familiar with the formal study of bioethics, the authors of these essays open up a conversation about the ethics of gene editing. It is through this conversation that citizens can influence laws and the distribution of funding for science and medicine, that professional leaders can shape understanding and use of gene editing and related technologies by scientists, patients, and practitioners, and that individuals can make decisions about their own lives and the lives of their families. (shrink)

The health care systems are fairly similar in theScandinavian countries. The exact details vary, but inall three countries the system is almost exclusivelypublicly funded through taxation, and most (or all)hospitals are also publicly owned and managed. Thecountries also have a fairly strong primary caresector (even though it varies between the countries),with family physicians to various degrees acting asgatekeepers to specialist services. In Denmark most ofthe GP services are free. For the patient in Norwayand Sweden there are out-of-pocket co-payments for GPconsultations, (...) with upper limits, but consultations forchildren are free. Hospital treatment is free inDenmark while the other countries use a system without-of-pocket co-payment. There is a very strongpublic commitment to access to high quality healthcare for all. Solidarity and equality form theideological basis for the Scandinavian welfare state.Means testing, for instance, has been widely rejectedin the Scandinavian countries on the grounds thatpublic services should not stigmatise any particulargroup. Solidarity also means devoting specialconsideration to the needs of those who have lesschance than others of making their voices heard orexercising their rights. Issues of limited access arenow, however, challenging the thinking about a healthcare system based on solidarity. (shrink)

The localic completion of a metric space induces a canonical notion of continuous map between metric spaces. It is shown that these maps are continuous in the sense of Bishop constructive mathematics, i.e., uniformly continuous near every compact image.

In the action-space account of color, an emphasis is laid on implicit knowledge when it comes to experience, and explanatory ambitions are expressed. If the knowledge claims are interpreted in a strong way, the action-space account becomes a form of conservative enactivism, which is a kind of cognitivism. Only if the knowledge claims are weakly interpreted, the action space-account can be seen as a distinctive form of enactivism, but then all reductive explanatory ambitions must be abandoned.

Bertrand Russell claimed in the Analysis of Matter that physics is purely structural or relational and so leaves out intrinsic properties of matter, properties that, he said, are evident to us at least in one case: as the internal states of our brains. Russell's hypothesis has figured in recent discussions of physicalism and the mind body problem, by Chalmers, Strawson and Stoljar, among others, but I want to reject two popular interpretations: 1. a conception of intrinsic properties of matter as (...) categorical properties and 2. a fallacious line of descent argument that attributes pan-psychist or proto-experientialist properties to matter by analogy with human minds. Instead, I think Russell's hypothesis points us toward 1. a doctrine of concretely instantiated dispositions in matter and 2. selectively instantiated relations. (shrink)

This article presents both practical tips for, and explores theoretical considerations related to, teaching the Enlightenment in the twenty-first century college classroom. It begins by reviewing some of the many resources instructors today can use as they guide their students through the Enlightenment. It then explores how scholars’ understanding of the period has changed over time, before examining what students learn about the Enlightenment before they come to college, and then considers the politics of teaching the Enlightenment today. The article (...) then pivots back to the practical and explores the many things we can do with our students as we engage with the Enlightenment. However the Enlightenment may be conceived—whether as one or many, reformist or revolutionary, a movement or a series of debates—this article argues it is vital we keep teaching it in these times. (shrink)

Alfred Wegener’s Theory of Continental Drift and its Rivals. Rational Disagreement and Rational Consensus in the Earth Sciences Alfred Wegener launched the idea of continental drift (lateral motion of continents on the earth) early in the 20th century. In the period 1915-1930 he did not succeed to convince his fellow earth scientist to leave behind their old permanentist or contractionist theories and adopt his new theory. In the second half of the 20th century – between 1960 and 1975 – continental (...) drift quickly became the dominant theory in the earth sciences. In this paper I analyse both episode by means of methodological concepts developed by Larry Laudan. I argue that the disagreement in the early days as well as the quickly emerging consensus in the second period are rational. (shrink)

(2001). How Long Has This Been Going On? Disability Issues, Disability Studies, and Bioethics. The American Journal of Bioethics: Vol. 1, No. 3, pp. 54-55.

Name der Zeitschrift: Semiotica Jahrgang: 2015 Heft: 207 Seiten: 327-368.

The thoughts that Michel Puech formulates on wisdom, technology and the art of living are timely at a moment when social, ecological and economic problems are pressing upon our societies and the speed of technological development seems to overwhelm our ability to integrate and adapt new technologies in our lives and societies. However, he restricts his concept of wisdom too much to a personal endeavor and overestimates the relevance of non-confrontation. I argue that his project can only be of value (...) when it is embedded in a broader societal and political strategy for change. (shrink)