Techno-Anthropology is a new field, operating with a broad range of methodologies and approaches. This gives rise to the question: What does it mean for Techno-Anthropological research to be critical? In this paper, we discuss this question by developing and specifying the notion of ‘critical proximity.’ Critical proximity offers an alternative to critical distance, especially with respect to avoiding premature references to abstract panoramas such as democratization and capitalist exploitation in the quest to conduct ‘critical’ analysis. Critical proximity implies, instead, (...) granting the beings, fields, and objects we study their own rights and abilities to problematize grand scale claims. Critical proximity further entails that we as researchers are implicated in issues and their formation in ways that allow us to register these critiques and methods, and to emphasize or supplement them. We work through two cases—one on the involvement of users in innovation projects and another on commercial web technologies for tracing issues—to show how critical proximity may be practiced. We sum up the lessons derived in four methodological guidelines for doing research with critical proximity. (shrink)

The aim of this article is to present and critically investigate a type of argument against legalising assisted dying on request (ADR) for patients who are terminally ill and experiencing suffering. This type of argument has several variants. These—which we call ‘autonomy-based arguments’ against legalising ADR—invoke different specifications of the premise that we ought not to respect requests for assistance in dying made by terminally ill and suffering patients because the basic conditions of autonomy cannot be met in scenarios where (...) such requests are made. Specifically, it is argued either (1) that as a result of pain, anxiety or desperation, terminally ill patients are not competent decision makers or (2) that legalisation of ADR would lead to social pressure or in other ways change the patient's context of choice in ways that make such requests nonautonomous. We argue that these types of arguments are problematic in light both of empirical studies and the fact that we usually judge that it is morally right to respect the wishes and decisions of dying people even if they suffer. (shrink)

Philosophy &Public Affairs, Volume 52, Issue 1, Page 69-100, Winter 2024.

In this paper I propose a teleological account of epistemic reasons. In recent years, the main challenge for any such account has been to explicate a sense in which epistemic reasons depend on the value of epistemic properties. I argue that while epistemic reasons do not directly depend on the value of epistemic properties, they depend on a different class of reasons which are value based in a direct sense, namely reasons to form beliefs about certain propositions or subject matters. (...) In short, S has an epistemic reason to believe that p if and only if S is such that if S has reason to form a belief about p, then S ought to believe that p. I then propose a teleological explanation of this relationship. It is also shown how the proposal can avoid various subsidiary objections commonly thought to riddle the teleological account. (shrink)

Inquiry is an aim-directed activity, and as such governed by instrumental normativity. If you have reason to figure out a question, you have reason to take means to figuring it out. Beliefs are governed by epistemic normativity. On a certain pervasive understanding, this means that you are permitted – maybe required – to believe what you have sufficient evidence for. The norms of inquiry and epistemic norms both govern us as agents in pursuit of knowledge and understanding, and, on the (...) surface, they do so in harmony. Recently, however, Jane Friedman (2020) has pointed out that they are in tension with each other. In this paper, I aim to resolve this tension by showing that reasons for acts of inquiry – zetetic reasons – and epistemic reasons for belief can both be understood as flowing from the same general normative principle: the transmission principle for instrumental reasons. The resulting account is a version of epistemic instrumentalism that offers an attractive unity between zetetic and epistemic normativity. (shrink)

Assume we could someday create artificial creatures with intelligence comparable to our own. Could it be ethical use them as unpaid labor? There is very little philosophical literature on this topic, but the consensus so far has been that such robot servitude would merely be a new form of slavery. Against this consensus I defend the permissibility of robot servitude, and in particular the controversial case of designing robots so that they want to serve human ends. A typical objection to (...) this case draws an analogy to the genetic engineering of humans: if designing eager robot servants is permissible, it should also be permissible to design eager human servants. Few ethical views can easily explain even the wrongness of such human engineering, however, and those few explanations that are available break the analogy with engineering robots. The case turns out to be illustrative of profound problems in the field of population ethics. (shrink)

Obtaining human genetic samples is vital for many biobank research purposes, yet, the ethics of obtainment seems to many fraught with difficulties. One key issue is consent: it is by many considered ethically vital that consent must be fully informed (at least ideally speaking) in order to be legitimate. In this paper, we argue for a more liberal approach to consent: a donor need not know all the specifics of future uses of the sample. We argue that blanket consent is (...) ethically defensible, and that this is buttressed by considerations of (justified) trust-relations. Given robust institutional oversight, blanket consent is a permissible form of consent in the bio-banking context. (shrink)

