This paper explores the ambiguous notion of bodily integrity, focusing on male and female circumcision. In the empirical part of the study we describe and analyse the various meanings that are given to the notion of bodily integrity by people in their daily lives. In the philosophical part we distinguish (1) between a person-oriented and a body-oriented approach and (2) between four levels of interpretation, i.e. bodily integrity conceived of as a biological wholeness, an experiential wholeness, an intact wholeness, and (...) as an inviolable wholeness. We argue that bodily integrity is a prima facie principle in its own right, closely connected with, but still fundamentally different from, the principle of personal autonomy, that is, autonomy over the body. (shrink)

Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers 4 systems of illative combinatory logic that are sound for first-order propositional and predicate calculus. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators, or in a more direct way, in which derivations are not translated. Both translations (...) are closely related in a canonical way. In a preceding paper, Barendregt, Bunder and Dekkers, 1993, we proved completeness of the two direct translations. In the present paper we prove completeness of the two indirect translations by showing that the corresponding illative systems are conservative over the two systems for the direct translations. In another version, DBB (1997), we shall give a more direct completeness proof. These papers fulfill the program of Church and Curry to base logic on a consistent system of $\lambda$ -terms or combinators. Hitherto this program had failed because systems of ICL were either too weak (to provide a sound interpretation) or too strong (sometimes even inconsistent). (shrink)

Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers systems of illative combinatory logic that are sound for first-order propositional and predicate calculus. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators or, in a more direct way, in which derivations are not translated. Both translations are (...) closely related in a canonical way. The two direct translations turn out to be complete. The paper fulfills the program of Church [1932], [1933] and Curry [1930] to base logic on a consistent system of λ-terms or combinators. Hitherto this program had failed because systems of ICL were either too weak (to provide a sound interpretation) or too strong (sometimes even inconsistent). (shrink)

Over the last few decades there has been a revival of interest in virtue ethics, with the emphasis on the virtuous caregiver. This paper deals with the ‘virtuous patient’, specifically the patient with End Stage Renal Disease (ESRD). We believe that a virtue approach provides insights not available to current methods of studying coping styles and coping strategies. Data are derived from seven semi-structured in-depth interviews. The transcripts of the interviews were subjected to an Interpretative Phenomenological Analysis (IPA). The focus (...) of the analysis was on ‘living well with chronic illness’. It appears that the moral challenges faced by patients with an ESRD are manifold. When they are invited to tell the story of their illness, they do not explicitly speak of virtues, but they often refer to moral qualities, and to attitudes that can be regarded as virtuous. We identify several such concepts in the narratives of patients with ESRD. We conclude that the Aristotelian model of virtue ethics is particularly descriptively (and possibly also normatively) relevant to the explanation of the life narratives and the moral challenges of patients with an ESRD. (shrink)

Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. In a preceding paper, [2], we considered 4 systems of illative combinatory logic that are sound for first order intuitionistic propositional and predicate logic. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators, or in a more direct way, in which (...) derivations are not translated. Both translations are closely related in a canonical way. In the cited paper we proved completeness of the two direct translations. In the present paper we prove that also the two indirect translations are complete. These proofs are direct whereas in another version, [3], we proved completeness by showing that the two corresponding illative systems are conservative over the two systems for the direct translations. Moreover we shall prove that one of the systems is also complete for predicate calculus with higher type functions. (shrink)

Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants intended to capture inference. In a preceding paper, [2], we considered 4 systems of illative combinatory logic that are sound for first order intuitionistic propositional and predicate logic. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators, or in a more direct way, in which derivations are not translated. Both (...) translations are closely related in a canonical way. In the cited paper we proved completeness of the two direct translations. In the present paper we prove that also the two indirect translations are complete. These proofs are direct whereas in another version, [3], we proved completeness by showing that the two corresponding illative systems are conservative over the two systems for the direct translations. Moreover we shall prove that one of the systems is also complete for predicate calculus with higher type functions. (shrink)

Pure Type Systems, PTSs, introduced as a generalisation of the type systems of Barendregt's lambda-cube, provide a foundation for actual proof assistants, aiming at the mechanic verification of formal proofs. In this paper we consider simplifications of some of the rules of PTSs. This is of independent interest for PTSs as this produces more flexible PTS-like systems, but it will also help, in a later paper, to bridge the gap between PTSs and systems of Illative Combinatory Logic. First we consider (...) a simplification of the start and weakening rules of PTSs, which allows contexts to be sets of statements, and a generalisation of the conversion rule. The resulting Set-modified PTSs or SPTSs, though essentially equivalent to PTSs, are closer to standard logical systems. A simplification of the abstraction rule results in Abstraction-modified PTSs or APTSs. These turn out to be equivalent to standard PTSs if and only if a condition (*) holds. Finally we consider SAPTSs which have both modifications. (shrink)

