The initial premise of this paper is that the structure of a proof is inherent in the definition of the proof. Side conditions to deal with the discharging of assumptions means that this does not hold for systems of natural deduction, where proofs are given by monotone inductive definitions. We discuss the idea of using higher order definitions and the notion of a functional closure as a foundation to avoid these problems. In order to focus on structural issues we introduce (...) a more abstract perspective, where a structural proof theory becomes part of a more general theory of functional closures. A notion of proof equations is discussed as a structural classifier and we compare the Russell and Ekman paradoxes to illustrate this. (shrink)

A general definition theory should serve as a foundation for the mathematical study of definitional structures. The central notion of such a theory is a precise explication of the intuitively given notion of a definitional structure. The purpose of this paper is to discuss the proof theory of partial inductive definitions as a foundation for this kind of a more general definition theory. Among the examples discussed is a suggestion for a more abstract definition of lambda-terms (derivations in natural deduction) (...) that could provide a basis for a more systematic definitional approach to general proof theory. (shrink)

This book closely examines our commonly held beliefs about human suffering, and offers unique insights into God's role in why we suffer. Dr. Perri critically examines what it means to be human from a Judeo-Christian perspective, and extrapolates from the work of Carl Gustav Jung showing a deeply complex development of human transcendence in human suffering. On an interpersonal level, Dr. Perri elaborates on the work of Martin Buber and Emanuel Levinas and shows how our suffering can be shared and (...) lessened by our unconditionality and presence for the other. Scriptural passages are quoted from both the Hebrew and New Testament texts, and are used to depict the suffering of humankind as seen in the face of Job. It was this face, according to Perri, that Jesus saw in the faces of those He came to redeem, and that ultimately brought Him to the crucifix of redemption. Dr. Perri challenges Sartre's position that our existence precedes our essence, and draws on the work of Abraham Joshua Heschel and Christian theology in this regard. He further elaborates a neurodevelopmental paradigm that creates essence as the basis of our freedom to choose. This book can be read and studied by both professionals in the helping and healing professions, and lay persons seeking to better understand our suffering, and how to better help those who suffer. Dr. Perri offers specific ways in how to be present for those who suffer, how to read and receive the hidden language of human suffering, and how to use silence as a communication skill. (shrink)

This volume contains papers presented at the second international workshop on extensions of logic programming, which was held at the Swedish Institute of Computer Science, Stockhom, January 27-29, 1991. The 12 papers describe and discuss several approaches to extensions of logic programming languages such as PROLOG, as well as connections between logic programming and functional programming, theoretical foundations of extensions, applications, and programming methodologies. The first workshop in this series was held in T}bingen in 1989 and its proceedings areavailable as (...) LNCS 475. The third workshop will be held in Bologna in 1992. (shrink)

The draft Code of Conduct for Research is an important initiative towards assisting the scientific community in complying with the provisions of the Protection of Personal Information Act 4 of 2013 (POPIA). However, its approach towards cross-border data sharing should be reconsidered to clarify the ambiguities inherent in the legal requirements for the cross-border sharing of health data in the POPIA. These ambiguities include the concept of ‘transfer of information’, the application of adequacy as a legal mechanism for transfer, the (...) nature of consent for cross-border sharing and the scope of the recipient third party. We suggest that the draft Code of Conduct for Research can be improved by: Explaining or defining the concept of ‘transfer of information’ and when it applies to cross-border sharing in research Clarifying the application of adequacy as a legal mechanism for transfer vis-à-vis the other alternatives Expanding on the interpretation and application of consent as a legal mechanism for cross-border transfers Expanding the category of persons who may be recipients of personal information in a third country. (shrink)

In this timely book L.W. Sumner addresses these issues within the wider context of palliative care for patients in the dying process.

A substantial portion of Adam Smith's discussion of Stoicism in TMS VII is dedicated to the Stoic “principle of suicide,” according to which suicide is sometimes morally required. While scholars agree that Stoicism exercised considerable influence over Smith, no recent work has explored his views on suicide, despite the central role it plays in his treatment of Stoicism. I argue that Smith opposes the principle of suicide on both epistemic and moral grounds, providing an important critique of Stoicism. I also (...) show how Smith departs from other early modern accounts of suicide by offering a notably humane analysis of this tragic act. I conclude by considering what Smith's discussion of Stoicism and suicide tells us about his moral theory, and I forward a reading of Smith as a skeptic. (shrink)