In this paper I offer a normative account of development expertise. Although extending expertise beyond the traditional development experts to include local stakeholders, this normative account aims to delimit legitimate forms of expertise. I label this normative view third wave development expertise. Third wave expertise is distinguished from both the technocratic and the social constructivist views of development expertise. In particular, I discuss the notions of contributory and interactional expertise. Contributory expertise denotes the extent to which a group of agents (...) possesses knowledge which can make a significant contribution to development decision-making, while interactional expertise denotes the extent to which they are able to communicate this knowledge meaningfully. While local stakeholders may possess contributory expertise in matters of their own development, they may lack interactional expertise to communicate this knowledge. Resolving this issue, I argue, requires a mediator who can interact with and between external experts and local stakeholders. (shrink)

The _Platform Sutra_ comprises a wide range of important Chan/Zen Buddhist teachings. Purported to contain the autobiography and sermons of Huineng (638-713), the legendary Sixth Patriarch of Chan, the sutra has been popular among monastics and the educated elite for centuries. The first study of its kind in English, this volume offers essays that introduce the history and ideas of the sutra to a general audience and interpret its practices. Leading specialists on Buddhism discuss the text's historical background and its (...) vaunted legacy in Chinese culture. Incorporating recent scholarship and theory, chapters include an overview of Chinese Buddhism, the crucial role of the _Platform Sutra _in the Chan tradition, and the dynamics of Huineng's biography. They probe the sutra's key philosophical arguments, its paradoxical teachings about transmission, and its position on ordination and other institutions. The book includes a character glossary and extensive bibliography, with helpful references for students, general readers, and specialists throughout. The editors and contributors are among the most respected scholars in the study of Buddhism, and they assess the place of the _Platform Sutra_ in the broader context of Chinese thought, opening the text to all readers interested in Asian culture, literature, spirituality, and religion. (shrink)

Memory is fleeting. New material rapidly obliterates previous material. How, then, can the brain deal successfully with the continual deluge of linguistic input? We argue that, to deal with this “Now-or-Never” bottleneck, the brain must compress and recode linguistic input as rapidly as possible. This observation has strong implications for the nature of language processing: (1) the language system must “eagerly” recode and compress linguistic input; (2) as the bottleneck recurs at each new representational level, the language system must build (...) a multilevel linguistic representation; and (3) the language system must deploy all available information predictively to ensure that local linguistic ambiguities are dealt with “Right-First-Time”; once the original input is lost, there is no way for the language system to recover. This is “Chunk-and-Pass” processing. Similarly, language learning must also occur in the here and now, which implies that language acquisition is learning to process, rather than inducing, a grammar. Moreover, this perspective provides a cognitive foundation for grammaticalization and other aspects of language change. Chunk-and-Pass processing also helps explain a variety of core properties of language, including its multilevel representational structure and duality of patterning. This approach promises to create a direct relationship between psycholinguistics and linguistic theory. More generally, we outline a framework within which to integrate often disconnected inquiries into language processing, language acquisition, and language change and evolution. (shrink)

Standard epistemology takes it for granted that there is a special kind of value: epistemic value. This claim does not seem to sit well with act utilitarianism, however, since it holds that only welfare is of real value. I first develop a particularly utilitarian sense of “epistemic value”, according to which it is closely analogous to the nature of financial value. I then demonstrate the promise this approach has for two current puzzles in the intersection of epistemology and value theory: (...) first, the problem of why knowledge is better than mere true belief, and second, the relation between epistemic justification and responsibility. (shrink)

Journal of Social Philosophy, EarlyView.

While research on Attention Deficit Hyperactivity Disorder (ADHD) has traditionally focused on cognitive and behavioral deficits, there is increasing interest in exploring possible resources associated with the disorder. In this paper, we argue that the attention-patterns associated with ADHD can be understood as expressing an alternative style of inquiry, or “zetetic” style, characterized mainly by a lower barrier for becoming curious and engaging in inquiry, and a weaker disposition to regulate curiosity in response to the cognitive and practical costs associated (...) with inquiry. Exploring this zetetic style from an epistemological perspective, we show that it is often epistemically rational and can be advantageous in important respects. We close by suggesting that the very aspects of the zetetic style that might at times render it disadvantageous from the point of view of individual subjects with ADHD, will often confer epistemic benefits to the social group that the subjects are part of. (shrink)

