We relate two sequential models of PCF: the sequential algorithm model due to Berry and Curien and the strongly stable model due to Bucciarelli and the author. More precisely, we show that all the morphisms araising in the strongly stable model of PCF are sequential in the sense that they are the “extensional projections” of some sequential algorithms. We define a model of PCF where morphisms are “extensional” sequential algorithms and prove that any equation between PCF terms which holds in (...) this model also holds in the strongly stable model. (shrink)

Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The (...) volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area. (shrink)

We extend to the exponential connectives of linear logic the study initiated in Bucciarelli and Ehrhard 247). We define an indexed version of propositional linear logic and provide a sequent calculus for this system. To a formula A of indexed linear logic, we associate an underlying formula of linear logic, and a family A of elements of , the interpretation of in the category of sets and relations. Then A is provable in indexed linear logic iff the family A (...) is contained in the interpretation of some proof of . We extend to this setting the product phase semantics of indexed multiplicative additive linear logic introduced in Bucciarelli and Ehrhard , defining the symmetric product phase spaces. We prove a soundness result for this truth-value semantics and show how a denotational model of linear logic can be associated to any symmetric product phase space. Considering a particular symmetric product phase space, we obtain a new coherence space model of linear logic, which is non-uniform in the sense that the interpretation of a proof of !A−B contains informations about the behavior of this proof when applied to “chimeric” arguments of type A . In this coherence semantics, an element of a web can be strictly coherent with itself, or two distinct elements can be “neutral”. (shrink)

We study the notion of logical relation in the coherence space semantics of multiplicative-additive linear logic . We show that, when the ground-type logical relation is “closed under restrictions”, the logical relation associated to any type can be seen as a map associating facts of a phase space to families of points of the web of the corresponding coherence space. We introduce a sequent calculus extension of whose formulae denote these families of points. This logic admits a truth-value semantics in (...) the previously mentioned phase space, and this truth-value semantics faithfully describes the logical relation model we started from. Then we generalize this notion of phase space, we prove a truth-value completeness result for and we derive from any phase model of a denotational model for . Using the truth-value completeness result, we obtain a weak denotational completeness result based on this new denotational semantics. (shrink)

In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic , which is the linear fragment of Olivier Laurent’s Polarized Linear Logic. Our model is based on an adjunction between reflective/coreflective full subcategories / of an ambient *-autonomous category . Similar structures were first introduced by M. Barr in the late 1970’s in abstract duality theory and more recently in work on game semantics for linear logic. The paper has two goals: to discuss concrete models and (...) to present various completeness theorems.As concrete examples, we present a hypercoherence model, using Ehrhard’s hereditary/anti-hereditary objects, a Chu-space model, a double gluing model over our categorical framework, and a model based on iterated double gluing over a *-autonomous category.For the multiplicative fragment of. (shrink)

We consider a notion of sequential functional of finite type, more generous than the familiar notion embodied in Plotkin's language PCF. We study both the “full” and “effective” partial type structures arising from this notion of sequentiality. The full type structure coincides with that given by the strongly stable model of Bucciarelli and Ehrhard; it has also been characterized by van Oosten in terms of realizability over a certain combinatory algebra. We survey and relate several known characterizations of these (...) type structures, and obtain some new ones. We show that every finite type can be obtained as a retract of the pure type , and hence that all elements of the effective type structure are definable in PCF extended by a certain universal functional H. We also consider the relationship between our notion of sequentially computable functional and other known notions of higher-type computability. (shrink)

Ethical attitudes and behaviour are complex. This complexity extends to the influencers operating at different levels both outside and within the organisation, and in different combinations for different individuals. There is hence a growing need to understand the proximal and distal influencers of ethical attitudes, and how these operate in concert at the individual, organisational, and societal levels. Few studies have attempted to combine these main research streams and systematically examine their combined impact. The minority of studies that have taken (...) a combined approach have often done so using conventional statistical and analytical techniques which imply linearity between variables—a situation that rarely exists in business settings and is likely to lead to simplistic or even erroneous conclusions. Applying a fuzzy-set qualitative comparative analysis approach, this paper reports on the mutual and simultaneous influence of individual demographic factors, as well as proximal and distal factors stemming from within and outside the work environment to understand individuals’ ethical views within the workplace. The multiple configurations that emerged reveal the complex nature of influencers of ethical attitudes, and reinforce the view that “one size does not fit all”. We discuss these implications together with managerial recommendations and future research directions. (shrink)

The paper builds on the postulate of “myths we live by,” which shape our imaginative life (and hence our social expectations), but which are also open to reflective study and reinvention. It applies this principle, in particular, to the concepts of love and vulnerability. We are accustomed to think of the condition of vulnerability in an objectifying and distancing way, as something that affects the bearers of specific (disadvantaged) social identities. Against this picture, which can serve as a pretext for (...) paternalist and controlling attitudes to the groups in question – notably to women – Anderson urges us to reimagine our vulnerability as a condition not merely of exposure to violence but of openness to mutual affection, love, and friendship. Hegel’s celebrated image of the owl of Minerva, which takes wing only with the coming of dusk, suggests an association of (philosophical) wisdom with negativity – with the experience of death or loss. Anderson, by contrast, proposes an alternative and more hopeful image of the dawn of enlightenment, in the guise of new ethical dispositions shaped by an emancipatory (and so, no longer an oppressive or sexist) conception of our capacity for love. Her main interlocutors or influences in this piece are Judith Butler (who contributes the idea of a “relational ontology”), Michèle Le Doeuff, and Mary Midgley. (shrink)