Pure Type Systems, PTSs, introduced as a generalisation of the type systems of Barendregt's lambda-cube, provide a foundation for actual proof assistants, aiming at the mechanic verification of formal proofs. In this paper we consider simplifications of some of the rules of PTSs. This is of independent interest for PTSs as this produces more flexible PTS-like systems, but it will also help, in a later paper, to bridge the gap between PTSs and systems of Illative Combinatory Logic. First we consider (...) a simplification of the start and weakening rules of PTSs, which allows contexts to be sets of statements, and a generalisation of the conversion rule. The resulting Set-modified PTSs or SPTSs, though essentially equivalent to PTSs, are closer to standard logical systems. A simplification of the abstraction rule results inion-modified PTSs or APTSs. These turn out to be equivalent to standard PTSs if and only if a condition holds. Finally we consider SAPTSs which have both modifications. (shrink)

What is the right thing to do? -- "You have nothing to fear if you've done nothing wrong" -- Between culpable and blameless -- Are all mistakes equal? -- Report, disclose, protect, learn -- A just culture in your organization -- The criminalization of human error -- Is criminalization bad for safety? -- Without prosecutors, there would be no crime -- Three questions for your just culture -- Why do we blame?

Rosa Menkman proposed that the concept of glitch should be considered a tipping point, a momentum, that can be seized, in which the power of subjectivity and the collaborative efforts of creators and the active spectators take centre stage. This article will discuss how in the last decades the glitch as noise and techne has shifted towards glitch as precarious aesthetics and how it has become associated with decolonial and feminist modes of critique. While the glitch is still seen as (...) a material, a techne, there is a resistant aesthetics of mutiny, a tactical revolt of the material that is confronting systemic standardization, bias and institutionalization. As presented in the exhibition VJ Um Amel, Beit Um Amel (2020), the technologically induced phenomena are analogous with the crises and states of emergency in various global infrastructures, systems and information channels. (shrink)

Beschouwingen vanuit een orthodox perspectief aan de hand van Bijbelse verhalen over of oude opvattingen inzake geloof en God nog zinvol zijn in een geseculariseerde wereld.

In this article some of the presuppositions that underly the current ideas about decision making capacity, autonomy and independence are critically examined. The focus is on chronic disorders, especially on chronic physical disorders. First, it is argued that the concepts of decision making competence and autonomy, as they are usually applied to the problem of legal (in)competence in the mentally ill, need to be modified and adapted to the situation of the chronically (physically) ill. Second, it is argued that autonomy (...) and dependence must not be considered as two mutually exclusive categories. It is suggested that decision making may take on the form of a more or less conscious decision not to be involved in making all kinds of explicit and deliberate decisions. Elaborating on Agich's distinction between ideal and actual autonomy, the concept of Socratic autonomy is introduced. (shrink)

Sentences containing pronouns and indefinite noun phrases can be said toexpress open propositions, propositions which display gaps to be filled.This paper addresses the question what is the linguistic content ofthese expressions, what information they can be said to provide to ahearer, and in what sense the information of a speaker can be said tosupport their utterance. We present and motivate first order notions ofcontent, update and support. The three notions are each defined in acompositional fashion and brought together within a (...) single and coherentframework. (shrink)

The paper presents a renewed Habermasian view on transnational multi-stakeholder initiatives and assesses the institutional characteristics of the Equator Principles Association from a deliberative democracy perspective. Habermas’ work has been widely adopted in the academic literature on the political responsibilities of corporations, and also in assessing the democratic qualities of MSIs. Commentators, however, have noted that Habermas’ approach relies very much on ‘nation-state democracy’ and may not be applicable to democracy in MSIs—in which nation-states are virtually absent. We argue that (...) Habermas’ detailed conceptualization of the institutionalization of deliberative democracy can be applied to transnational MSIs if these initiatives can be said to have their own ‘dèmoi’ that can be represented in associational decision-making. Therefore, we develop a definition of the dèmos of an MSI based on the notion of collective agency. Subsequently, we explain how Habermas’ approach to democracy can be applied to MSIs and show that it has more to offer than hitherto has been uncovered. Our illustrative analysis of the EPA confirms the criticisms regarding this MSI which have recently been articulated by researchers and practitioners, but also yields new findings and possible avenues for the further development of the EPA: That is, although our assessment suggests that the EPA in its current state is still far from being a democratic MSI, the possibility of a sensible analysis of its democratic character indicates that transnational MSIs can, in principle, help to fill governance gaps in a democratic way. (shrink)