Frames, i.e., recursive attribute-value structures, are a general format for the decomposition of lexical concepts. Attributes assign unique values to objects and thus describe functional relations. Concepts can be classified into four groups: sortal, individual, relational and functional concepts. The classification is reflected by different grammatical roles of the corresponding nouns. The paper aims at a cognitively adequate decomposition, particularly, of sortal concepts by means of frames. Using typed feature structures, an explicit formalism for the characterization of cognitive frames is (...) developed. The frame model can be extended to account for typicality effects. Applying the paradigm of object-related neural synchronization, furthermore, a biologically motivated model for the cortical implementation of frames is developed. Cortically distributed synchronization patterns may be regarded as the fingerprints of concepts. (shrink)

In this review article, Christiansen provides a historical perspective on the two research traditions, implicit learning and statistical learning, thus nicely setting the scene for this special issue of Topics in Cognitive Science. In this “tale of two literatures”, he first traces the history of both literatures before sketching a framework that provides a basis for understanding implicit learning and statistical learning as a unified phenomenon.

This book reassesses Gadamer's hermeneutics by bringing it into a dialogue with John McDowell's minimal empiricism. It employs the resources of McDowell's minimal empiricism to address the transcendental and ontological presuppositions for objective experience and understanding, while retaining Gadamer's emphasis on the historicity of understanding. By means of the dialogue with McDowell, the book develops a hermeneutical conception of objectivity and perceptual experience, which also entails reinterpretations of Gadamer's notions of tradition, practical wisdom and meaning. The book explores the philosophical (...) space beyond the analytic-Continental divide and demonstrates that hermeneutics is not limited to a reflection on understanding as it is practiced in the human sciences, but can be revived as a distinct and cogent philosophical approach with a transcendental and ontological dimension. Thaning's book is a richly detailed, well-argued and coherent presentation of a defensible, and potentially very important, philosophical position. It demonstrates an impressively deep understanding of the literature both from the phenomenological tradition and from the part of the analytical tradition, inspired by Wilfred Sellars, to which John McDowell belongs. Being a substantial philosophical achievement in its own right, the book raises far-reaching questions that will be of interest to a wide audience. Dr. Steven Crowell, Rice University, Houston (USA) Morten Thaning's book is an important contribution to the discourse of philosophical hermeneutics. Thaning extensively discusses a topic, which recent debates have touched upon, but which up to now has not been the subject matter of concentrated scholarly work: the relation between Gadamer's hermeneutics and McDowell's empiricism. With Thaning's interpretation Gadamer' work can be read anew as concerning the problem of hermeneutical objectivity. Prof. Dr. Günter Figal, University of Freiburg (Germany). (shrink)

Whether it would take one decade or several centuries, many agree that it is possible to create a *superintelligence*---an artificial intelligence with a godlike ability to achieve its goals. And many who have reflected carefully on this fact agree that our best hope for a "friendly" superintelligence is to design it to *learn* values like ours, since our values are too complex to program or hardwire explicitly. But the value learning approach to AI safety faces three particularly philosophical puzzles: first, (...) it is unclear how any intelligent system could learn its final values, since to judge one supposedly "final" value against another seems to require a further background standard for judging. Second, it is unclear how to determine the content of a system's values based on its physical or computational structure. Finally, there is the distinctly ethical question of which values we should best aim for the system to learn. I outline a potential answer to these interrelated puzzles, centering on a "miktotelic" proposal for blending a complex, learnable final value out of many simpler ones. (shrink)

It is widely assumed that human learning and the structure of human languages are intimately related. This relationship is frequently suggested to derive from a language-specific biological endowment, which encodes universal, but communicatively arbitrary, principles of language structure (a Universal Grammar or UG). How might such a UG have evolved? We argue that UG could not have arisen either by biological adaptation or non-adaptationist genetic processes, resulting in a logical problem of language evolution. Specifically, as the processes of language change (...) are much more rapid than processes of genetic change, language constitutes a both over time and across different human populations, and, hence, cannot provide a stable environment to which language genes could have adapted. We conclude that a biologically determined UG is not evolutionarily viable. Instead, the original motivation for UG arises because language has been shaped to fit the human brain, rather than vice versa. Following Darwin, we view language itself as a complex and interdependent which evolves under selectional pressures from human learning and processing mechanisms. That is, languages themselves are shaped by severe selectional pressure from each generation of language users and learners. This suggests that apparently arbitrary aspects of linguistic structure may result from general learning and processing biases deriving from the structure of thought processes, perceptuo-motor factors, cognitive limitations, and pragmatics. (shrink)

