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)

There is a simple technique, due to Dragalin, for proving strong cut-elimination for intuitionistic sequent calculus, but the technique is constrained to certain choices of reduction rules, preventing equally natural alternatives. We consider such a natural, alternative set of reduction rules and show that the classical technique is inapplicable. Instead we develop another approach combining two of our favorite tools—Klop’s ι-translation and perpetual reductions. These tools are of independent interest and have proved useful in a variety of settings; it is (...) therefore natural to investigate, as we do here, what they have to offer the field of sequent calculus. (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 emerges 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)

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)

Two of the Scandinavian countries, Sweden and Finland have recently joined the European Communities. Together with a third Scandinavian country, Denmark, which joined the Communities two decades ago it seems likely that Scandinavian views and attitudes will make a great impact on the future work of the European Communities — including the on-going harmonisation in the field of corporate social responsibility.This article provides an examination of the Scandinavian view on the five best known models for achieving corporate social responsibility and (...) it shows the likely impact of the admittance of the Scandinavian countries on the future work in the European Communities with regard to corporate social responsibility. (shrink)

Abstract:It is a common belief that obesity is wholly or partially a question of personal choice and personal responsibility. It is also widely assumed that when individuals are responsible for some unfortunate state of affairs, society bears no burden to compensate them. This article focuses on two conceptualizations of responsibility: backward-looking and forward-looking conceptualizations. When ascertaining responsibility in a backward-looking sense, one has to determine how that state of affairs came into being or where the agent stood in relation to (...) it. In contrast, a forward-looking conceptualization of responsibility puts aside questions of the past and holds a person responsible by reference to some desirable future state of affairs and will typically mean that he or she is subjected to criticism, censure, or other negative appraisals or that he or she is heldcost-responsible in some form, for example, in terms of demanded compensation, loss of privileges, or similar. One example of this view is the debate as to whether the obese should be denied, wholly or partially, free and equal access to healthcare,notbecause they are somehow personally responsible in the backward-looking sense but simply because holding the obese responsible will have positive consequences. Taking these two conceptions of responsibility into account, the authors turn their analysis toward examining the relevant moral considerations to be taken into account when public policies regarding obesity rely on such a conception of responsibility. (shrink)

In this book, Sorensen presents the first general theory of the thought experiment. He analyses a wide variety of thought experiments, ranging from aesthetics to zoology, and explores what thought experiments are, how they work, and what their positive and negative aspects are. Sorensen also sets his theory within an evolutionary framework and integrates recent advances in experimental psychology and the history of science.

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)

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)

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)

You face two buttons. Pushing one will destroy Greensboro. Pushing the other will save it. There is no way for you to know which button saves and which destroys. What ought you to do? Answer: You ought to make the correct guess and push the button that saves Greensboro. Second question: Do you have an obligation to push the correct button?

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 paper investigates conceptions of explanation, teleology, and analogy in the works of Immanuel Kant (1724-1804) and Georges Cuvier (1769-1832). Richards (2000, 2002) and Zammito (2006, 2012, 2018) have argued that Kant’s philosophy provided an obstacle for the project of establishing biology as a proper science around 1800. By contrast, Russell (1916), Outram (1986), and Huneman (2006, 2008) have argued, similar to suggestions from Lenoir (1989), that Kant’s philosophy influenced the influential naturalist Georges Cuvier. In this article, I wish to (...) expand on and further the work of Russell, Outram, and Huneman by adopting a novel perspective on Cuvier and considering (a) the similar conceptions of proper science and explanation of Kant and Cuvier, and (b) the similar conceptions of the role of teleology and analogy in the works of Kant and Cuvier. The similarities between Kant and Cuvier show, contrary to the interpretation of Richards and Zammito, that some of Kant’s philosophical ideas, whether they derived from him or not, were fruitfully applied by some life scientists who wished to transform life sciences into proper sciences around 1800. However, I also show that Cuvier, in contrast to Kant, had a workable strategy for transforming the life sciences into proper sciences, and that he departed from Kant’s philosophy of science in crucial respects. (shrink)