Erst kommt das Leben, dann der Tod, denken viele. Doch schon das Verweilen vor einem Grab eröffnet einen Dialog, der das Band zwischen dem Vergangenen und Gegenwärtigen spürbar werden lässt: Das Band der Kommunikation zwischen den Toten und den Lebenden scheint unzerreißbar. Der Tod? der eigene und der der anderen - ist eine Kategorie des Lebens, die jeden von uns zur Auseinandersetzung zwingt.0Das Buch von Jean-Pierre Wils ist seit langer Zeit der erste, großangelegte Versuch einer Lehre vom Tod, einer Thanatologie, (...) die ein umfassendes Panorama entfaltet: Todesarten, Todesangst, Todeszeitpunkt werden zum Thema ebenso wie die Frage nach der Unsterblichkeit, dem angemessenen Trösten und den Riten der Bestattung. Angesichts des Todes kommt die Philosophie an ihre Grenze? darum holt der Autor der Philosophie eine?Weggefährtin auf der Erkundungsfahrt zum Tod? an die Seite, nämlich die Literatur. So wird das Buch zu einem einmaligen Grenzgang zwischen Philosophie und Literatur, zwischen Reflexion und Narration und beglaubigt den Satz von Saint-Exupéry:?Es wird aussehen, als wäre ich tot, und das wird nicht wahr sein.? (shrink)

For a few decades, patients with Parkinson's disease have been treated with intracerebral transplantations of fetal mesencephalic tissue. The results of open trials have been variable. Double blind, placebo-controlled studies have recently been started in order to further investigate the efficacy of this new medical technique. In this paper we challenge the need for sham surgery in neurotransplantation research on PD patients. Considerations regarding the research subjects' informed consent, therapeutic misconception, the integrity of the human body, and the assessment of (...) risks and benefits argue against sham surgery for patients with PD. Moreover, there is an alternative, less harmful mode of research that can provide the same or comparable scientific evidence. A plea is made for intrapatient research based on quantitative measurements of the patient's pre- and post-operative condition combined with similar research on a reference group of patients who have received the standard treatment. (shrink)

Medicine does not usually consider the human body from an aesthetic point of view. This article explores the notion of the lived body as aesthetic object in anthropological medicine, concentrating on the views of Buytendijk and Straus on human uprightness and gracefulness. It is argued that their insights constitute a counter-balance to the way the human body is predominantly approached in medicine and medical ethics. In particular, (1) the relationship between anthropological, aesthetic and ethical norms, (2) the possible danger of (...) a naturalistic fallacy, (3) the implications for the care of disabled people and (4) the intrinsic aesthetic quality of the human body are dealt with. (shrink)