Recent works on the concept of dignity have opened up the otherwise quite deadlocked debate about assisted death (AD). Rather than just reinforcing already fixed positions, it seems to me that these conceptions of dignity make room for a moderate and normatively richer position on the moral permissibility of AD. I do not think that we have seen the full potential of the said conceptions and interpretations. I try in this article to contribute my part. First, I briefly recapitulate some (...) of the paradoxical ways in which dignity is typically invoked in the debate and try to clear up some of the obvious confusions. Then, I go on to explore a particular Kantian line of thought in some recent works on dignity and AD that seems to pave the way for a moderate position with a more principled foundation than the usual compromise positions. (shrink)

In a recent paper in this journal, Carter and Peterson raise two distinctly epistemological puzzles that arise for anyone aspiring to defend the precautionary principle. The first puzzle trades on an application of epistemic contextualism to the precautionary principle; the second puzzle concerns the compatibility of the precautionary principle with the de minimis rule. In this note, I argue that neither puzzle should worry defenders of the precautionary principle. The first puzzle can be shown to be an instance of the (...) familiar but conceptually harmless challenge of adjudicating between relevant interests to reach assessments of threats when applying the precautionary principle. The second puzzle can be shown to rely on a subtle but crucial misrepresentation of the relevant probabilities at play when applying the precautionary principle. (shrink)

In the generative tradition, the language faculty has been shrinking—perhaps to include only the mechanism of recursion. This paper argues that even this view of the language faculty is too expansive. We first argue that a language faculty is difficult to reconcile with evolutionary considerations. We then focus on recursion as a detailed case study, arguing that our ability to process recursive structure does not rely on recursion as a property of the grammar, but instead emerge gradually by piggybacking on (...) domain-general sequence learning abilities. Evidence from genetics, comparative work on non-human primates, and cognitive neuroscience suggests that humans have evolved complex sequence learning skills, which were subsequently pressed into service to accommodate language. Constraints on sequence learning therefore have played an important role in shaping the cultural evolution of linguistic structure, including our limited abilities for processing recursive structure. Finally, we re-evaluate some of the key considerations that have often been taken to require the postulation of a language faculty. (shrink)

Public reason liberalism strives to accommodate as broad an array of viewpoints as possible. Some people are selective science skeptics, meaning that they disagree with parts of mainstream science. Of special interest for this paper are climate deniers, who disagree with the mainstream consensus views of climate science. This creates a problem for public reason: on the one hand, public reason wants to avoid basing rules and policies on controversial principles, values, and so on. On the other hand, there are (...) citizens whom we cannot outright call irrational who are skeptical about central tenets of climate science. This seems to imply that public reason cannot base policies on the robust findings of climate science because these findings are controversial among the citizenry. But we have strong reasons to base our policies vis-à-vis climate change on the robust findings of climate science. How should we proceed? (shrink)

A key task within the capability approach is the selection of relevant capabilities. The question of how to select capabilities has divided capability theorists into two camps: those who argue that it is a philosophical task and those who argue that it is a matter for the public. In this paper, I argue that this distinction between philosophy and democracy is counterproductive to the operationalization of the capability approach. On the one hand, proponents of the philosophical position overestimate the need (...) for philosophical theorizing when selecting capabilities. On the other hand, proponents of the democratic positions can benefit from addressing issues raised by philosophers. I conclude that rather than making the philosophical position more democratically sensitive, we should search out ways in which philosophy can reinforce democratic processes in general and in relation to the selection of capabilities in particular. (shrink)