The object of this paper is to show why recent research in the psychology of deductive and probabilistic reasoning does not have.

It is widely agreed among broadly Anselmian theists that God is in some sense the 'delimiter of possibilities.' In other words, the scope of possibility is explained by the manner in which the universe emanates from God. However, existing accounts of God's role here—in terms of freedom, choice, or power—face serious difficulties. The present paper provides a new account of God's role as the delimiter of possibilities in terms of the different manner in which the non-actuality of non-actual states of (...) affairs is explained. Intuitively and metaphorically, we can think of the menu of states of affairs being 'whittled down' in successive stages of a process of divine decision-making, with the different species of impossibility corresponding to when and how the states of affairs are ruled out. I argue that this approach provides genuine contingency while also preserving the Principle of Sufficient Reason. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy, Psychiatry, & Psychology 8.4 (2001) 317-322 [Access article in PDF] On Wolfgang Blankenburg, Common Sense, and Schizophrenia Aaron L. Mishara Introduction In its increasing openness to neuroscience (Cowan, Harter, and Kandel 2000) and other of its neighboring disciplines, mainstream biological psychiatry has allowed psychopathology, philosophy, and philosophical approaches to psychopathology to play an increased role in current research interests. Given this new openness, and the acknowledgment of the (...) severity of one of psychiatry's most debilitating, costly, and intractable disorders, 1 the translation of W. Blankenburg's 1969 article concerning the psychopathology of common sense does not merely serve historical interest. It is an exceptional example of a not well-known trend in German- and French-speaking psychiatry to apply philosophical phenomenology and existentialism to psychopathological research. This trend, which reached a peak in the late 1950s and was strong well into the 1970s, has dwindling, but nevertheless, current representatives in Heidelberg and Zurich and is scattered in a few other places in Europe, Japan, the United States, and South America. The view of the Zeitgeist—which may sound astonishing, even antiquated to contemporary readers—was highly ambitious: Conceptual approaches, such as philosophical ("transcendental") phenomenology, were expected to supply knowledge about the structure of consciousness and its disturbance in various mental disorders.Following the lead of Binswanger and Szilasi, who viewed schizophrenia as an "experiment of nature" that enables us to view underlying processes otherwise hidden to "natural, everyday consciousness," Blankenburg believed that it may be possible to map the formal properties of the psychopathology of schizophrenia—precisely in the loss of common sense—as a disturbance to the basic organization of conscious experience. Any attempt to summarize this rather abstract and complex approach in a brief commentary would be ill advised. In passing, rather, I will remark that such efforts could have profound relevance to the current research of schizophrenia and its underlying neurobiology. This research has gradually acknowledged the importance of taking the patient's subjective experience of the disorder into account (Mishara, Parnas, and Naudin 1998). In this commentary, I will first give an account of the biographical and clinical reasons that led Blankenburg to turn to the problem of common sense and its relevance for schizophrenia. I will then explore what implications [End Page 317] his work may have for more recent findings concerning schizophrenia. Blankenburg's Intellectual Development Born in 1928, W. Blankenburg, the son of a Lufthansa pilot who pioneered transatlantic commercial flights, began his studies in Freiburg im Breisgau in 1947. While at Freiburg, Blankenburg heard lectures in philosophy given by E. Fink (the former assistant to Husserl) and Max Mueller, and in psychology, by R. Heiss and others. After three years, Blankenburg turned to the study of medicine, producing a dissertation in 1956 on an application of Daseinsanalysis (Heidegger and Binswanger) to a case of paranoid schizophrenia. Binswanger wrote the forward to the publication. Between 1956 and 1958, Blankenburg studied internal medicine in Heidelberg with the accomplished phenomenologist of bodily experience (Leibphaenomenologer) and student of V. von Weizsaecker Herbert Pluegge. He spent one semester in Goettingen where he attended lectures by the ontological philosopher Nicolai Hartmann, who provided for Blankenburg a more useful approach to the problem of nature and natural science than Heidegger's primary emphasis on the question of Being. During his Freiburg years, Blankenburg attended small seminars led by Heidegger in the Schwarzwald forest. (Heidegger had been forbidden to teach after the end of World War II.) Blankenburg recalls that the participants would sit on logs in an open field as if to invoke Heidegger's concept of the clearing (Lichtung) of Being. While not entirely sympathetic with Heidegger's philosophy, Blankenburg learned to carefully "listen"—as Heidegger would repeatedly emphasize—to language, not merely poetic or philosophical language, but the language of the patients he would meet in clinical practice.During this time, Blankenburg heard lectures by W. Szilasi, the philosopher-scientist who held Husserl's and Heidegger's chair in the department of philosophy. Szilasi collaborated with the phenomenological psychiatrist, L. Binswanger. Their effort to apply concepts from Husserl's... (shrink)