Journal of Social Philosophy, EarlyView.

How may clinical ethics committees inspire ethical reflection among healthcare professionals? How may they deal with organizational ethics issues? In recent years, Norwegian CECs have attempted different activites that stretch or go beyond the standard trio of education, consultation, and policy work. We studied the novel activities of Norwegian CECs by examining annual reports and interviewing CEC members. Through qualitative analysis we identified nine categories of novel CEC activities, which we describe by way of examples. In light of the findings, (...) we argue that some novel working methods may be well suited to promote ethical reflection among clinicians, and that the CEC may be a suitable venue for discussing issues of organizational ethics. (shrink)

A central task for clinical ethics consultants and committees (CEC) is providing analysis of, and advice on, prospective or retrospective clinical cases. However, several kinds of biases may threaten the integrity, relevance or quality of the CEC's deliberation. Bias should be identified and, if possible, reduced or counteracted. This paper provides a systematic classification of kinds of bias that may be present in a CEC's case deliberation. Six kinds of bias are discussed, with examples, as to their significance and risk (...) factors. Possible remedies are suggested. The potential for bias is greater when the case deliberation is performed by an individual ethics consultant than when an entire clinical ethics committee is involved. (shrink)

Should one trust experts? My answer to this question is a qualified ‘no’. In this paper I explore the conditions under which it is rational to trust and defer to experts, and those under which it may be rational to refrain from doing so. I draw on two important factors for an actor’s trust in a partner: trust depends on the partner’s competence and on the partner’s interests. I propose that the conditions under which it is rational to trust and (...) defer to experts depend on the competences of the layperson and the expert, and the degree of interest alignment. I present a model that demonstrates that it can be practically infeasible and even logically impossible to determine the expert’s level of competence and the degree of interest alignment. Although it may sound pessimistic that one can rationally refrain from trusting experts, I will also explore some more optimistic conclusions. (shrink)

Controversies arise over abortion, assisted dying and conscientious objection in healthcare. The purpose of the study was to examine the relationship between attitudes towards these bioethical dilemmas, and secularity and religiosity. Data were drawn from a 2017 web-based survey of a representative sample of 1615 Norwegian adults. Latent moderated structural equations modelling was used to develop a model of the relationship between attitudes. The resulting model indicates that support for abortion rights is associated with pro-secular attitudes and is a main (...) “driver” for support for assisted dying and opposition to conscientious objection. This finding should be regarded as a hypothesis which ought to be tested in other populations. If the relationship is robust and reproduced elsewhere, there are important consequences for CO advocates who would then have an interest in disentangling the debate about CO from abortion; and for health systems who ought to consider carefully how a sound policy on CO can safeguard both patient trust in the services and the moral integrity of professionals. It is suggested that if religiosity wanes and pro-secular and pro-abortion attitudes become more widespread, support for CO might decline, putting into question whether present policies of toleration of conscientious refusals will remain acceptable to the majority. (shrink)