The ability to convey our thoughts using an infinite number of linguistic expressions is one of the hallmarks of human language. Understanding the nature of the psychological mechanisms and representations that give rise to this unique productivity is a fundamental goal for the cognitive sciences. A long-standing hypothesis is that single words and rules form the basic building blocks of linguistic productivity, with multiword sequences being treated as units only in peripheral cases such as idioms. The new millennium, however, has (...) seen a shift toward construing multiword linguistic units not as linguistic rarities, but as important building blocks for language acquisition and processing. This shift—which originated within theoretical approaches that emphasize language learning and use—has far-reaching implications for theories of language representation, processing, and acquisition. Incorporating multiword units as integral building blocks blurs the distinction between grammar and lexicon; calls for models of production and comprehension that can accommodate and give rise to the effect of multiword information on processing; and highlights the importance of such units to learning. In this special topic, we bring together cutting-edge work on multiword sequences in theoretical linguistics, first-language acquisition, psycholinguistics, computational modeling, and second-language learning to present a comprehensive overview of the prominence and importance of such units in language, their possible role in explaining differences between first- and second-language learning, and the challenges the combined findings pose for theories of language. (shrink)

Most of us want to have children. We want them to be healthy and have a good start in life. One way to achieve this goal is to use preimplantation genetic diagnosis . PGD enables people engaged in the process of in vitro fertilisation to acquire information about the genetic constitution of an early embryo. On the basis of this information, a decision can be made to transfer embryos without genetic defects to the uterus and terminate those with genetic defects.1However, (...) is it morally acceptable to use PGD to reduce the probability of children with severe genetic diseases being born? Is the current routine use of PGD in public healthcare services to select against severe genetic diseases like anencephaly, spina bifida, cystic fibrosis and Down’s syndrome morally acceptable?These are complex questions involving a range of difficult ethical issues—for instance, critical discussions about the morality of embryo research and embryo termination.2 They also involve awkward conceptual issues concerning such matters as the meaning of words such as “disability”3 and “severe” in “severe genetic diseases”,4 which will not be discussed here.In this paper I examine an argument which aims to show that efforts to prevent the birth of severely disabled children using PGD are morally unacceptable. Essentially, this argument appeals to our concern for disabled people and the belief that PGD, through a slippery slope process, will have bad consequences for them. I conclude that the argument is problematic for a number of reasons. But before I examine the argument itself, it will be helpful to separate two types of slippery slope argument since these involve different kinds of reasoning.TWO TYPES OF ARGUMENTMany of the arguments against PGD point to the bad consequences it can be expected to have for disabled people. Central to all these …. (shrink)

Performance of bimanual motor actions requires coordinated and integrated bilateral communication, but in some bimanual tasks, neural interactions and crosstalk might cause bilateral interference. The level of interference probably depends on the proportions of bilateral interneurons connecting homologous areas of the motor cortex in the two hemispheres. The neuromuscular system for proximal muscles has a higher number of bilateral interneurons connecting homologous areas of the motor cortex compared to distal muscles. Based on the differences in neurophysiological organization for proximal vs. (...) distal effectors in the upper extremities, the purpose of the present experiment was to evaluate how the level of bilateral interference depends on whether the bilateral interference task is performed with homologous or non-homologous effectors as the primary task. Fourteen participants first performed a unilateral primary motor task with the dominant arm with proximal and distal controlled joysticks. Performance in the unilateral condition with the dominant arm was compared to the same effector’s performance when two different bilateral interference tasks were performed simultaneously with the non-dominant arm. The two different bilateral interference tasks were subdivided into homologous and non-homologous effectors. The results showed a significant decrease in performance for both proximal and distal controlled joysticks, and this effect was independent of whether the bilateral interference tasks were introduced with homologous or non-homologous effectors. The overall performance decrease as a result of bilateral interference was larger for proximal compared to distal controlled joysticks. Furthermore, a proximal bilateral interference caused a larger performance decrement independent of whether the primary motor task was controlled by a proximal or distal joystick. A novel finding was that the distal joystick performance equally interfered with either homologous or non-homologous interference tasks performed simultaneously. The results indicate that the proximal–distal distinction is an important organismic constraint on motor control and for understanding bilateral communication and interference in general and, in particular, how bilateral interference caused by homologous vs. non-homologous effectors impacts motor performance for proximal and distal effectors. The results seem to map neuroanatomical and neurophysiological differences for these effectors. (shrink)