The study examines the relationship between the strength of an organizationÕs ethical climate and ethical problems involving human resource management. Data were collected through a survey of 1078 human resource managers. The results indicate a statistically significant negative relationship between the strength of an organization'ss ethical climate and the seriousness of ethical violations and a statistically significant positive relationship between an organization'ss ethical climate and success in responding to ethical issues. Thus, interventions that strengthen an organization'ss ethical climate may help (...) manage ethical behavior within organizations. (shrink)

Next SectionObjective The purpose of this article is to investigate the need for ethics support in Dutch healthcare institutions in order to understand why ethics support is often not used in practice and which factors are relevant in this context. Methods This study had a mixed methods design integrating quantitative and qualitative research methods. Two survey questionnaires, two focus groups and 17 interviews were conducted among board members and ethics support staff in Dutch healthcare institutions. Findings Most respondents see a (...) need for ethics support. This need is related to the complexity of contemporary healthcare, the contribution of ethics support to the core business of the organisation and to the surplus value of paying structural attention to ethical issues. The need for ethics support is, however, not unconditional. Reasons for a lacking need include: aversion of innovations, negative associations with the notion of ethics support service, and organisational factors like resources and setting. Conclusion There is a conditioned need for ethics support in Dutch healthcare institutions. The promotion of ethics support in healthcare can be fostered by focusing on formats which fit the needs of (practitioners in) healthcare institutions. The emphasis should be on creating a (culture of) dialogue about the complex situations which emerge daily in contemporary healthcare practice. (shrink)

There is a prima facie conflict between the values of love and autonomy. How can we bind ourselves to a person and still enjoy the fruits of self-determination? This chapter argues that the solution to this conflict lies in recognizing that love is the basis of autonomy: one must love a person in order to truly appreciate their autonomy. To make this case, this chapter defends a minimalist account of love, according to which love is an agreeable sensation that is (...) experienced when considering the existence of another person. On this view, the lover does not desire anything from the beloved but works to attend to their presence. Love, then, puts us in a position to appreciate the beloved in their particular way of being. By accepting the presence of the beloved we gain a sense of their autonomy. The roots of this account of love are found in the writings of Damaris Cudworth Masham. This chapter draws on the work of Kieran Setiya, David Velleman, and Kyla Ebels-Duggan to elaborate on and defend Masham’s views. (shrink)

Comment by Aaron L. Mackler on “‘Through Her I Too Shall Bear a Child’: Birth Surrogates in Jewish Law” by Elie Spitz Reply by Elie Kaplan Spitz Research Note by G. Scott Davis.