Zen master Dōgen 道元, the founder of the Sōtō sect in medieval Japan, is often referred to as the leading classical philosopher in Japanese history and one of the foremost exponents of Mahayana Buddhist thought. His essays, sermons and poems on numerous Buddhist topics included in his main text, the Shōbōgenzō 正法眼蔵, reflect an approach to religious experience based on a more philosophical analysis of topics such as time and temporality, impermanence and momentariness, the universality of Buddha-nature and naturalism, and (...) the role of language and emotions in the experience of enlightenment, as well as practical matters such as ethics and the precepts or meditation and daily activity, than is generally found in the writings of most thinkers in the Japanese Zen school. The single main element in Dōgen’s unique approach to Buddhist theory and practice is his emphasis on the multiple meanings of “impermanence” in personal experience and as the basis for Buddhist metaphysics. In particular, he emphasizes the radical impermanence of each and every phenomenon and the need to attain spiritual realization by acknowledging and identifying, rather than resisting or denying, the ephemeral nature of reality. The notion of impermanence or the transiency of all aspects of human and natural existence has always been a fundamental feature of the Buddhist teaching since the sermons of the Buddha dealing with the doctrines of anātman and anitya regarding the insubstantial, selfless nature of things. However, Dōgen repeatedly cautions against any subtle tendency to view ultimate reality––nirvāṇa or the universal “Buddha-nature” ––as an eternal realm separable from, or independent of, impermanence. Instead, he stresses that a full, unimpeded, and perpetually renewed experience of impermanence and of the unity of “being-time” is the touchstone and framework of every aspect of Buddhist meditative training and spiritual realization. Other key doctrines related to this are the “spontaneous here-and-now manifestation of Zen enlightenment”, the “eternal moment of meditation”, the “immediacy of awakening”, and “impermanence-Buddha-nature”. In addition to looking at Dōgen’s poetic writings on aesthetic experience, later writings on karma and supernaturalism will be briefly examined for their contributions to his philosophical discussions of mystical awareness and the issues of commitment and responsibility involved in authentic religious practice. (shrink)

Blindsight is classically defined as residual visual capacity, e.g., to detect and identify visual stimuli, in the total absence of perceptual awareness following lesions to V1. However, whereas most experiments have investigated what blindsight patients can and cannot do, the literature contains several, often contradictory, remarks about remaining visual experience. This review examines closer these remarks as well as experiments that directly approach the nature of possibly spared visual experiences in blindsight.

Although most theorists of healthcare rationing argue that rationing, including rationing that takes place in the physician–patient relationship is unavoidable, some health professionals strongly disagree. In a recent essay, Vegard Bruun Wyller argues that bedside rationing is immoral and thoroughly at odds with a sound view of the physician–patient relationship. We take Wyller to be an articulate exponent of the reluctance to participate in rationing found among some clinicians. Our essay attempts to refute the five crucial premises of his argument (...) yet build on his genuine insights. In our analysis, Wyller’s critique of bedside rationing is instructive both for harbouring some very common misconceptions that must be exposed and refuted, but also for offering important words of caution. In particular, bedside rationing must be performed in ways that do not harm the physician–patient relationship. Read irenically, Wyller’s critique is a reminder of what must not be lost in our painful endeavour to update the ethics of medicine to encompass the unavoidability of rationing. (shrink)

Machine intelligence already helps medical staff with a number of tasks. Ethical decision-making, however, has not been handed over to computers. In this proof-of-concept study, we show how an algorithm based on Beauchamp and Childress’ prima-facie principles could be employed to advise on a range of moral dilemma situations that occur in medical institutions. We explain why we chose fuzzy cognitive maps to set up the advisory system and how we utilized machine learning to train it. We report on the (...) difficult task of operationalizing the principles of beneficence, non-maleficence and patient autonomy, and describe how we selected suitable input parameters that we extracted from a training dataset of clinical cases. The first performance results are promising, but an algorithmic approach to ethics also comes with several weaknesses and limitations. Should one really entrust the sensitive domain of clinical ethics to machine intelligence? (shrink)

Do responsibility voids exist? That is, are there situations in which the group is collectively morally responsible for some outcome although no member can be held individually morally responsible for it? To answer these questions, I draw a distinction between competitive and cooperative decision contexts based on the team-reasoning account of cooperation. Accordingly, I provide a reasoning-based analysis of cooperation, competition, moral responsibility, and, last, potential responsibility voids. I then argue that competitive decision contexts are free of responsibility voids. The (...) conditions for the existence of responsibility voids in cooperative decision contexts depend on the type of uncertainty the group faces, either external or coordination uncertainty. (shrink)

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)