PurposeAs interest in technology ethics is increasing, so is the interest in bringing schools of ethics from non-Western philosophical traditions to the field, particularly when it comes to information and communication technology. In light of this development and recent publications that result from it, this paper aims to present responds critically to recent work on Confucian virtue ethics (CVE) and technology.Design/methodology/approachFour critiques are presented as theoretical challenges to CVE in technology, claiming that current literature insufficiently addresses: overall applicability, collective ethics (...) issues, epistemic overconfidence within technology corporations and amplification of epistemic overconfidence by the implementation of CVE. These challenges make use of general CVE literature and work on technology critique, political philosophy, epistemology and business ethics.FindingsImplementing CVE in technology may yield some benefits, but these may be outweighed by other outcomes, include strengthening hierarchies, widening inequities, increasing, rather than limiting, predictive activity, personal data collection, misinformation, privacy violations and challenges to the democratic process.Originality/valueThough not directly advocating against CVE, the paper reveals hitherto unidentified and serious issues that should be addressed before CVE are used to inform ethics guidelines or regulatory policies. It also serves as a foundation for further inquiry into how Eastern philosophy more broadly can inform technology ethics in the West. (shrink)

The importance of developmental agendas -- A capability framework for development goals -- A Republican account of local authority in development -- Third wave development expertise -- Selecting capabilities for a development agenda -- Methods for the selection of capabilities and functionings -- An inclusive framework for setting development agendas.

Many philosophers and medical scientists assume thatdisease categories or entities used to classify concrete cases ofdisease, are often defined by disease mechanisms or causalprocesses. Others suggest that diseases should always be definedin this manner. This paper discusses these standpoints criticallyand concludes that they are untenable, not only when `diseasemechanism' refers to an objective mechanism, but also when`mechanism' refers to a pragmatically demarcated part of thetotal ``objective'' causal structure of diseases. As an alternativeto principles that use the concept of disease mechanism (...) oranalogous concepts, a pragmatic approach is suggested anddescribed. This approach has been suggested before, but inproblematic or inadequate versions. This paper proposes a versioncompiled of two ``pragmatic principles'' and shows that they aremuch more adequate than the principle of disease mechanism. Withreference to a case study of a still ongoing internationaldiscussion of various candidates for a classification system formalignant lymphomas, including REAL (Revised European–AmericanClassification of Lymphoid Neoplasms) in which the concept ofdisease mechanism or analogous concepts plays a very small part,it is shown just how pivotal these two pragmatic principles canbe in actual discussions of definitions of diseases. Finally, itis pointed out that with regard to modern philosophy of languageit may, at least in some cases, be problematic to distinguishbetween the two pragmatic principles as they stand. (shrink)

We present results from a study about women and employee-elected board members, and fill some of the gaps in the literature about their contribution to board effectiveness. The empirical data are from a unique data set of Norwegian firms. Board effectiveness is evaluated in relation to board control tasks, including board corporate social responsibility (CSR) involvement. We found that the contributions of women and employee-elected board members varied depending on the board tasks studied. In the article we also explored the (...) effects of the esteem of the women and employee-elected board members, and we used creative discussions in the boardroom as a mediating variable. Previous board research, including research about women and employee-elected directors, questions if the board members contribute to board effectiveness. The main message from this study is that it may be more important to ask how, rather than if, women and employee-elected board members contribute, and we need to open the black box of actual board behavior to explore how they may contribute. (shrink)

Psychologists have used experimental methods to study language for more than a century. However, only with the recent availability of large-scale linguistic databases has a more complete picture begun to emerge of how language is actually used, and what information is available as input to language acquisition. Analyses of such “big data” have resulted in reappraisals of key assumptions about the nature of language. As an example, we focus on corpus-based research that has shed new light on the arbitrariness of (...) the sign: the longstanding assumption that the relationship between the sound of a word and its meaning is arbitrary. The results reveal a systematic relationship between the sound of a word and its meaning, which is stronger for early acquired words. Moreover, the analyses further uncover a systematic relationship between words and their lexical categories—nouns and verbs sound differently from each other—affecting how we learn new words and use them in sentences. Together, these results point to a division of labor between arbitrariness and systematicity in sound-meaning mappings. We conclude by arguing in favor of including “big data” analyses into the language scientist's methodological toolbox. (shrink)

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to (...) term reduction, etc. But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transforms proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq). This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic. Key features - The Curry-Howard Isomorphism treated as common theme - Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics - Thorough study of the connection between calculi and logics - Elaborate study of classical logics and control operators - Account of dialogue games for classical and intuitionistic logic - Theoretical foundations of computer-assisted reasoning · The Curry-Howard Isomorphism treated as the common theme. · Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics · Thorough study of the connection between calculi and logics. · Elaborate study of classical logics and control operators. · Account of dialogue games for classical and intuitionistic logic. · Theoretical foundations of computer-assisted reasoning. (shrink)