Most philosophical systems of ethics are based upon the reciprocity principle as expressed by the Golden Rule: “Do unto others as you would have them do unto you!” The same idea underlies Kant's categorical imperative: “Act always on such a maxim as thou canst at the same time will to be a universal law!” Here, the individual act is generalized into, and considered as the specific application of the general law of ethics.

Changing the worldview and cultural paradigm of the modern world with the inherent transformation of value orientations and the search for the life-meaning foundations of being leads to increased interest in the problems of spirituality. After all, spirituality is the most important pillar of human existence and the highest principle that determines the essence of man and his over-welcoming purpose. In the historical memory of the people, in its cultural traditions, spirituality has been sanctified for millennia by a religion that (...) sought to restrain primitive instincts and affirmation at all levels of being a moral person. Religion, as a spiritual phenomenon, is directly connected with man, with his attachment to the high meanings and the semantic fullness of being in general. The search for meaning promotes a person beyond the limits of the actual being given to him and ensures the integrity of the individual, affirmation of the person as an origin and bringing it to the culture and values. (shrink)

Extensively updated to include clinical findings over the last two decades, this third edition of A Practitioner's Guide to Rational-Emotive Behavior Therapy reviews the philosophy, theory, and clinical practice of Rational Emotive Behavior Therapy. This model is based on the work of Albert Ellis, who had an enormous influence on the field of psychotherapy over his 50 years of practice and scholarly writing. Designed for both therapists-in-training and seasoned professionals, this practical treatment manual and guide introduces the basic principles of (...) rational-emotive behavior therapy, explains general therapeutic strategies, and offers many illustrative dialogues between therapist and patient. The volume breaks down each stage of therapy to present the exact procedures and skills therapists need, and numerous case studies illustrate how to use these skills. The authors describe both technical and specific strategic interventions, and they stress taking an integrative approach. The importance of building a therapeutic alliance and the use of cognitive, emotive, evocative, imaginal, and behavioral interventions serves as the unifying theme of the approach. Intervention models are presented for the treatment of anxiety, depression, trauma, anger, personality disorders, and addictions. Psychologists, clinical social workers, mental health counselors, psychotherapists, and students and trainees in these areas will find this book useful in learning to apply rational-emotive behavior therapy in practice. (shrink)

Objectives: Evidence based patient choice seems based on a strong liberal individualist interpretation of patient autonomy; however, not all patients are in favour of such an interpretation. The authors wished to assess whether ideals of autonomy in clinical practice are more in accordance with alternative concepts of autonomy from the ethics literature. This paper describes the development of a questionnaire to assess such concepts of autonomy.Methods: A questionnaire, based on six moral concepts from the ethics literature, was sent to aneurysm (...) patients and their surgeons. The structure of the questionnaire was assessed by factor analysis, and item reduction was based on reliability.Results: Ninety six patients and 58 surgeons participated. The questionnaire consisted of four scales. Two of the scales reflected the paternalistic and consumerist poles of the liberal individualist model, one scale reflected concepts of Socratic autonomy and of procedural independence, and the fourth scale reflected ideals of risk disclosure.Discussion: The Ideal Patient Autonomy Scale is a 14 item normative instrument. It is clearly distinct from the generally used psychological preference questionnaires that assess preferences for physician-patient roles. (shrink)

In this paper we examine the functional anatomy of volition, as revealed by modern brain imaging techniques, in conjunction with neuropsychological data derived from human and non-human primates using other methodologies. A number of brain regions contribute to the performance of consciously chosen, or ‘willed', actions. Of particular importance is dorsolateral prefrontal cortex , together with those brain regions with which it is connected, via cortico-subcortical and cortico-cortical circuits. That aspect of free will which is concerned with the voluntary selection (...) of one action rather than another critically depends upon the normal functioning of DLPFC and associated brain regions. Disease, or dysfunction, of these circuits may be associated with a variety of disorders of volition: Parkinson's disease, ‘utilization’ behaviour, ‘alien’ and ‘phantom’ limbs, and delusions of ‘alien control’ . Brain imaging has allowed us to gain some access to the pathophysiology of these conditions in living patients. At a philosophical level, the distinction between ‘intentions to act', and ‘intentions in action’ may prove particularly helpful when addressing these complex disturbances of human cognition and conscious experience. The exercise and experience of free will depends upon neural mechanisms located in prefrontal cortex and associated brain systems. (shrink)

The problem of justifying legal punishment has been at the heart of legal and social philosophy from the very earliest recorded philosophical texts. However, despite several hundred years of debate, philosophers have not reached agreement about how legal punishment can be morally justified. That is the central issue addressed by the contributors to this volume. All of the essays collected here have been published in the highly respected journal Philosophy & Public Affairs. Taken together, they offer not only significant proposals (...) for improving established theories of punishment and compelling arguments against long-held positions, but also ori-ginal and important answers to the question, "How is punishment to be justified?"Part I of this collection, "Justifications of Punishment," examines how any practice of punishment can be morally justified. Contributors include Jeffrie G. Murphy, Alan H. Goldman, Warren Quinn, C. S. Nino, and Jean Hampton. The papers in Part II, "Problems of Punishment," address more specific issues arising in established theories. The authors are Martha C. Nussbaum, Michael Davis, and A. John Simmons. In the final section, "Capital Punishment," contributors discuss the justifiability of capital punishment, one of the most debated philosophical topics of this century. Essayists include David A. Conway, Jeffrey H. Reiman, Stephen Nathanson, and Ernest van den Haag. (shrink)