This paper examines two strands of literature regarding economic models of cooperation. First, payoff transformation theories assume that people may not be exclusively motivated by self-interest, but also care about equality and fairness. Second, team reasoning theorists assume that people might reason from the perspective of the team, rather than an individualistic perspective. Can these two theories be unified? In contrast to the consensus among team reasoning theorists, I argue that team reasoning can be viewed as a particular type of (...) payoff transformation. However, I also demonstrate that many payoff transformations yield actions that team reasoning rules out. (shrink)

Fair prioritization of healthcare resources has been on the agenda for decades, but resource allocation dilemmas in clinical practice remain challenging. Can clinical ethics committees be of help? The aim of the study was to explore whether and how CECs handle priority setting dilemmas and contribute to raising awareness of fairness concerns. Descriptions of activities involving priority setting in annual reports from Norwegian CECs were studied and categorized through qualitative content analysis. Three hundred thirty-nine reports from 38 CECs were studied. (...) We found 78 activities where resource use or priority setting were explicitly highlighted as main topics. Of these, 29 were seminars or other educational activities, 21 were deliberations on individual patient cases, whereas 28 were discussions of principled or general cases. Individual patient cases concerned various distributional dilemmas where values were at stake. Six main topics and seven roles for the CEC were identified. CECs handle issues concerning the introduction of new costly drugs, extraordinarily costly established treatment, the application of priority setting criteria, resource use for vulnerable groups, resource constraints compromising practice, and futility of care. The CEC can act as an analyst, advisor, moderator, disseminator, facilitator, watch dog, and guardian of values and laws. In order to fulfil their responsibilities in handling priority setting cases, CECs need knowledge of both the ethics and the institutionalized systems of priority setting. There is potential for developing this aspect of the CECs’ work further. The Norwegian CECs are involved in priority setting decisions where they can play multiple constructive roles. In particular, they advise and raise awareness of ethical aspects in resource allocations; bridge clinical practice with higher-level decisions; and promote fair resource allocation and stakeholder rights and interests. (shrink)

Background Fair prioritization of healthcare resources has been on the agenda for decades, but resource allocation dilemmas in clinical practice remain challenging. Can clinical ethics committees be of help? The aim of the study was to explore whether and how CECs handle priority setting dilemmas and contribute to raising awareness of fairness concerns. Method Descriptions of activities involving priority setting in annual reports from Norwegian CECs were studied and categorized through qualitative content analysis. Results Three hundred thirty-nine reports from 38 (...) CECs were studied. We found 78 activities where resource use or priority setting were explicitly highlighted as main topics. Of these, 29 were seminars or other educational activities, 21 were deliberations on individual patient cases, whereas 28 were discussions of principled or general cases. Individual patient cases concerned various distributional dilemmas where values were at stake. Six main topics and seven roles for the CEC were identified. CECs handle issues concerning the introduction of new costly drugs, extraordinarily costly established treatment, the application of priority setting criteria, resource use for vulnerable groups, resource constraints compromising practice, and futility of care. The CEC can act as an analyst, advisor, moderator, disseminator, facilitator, watch dog, and guardian of values and laws. Discussion In order to fulfil their responsibilities in handling priority setting cases, CECs need knowledge of both the ethics and the institutionalized systems of priority setting. There is potential for developing this aspect of the CECs’ work further. Conclusions The Norwegian CECs are involved in priority setting decisions where they can play multiple constructive roles. In particular, they advise and raise awareness of ethical aspects in resource allocations; bridge clinical practice with higher-level decisions; and promote fair resource allocation and stakeholder rights and interests. (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)

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)

The vanishing point is a representational gap that organizes the visual field. Study of this singularity revolutionized art in the fifteenth century. Further reflection on the vanishing point invites the conjecture that the self is an absence. This paper opens with perceptual peculiarities of the vanishing point and closes with the metaphysics of personal identity.