Body checking, characterized by the repeated visual or physical inspection of particular parts of one’s own body (e.g. thighs, waist, or upper arms) is one of the most prominent behaviors associated with eating disorders, particularly Anorexia Nervosa (AN). In this paper, we explore the explanatory potential of the Recalcitrant Fear Model of AN (RFM) in relation to body checking. We argue that RFM, when combined with certain plausible auxiliary hypotheses about the cognitive and epistemic roles of emotions, is able to (...) explain key characteristics of body checking, including how body checking behavior becomes habitual and compulsive. (shrink)

Arguably, emotion is always valenced—either pleasant or unpleasant—and dependent on the pleasure system. This system serves adaptive evolutionary functions; relying on separable wanting, liking, and learning neural mechanisms mediated by mesocorticolimbic networks driving pleasure cycles with appetitive, consummatory, and satiation phases. Liking is generated in a small set of discrete hedonic hotspots and coldspots, while wanting is linked to dopamine and to larger distributed brain networks. Breakdown of the pleasure system can lead to anhedonia and other features of affective disorders. (...) Eudaimonia and well-being are difficult to study empirically, yet whole-brain computational models could offer novel insights potentially linking eudaimonia to optimal metastability in the pleasure system. (shrink)

The Intergovernmental Panel for Climate Change has over the past decade repeatedly warned that we are heading towards inevitable and irreversible climate change, which will negatively affect the lives, livelihoods, and well-being of millions of people around the world, both at present and in the future. In fact, many people, especially vulnerable and marginalized communities in low- and middle-income countries, already live with the effects of climate change in their daily lives. While adaptation – along with mitigation and compensation for (...) loss and damage as a consequence of climate change – was identified as the central pillars of a just climate policy in the Paris Agreement it is unclear whether this entails a right to adaptation – that some people are owed, as a matter of justice, to have the ability to adapt to climate change – and, if so, what such a right would look like. In this paper, I argue that individuals and communities who are or will be negatively affected by climate change through no fault of their own should have the right to adaptation. I argue that the right to adaptation should be specified through four questions: (i) who has a right to adaptation; (ii) what is it a right to; (iii) how much is it a right to; and (iv) who has the duty to uphold the right to adaptation? (shrink)

Integrating local knowledge about environmental and socioeconomic circumstances is necessary in order for development efforts to be responsive to local realities and needs. However, knowledge-integ...

This paper makes two main claims: first, that the need to protect health professionals' moral integrity is what grounds the right to conscientious objection in health care; and second, that for a given claim of conscientious objection to be acceptable to society, a certain set of criteria should be fulfilled. The importance of moral integrity for individuals and society, including its special role in health care, is advocated. Criteria for evaluating the acceptability of claims to conscientious objection are outlined. The (...) precise content of the criteria is dictated by the two main interests that are at stake in the dilemma of conscientious objection: the patient's interests and the health professional's moral integrity. Alternative criteria proposed by other authors are challenged. The bold claim is made that conscientious objection should be recognised by society as acceptable whenever the five main criteria of the proposed set are met. (shrink)

BackgroundCase consultation performed by clinical ethics committees (CECs) is a complex activity which should be evaluated. Several evaluation studies have reported stakeholder satisfaction in single institutions. The present study was conducted nationwide and compares clinicians’ evaluations on a range of aspects with the CEC’s own evaluation.MethodsProspective questionnaire study involving case consultations at 19 Norwegian CECs for 1 year, where consultations were evaluated by CECs and clinicians who had participated.ResultsEvaluations of 64 case consultations were received. Cases were complex with multiple ethical (...) problems intertwined. Clinicians rated the average CEC consult highly, being both satisfied with the process and perceiving it to be useful across a number of aspects. CEC evaluations corresponded well with those of clinicians in a large majority of cases. Having next of kin/patients present was experienced as predominantly positive, though practised by only half of the CECs. The educational function of the consult was evaluated more positively when the CEC used a systematic deliberation method.ConclusionsCEC case consultation was found to be a useful service. The study is also a favourable evaluation of the Norwegian CEC system, implying that it is feasible to implement well-functioning CECs on a large scale. There are good reasons to involve the stakeholders in the consultations as a main rule. (shrink)