Periodic attacks of uncertain origin, where the clinical presentationresembles epilepsy but there is no evidence of a somatic disease, arecalled Pseudo-Epilepsy or Pseudo-Epileptic Attack Disorder (PEAD). PEADmay be called a `non-disease', i.e. a disorder on the fringes ofestablished disease patterns, because it lacks a rationalpathophysiological explanation. The first aim of this article is tocriticize the idea, common in medical science, that diseases are realentities which exist separately from the patient, waiting to bediscovered by the doctor. We argue that doctor and (...) patient construct adisease, and that the construction of the disease PEAD includes manynormative evaluations. The second aim is to provide insight into thesuffering of patients with PEAD. We focus on three aspects of thepatient, identity, autonomy and responsibility. We present somecharacteristic descriptions of (pseudo-)epileptic attacks by FjodorDostoevsky, Gustave Flaubert and Thomas Mann. We argue that diagnosingPEAD reduces a meaningful life event into an insignificant, thoughintriguing, medical phenomenon, and that the patient will not benefitfrom being diagnosed as having PEAD. (shrink)

Social health disparities are increasing in most countries around the world. During the past two decades, a large amount of evidence has emerged about the health consequences of social inequalities. Despite such evidence, the concept of medical fairness, as traditionally defined by the World Medical Association, has remained unchallenged and even reinforced by some scholars who emphasize that doctors should remain neutral to the socioeconomic status of their patients when providing clinical care. The inconsistency between public health and clinical care (...) perspectives raises tension between a narrow interpretation of the ethics of justice, which stresses the importance of equality and impartiality, and the ethics of care, which highlights the importance of particularity and individuality in clinical practice. This article analyzes the concept of medical fairness using the emerging evidence that demonstrates the impact of social health disparities on clinical care. It proposes a new approach of medical fairness based on equity rather than on equality and provides a consistent ethical framework based on Paul Ricoeur’s three levels of medical judgments. This integrative framework provides a better balance between public health and clinical care in medical practice. (shrink)

So cial re search is no lon ger fo cused on the “ob ject” of re al ity, but on and from an af fec tive space relationality in which the “ob jects” form part of the sig nif i cance and sym bol iza tion re la - tions of the sub jects that act inter-sub jec tively. In view of this co-existencial t..

On the basis of ethnographic and historical material this article makes a comparative analysis of the relationship between public events, ceremonies and academic rituals, institutional identity, and processes of transition and power at two universities, one in Mexico and the other in South Africa. The public events examined here play a major role in imagining and bringing about political shifts within universities as well as between universities and external actors. It shows how decisive local histories and constituencies are in mediating (...) and transfiguring identity projects initiated from above. (shrink)

On the basis of ethnographic and historical material this article makes a comparative analysis of the relationship between public events, ceremonies and academic rituals, institutional identity, and processes of transition and power at two universities, one in Mexico and the other in South Africa. The public events examined here play a major role in imagining and bringing about political shifts within universities as well as between universities and external actors. It shows how decisive local histories and constituencies are in mediating (...) and transfiguring identity projects initiated from above. (shrink)

During the last decade a “technical” approach has become increasingly influential in health care priority setting. The various country reports illustrate, however, that non-technical considerations cannot be avoided. As they often remain implicit in health care package decisions, this paper aims to make these normative judgements an explicit part of the procedure. More specifically, it aims to integrate different models of distributive justice as well as the principle of solidarity in four different phases of a decision-making procedure, and to identify (...) important moral choices which present themselves. First four important justice models are discussed, then a justification is given for their inclusion in a four-step decision making procedure. This is followed by a discussion of different justice and solidarity problems—with their inherent conceptual difficulties in each of these stages. The paper concludes with a summary of the major moral choices that are to be made in health care package decisions. (shrink)

Formal semantics - the scientific study of meaning in natural language - is one of the most fundamental and long-established areas of linguistics. This Handbook offers a comprehensive, yet compact guide to the field, bringing together research from a wide range of world-leading experts. Chapters include coverage of the historical context and foundation of contemporary formal semantics, a survey of the variety of formal/logical approaches to linguistic meaning and an overview of the major areas of research within current semantic theory, (...) broadly conceived. The Handbook also explores the interfaces between semantics and neighbouring disciplines, including research in cognition and computation. This work will be essential reading for students and researchers working in linguistics, philosophy, psychology and computer science. (shrink)

Formal semantics - the scientific study of meaning in natural language - is one of the most fundamental and long-established areas of linguistics. This Handbook offers a comprehensive, yet compact guide to the field, bringing together research from a wide range of world-leading experts. Chapters include coverage of the historical context and foundation of contemporary formal semantics, a survey of the variety of formal/logical approaches to linguistic meaning and an overview of the major areas of research within current semantic theory, (...) broadly conceived. The Handbook also explores the interfaces between semantics and neighbouring disciplines, including research in cognition and computation. This work will be essential reading for students and researchers working in linguistics, philosophy, psychology and computer science. (shrink)

In decisions about inclusion (or exclusion) of health care services in the benefit package, different interpretations of notions like health, health risk, disease, quality of life or necessary care often remain implicit. Yet they can lead to different benefit package decisions. After a brief discussion of these concepts in definitions of the goals of medicine, the various value-judgements implicit in interpretations of key notions in health care are analysed and conclusions are drawn with regard to the composition of decision making (...) bodies at various levels. It is further argued that such a body needs to discuss the various interpretations of key-notions explicitly in the various phases of a priority-setting procedure so that more consistent choices can be made in health care priority setting. (shrink)

This book assembles leading legal, political, and moral philosophers to examine the legacy of the work of Ronald Dworkin. They provide the most comprehensive critical treatment of Dworkin's accomplishments focusing on his work in all branches of philosophy, including his theory of value, political philosophy, philosophy of international law, and legal philosophy. The book's organizing principle and theme reflect Dworkin's self-conception as a builder of a unified theory of value, and the broad outlines of his system can be found throughout (...) the book. The first section addresses the most abstract and general aspect of Dworkin's work--the unity of value thesis. The second section explores Dworkin's contributions to political philosophy, and discusses a number of political concepts including authority, civil disobedience, the legitimacy of states and the international legal system, distributive justice, collective responsibility, and Dworkin's master value of dignity and the associated values of equal concern and respect. The third section addresses various aspects of Dworkin's general theory of law. The fourth and final section comprises accounts of the structure and defining values of discrete areas of law. (shrink)