In lieu of an abstract, here is a brief excerpt of the content:Commentary on “Wilhelm Griesinger”Aaron L. Mishara (bio)Arens situates Wilhelm Griesinger in a historical context with which we are no longer familiar. In doing so, she has performed an important task for contemporary clinicians, philosophers, and historians. We find ourselves working and thinking (both in everyday clinical practice and in the construction of our models of mental disorder) with the same categories that Griesinger struggled to sort out and redefine; (...) we often do so, however, without awareness of their history or lack of permanence. Ackerknecht writes that all the dominant trends in modern psychiatry can be traced back to Griesinger; he states that Griesinger is the “founder of neuropsychiatry,” a “merging of the two disciplines” neurology and psychiatry. Griesinger presents us with a “systematic synthesis of the anatomical, physiological, psychological and clinical points of view” (Ackerknecht 1959, 63). Somewhat contrarily, Karl Jaspers, in his General Psychopathology, groups Griesinger with the great observers and describers of clinical experience rather than among the systematic analyzers (Jaspers 1963, 849–50). Although Griesinger is best known for his identification of mental disorders as a subset of brain diseases, Karl Bonhoeffer, a successor to Griesinger as director of the Charité Clinic in Berlin, cautions that Griesinger “continued to see in psychological causes the most frequent and abundant source of mental disorders” (Bonhoeffer 1911, 53). Kales, Kales, and Vela-Bueno, however, write, “Griesinger was representative of a clinical movement that minimized the value of psychological concepts in the understanding of mental diseases” (Kales, Kales, and Vela-Bueno 1990, 15). Precisely because of his importance, contention surrounds his legacy.If Griesinger is the pioneer of empirical approaches in biological neuropsychiatry (as Ackerknecht and others claim), he is also precursor to philosophical criticisms of their limits. It is not so easy to lump Griesinger to one side of the oppositions with which we think today: Griesinger’s scientific psychiatry (formed on the basis of the newly emergent empirical physiology) was meant to steer between the Scylla of the previously reigning overspeculative romantic medicine and the Charybdis of the antitheoretical and “positivistic” materialism of Magendie. As Arens suggests, even during the same generation of university psychiatry which Griesinger was critical in forming, he was posthumously denounced as belonging to the Hegelian idealists; later, he was proclaimed to be an empiricist. Griesinger’s work contained both idealism and empiricism in a fragile synthesis that soon broke asunder.Hermeneutic theory points out that we inevitably interpret an author, in this case, Griesinger, in terms of the prejudices of our own present context of understanding and our current problems of application to clinical practice (Gadamer 1993). On the one hand, we benefit from the advantage of seeing all that follows Griesinger’s work and are able to “understand the author [End Page 165] better than he understood himself.” We are able to see what he only anticipates but is still not able to explicitly articulate as the unpredicted effects of his work. On the other hand, our interpretations are encumbered by the sedimentations of the views of his successors: his work lies buried under the subsequent interpretations and vicissitudes of a reception with its own agendas, contexts of interpretation, and realms of application. It would be easier if we could simply assign him to one side of our current debates concerning mind/body, individual/culture, and explanation/understanding rather than seeing that our present quandaries in understanding, classifying, and treating mental disorder result precisely from a reading of Griesinger that is not careful enough. It is here that Arens can help us develop our present views further by reviewing their past.Although Griesinger is heralded as the pioneer of an empirical physiological approach which employs a natural scientific concept of mechanism (Ackerknecht, O. Marx, Verwey), Arens situates him in the tradition of Kant and German idealism. It is perhaps this solution of being both philosophical and empirical which seems hard for us, today, to understand. We have come to view these directions as contradictory, to be necessarily in a mutually exclusive relationship. (But that is rather the expression of the present impasse and not the way that Griesinger originally approached these problems.) Arens ambitiously retraces the genealogy of Griesinger’s model... (shrink)

If you utter sentence (1) ‘Obama was born in 1961’ now, you say something true about the past. Since the past will always be such that the year 1961 has the property of being a time in which Obama was born, it seems impossible that could ever be false in a future context of utterance. We shall consider the case of a sentence about the past exactly like (1), but which was true when uttered a few years ago and is (...) no longer true now. On this basis, we shall conclude that the past has changed. (shrink)

L'article explore la notion wébérienne de «domination rationnelle» comme outil pour analyser les rapports entre les efforts de gestion des populations indigènes par l'État colonial, et le développement d'une forme spécifique de rationalité scientifique, prenant pour objet ces populations: les savoirs anthropologiques. En s'appuyant sur le cas de l'Afrique coloniale française, on s'efforce de montrer comment les dimensions d'instrumentation (avec la production d'instruments d'identification et de compréhension) et de légitimation sont essentielles dans l'émergence de savoirs sur les sociétés et les (...) cultures indigènes, d'abord au sein des appareils administratifs, mais aussi dans les institutions savantes métropolitaines. L'appui au développement de la science de l'homme se fait dans le cadre de projets de « rationalisation » de la colonisation qui rapprochent des savants et des réformateurs liés à l 'École coloniale, voulant redéfinir la profession d'administrateur colonial comme «spécialiste des indigènes». (shrink)