The first system of intersection types, Coppo and Dezani [3], extended simple types to include intersections and added intersection introduction and elimination rules (( $\wedge$ I) and ( $\wedge$ E)) to the type assignment system. The major advantage of these new types was that they were invariant under β-equality, later work by Barendregt, Coppo and Dezani [1], extended this to include an (η) rule which gave types invariant under βη-reduction. Urzyczyn proved in [6] that for both these systems (...) it is undecidable whether a given intersection type is empty. Kurata and Takahashi however have shown in [5] that this emptiness problem is decidable for the sytem including (η), but without ( $\wedge$ I). The aim of this paper is to classify intersection type systems lacking some of ( $\wedge$ I), ( $\wedge$ E) and (η), into equivalence classes according to their strength in typing λ-terms and also according to their strength in possessing inhabitants. This classification is used in a later paper to extend the above (un)decidability results to two of the five inhabitation-equivalence classes. This later paper also shows that the systems in two more of these classes have decidable inhabitation problems and develops algorithms to find such inhabitants. (shrink)

This study described the relationships between academic class and student moral sensitivity and reasoning and between curriculum design components for ethics education and student moral sensitivity and reasoning. The data were collected from freshman (n = 506) and senior students (n = 440) in eight baccalaureate nursing programs in South Korea by survey; the survey consisted of the Korean Moral Sensitivity Questionnaire and the Korean Defining Issues Test. The results showed that moral sensitivity scores in patient-oriented care and conflict were (...) higher in senior students than in freshman students. Furthermore, more hours of ethics content were associated with higher principled thinking scores of senior students. Nursing education in South Korea may have an impact on developing student moral sensitivity. Planned ethics content in nursing curricula is necessary to improve moral sensitivity and moral reasoning of students. (shrink)

The aim of this paper is to investigate a Curry-Howard interpretation of the intersection and union type inference system for Combinatory Logic. Types are interpreted as formulas of a Hilbert-style logic L, which turns out to be an extension of the intuitionistic logic with respect to provable disjunctive formulas (because of new equivalence relations on formulas), while the implicational-conjunctive fragment of L is still a fragment of intuitionistic logic. Moreover, typable terms are translated in a typed version, so that --typed (...) combinatory logic terms are proved to completely codify the associated logical proofs. (shrink)

Ibn al-ʻArabī, 1165-1240; views on freedom; Sufism; Islamic philosophy.

We present a type inference system for pure λ-calculus which includes, in addition to arrow types, also universal and existential type quantifiers, intersection and union types, and type recursion. The interest of this system lies in the fact that it offers a possibility to study in a unified framework a wide range of type constructors. We investigate the main syntactical properties of the system, including an analysis of the preservation of types under parallel reduction strategies, leading to a form of (...) the subject-reduction property. We describe a model for this system where types are special subsets of a D∞ model for λ-calculus, without imposing any formal contractiveness constraint on types of the kind considered for a closely related system by MacQueen, Plotkin and Sethi. (shrink)

Contrary to Vaesen's argument that humans are unique with respect to nine cognitive capacities essential for tool use, we suggest that although such cognitive processes contribute to variation in tool use, it does not follow that these capacities arenecessaryfor tool use, nor that tool use shaped cognition per se, given the available data in cognitive neuroscience and behavioral biology.

This paper discusses the relation between the minimal positive relevant logic B and intersection and union type theories. There is a marvelous coincidence between these very differently motivated research areas. First, we show a perfect fit between the Intersection Type Discipline ITD and the tweaking BT of B, which saves implication and conjunction but drops disjunction . The filter models of the -calculus (and its intimate partner Combinatory Logic CL) of the first author and her coauthors then become theory models (...) of these calculi. (The logician's "theory" is the algebraist's "filter".) The coincidence extends to a dual interpretation of key particles—the subtype translates to provable , type intersection to conjunction , function space to implication, and whole domain to the (trivially added but trivial) truth T. This satisfying ointment contains a fly. For it is right, proper, and to be expected that type union should correspond to the logical disjunction of B. But the simulation of functional application by a fusion (or modus ponens product) operation on theories leaves the key Bubbling lemma of work on ITD unprovable for the -prime theories now appropriate for the modeling. The focus of the present paper lies in an appeal to Harrop theories which are (a) prime and (b) closed under fusion. A version of the Bubbling lemma is then proved for Harrop theories, which accordingly furnish a model of and CL. (shrink)

This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q 3 and we construct the lattice of subvarieties (...) (Q 3 ) of the variety Q 3. (shrink)

Traditional Chinese commentators rightly see that understanding Zhuangzi's way with words is the presupposition for understanding Zhuangzi at all. They are not sure, however, if Zhuangzi's words are super-effective or pure nonsense. I consider Zhuangzi's experience with language, and then turn to Heidegger's word of being to see if it may throw light on Zhuangzi's way of saying. I argue that a conversation between Heidegger and Zhuangzi on language is possible, but only by expanding Heidegger's notion of Gestell and through (...) a destruction of the dominant Confucian discourse that obscures Zhuangzi's way of saying. (shrink)

Writing from a scientifically and philosophically informed perspective, the authors provide a critical overview of the conceptual difficulties encountered in many current neuroscientific and psychological theories.

Hubert Dreyfus has argued that cases of absorbed bodily coping show that there is no room for self-awareness in flow experiences of experts. In this paper, I argue against Dreyfus’ maxim of vanishing self-awareness by suggesting that awareness of agency is present in expert bodily action. First, I discuss the phenomenon of absorbed bodily coping by discussing flow experiences involved in expert bodily action: merging into the flow; immersion in the flow; emergence out of flow. I argue against the claim (...) that flow experience does not involve an awareness of agency for each of these features, while conceding that fluent agency does not involve self-awareness in the thetic sense. I challenge the assumption that the awareness of fluent agency must be understood in terms of a thetic awareness of agency. Instead, I develop an Anscombean account of the awareness of fluent agency in terms of the phenomenal character of knowing one’s aims. I respond to the challenge that if an Anscombean account of the awareness of agency is to succeed, then agents must be able to answer Anscombean questions. I consider the objection that awareness of agency is not a form of self-awareness by outlining an account of self-awareness as self-synthesis that is distinct from self-perception and self-ascription, but which makes room for self-awareness in expert bodily action. (shrink)

Collected for the first time in a single volume are essays which examine the developments in three fundamental biological disciplines - embryology, evolutionary biology, and genetics. These disciplines were in conflict for much of the twentieth century and the essays in this collection examine key methodological problems within these disciplines and the difficulties faced in overcoming the conflicts between them. Burian skilfully weaves together historical appreciation of the settings within which scientists work, substantial knowledge of the biological problems at stake (...) and the methodological and philosophical issues faced in integrating biological knowledge drawn from disparate sources. The final chapter describes what recent findings in development biology and genetics can tell us about the history and development of animals. Written in a clear, accessible style this collection should appeal to students and professionals in philosophy of science, and the philosophy and history of biology. (shrink)

Rescued in 1972 from a storeroom in which rats and seeping water had severely damaged the fifty-year-old manuscript, this text is the earliest major work (1919-1921) of the great Russian philosopher M. M. Bakhtin. Toward a Philosophy of the Act contains the first occurrences of themes that occupied Bakhtin throughout his long career. The topics of authoring, responsibility, self and other, the moral significance of "outsideness," participatory thinking, the implications for the individual subject of having "no-alibi in existence," the difference (...) between the world as experienced in actions and the world as represented in discourse--all are broached here in the heat of discovery. This is the "heart of the heart" of Bakhtin, the center of the dialogue between being and language, the world and mind, "the given" and "the created" that forms the core of Bakhtin's distinctive dialogism. A special feature of this work is Bakhtin's struggle with the philosophy of Immanuel Kant. Put very simply, this text is an attempt to go beyond Kant's formulation of the ethical imperative. Toward a Philosophy of the Act will be important for scholars across the humanities as they grapple with the increasingly vexed relationship between aesthetics and ethics. (shrink)

Mental disorders in university students are very frequent, therefore higher education institutions have established in-campus mental healthcare centres. These clinics have particular characteristics that differ from other mental health centres, as they report to and represent an educational institution, while at the same time looking after the interests and well-being of patients requesting assistance, thus generating unique bioethical conflicts. Ethics Committees are useful tools to offer support to mental health professionals in making ethical decisions. In order to respond to these (...) issues, it was decided that an Ethics Committee would be created in the mental health clinic of a private university in Mexico City. This article describes the implementation process for this Committee, its duties and scope, as well as the case work and review methodology. A list of the most frequent ethical conflicts is attached, jointly with the ethical analysis of the cases treated throughout the year and a half or work by the Committee. (shrink)

Parental decision making is necessary for contracting medical interventions that require personal risk–benefit evaluation, and for overseeing matters of education. In the nineteenth century, exemptions from obligatory vaccination were granted for religious and conscientious reasons. Then and today, religion and moral values play marginal roles in vaccine hesitancy and denialism. Rather, the key values invoked by vaccine hesitants and denialists are liberty and pluralism. Neither is compatible with limiting adolescents’ choice. Because vaccination does not require assessment of personal medical risks, (...) because it does not need to occur within the sphere of the doctor–patient relationship, and because the risk involved is within the range of their daily activities, adolescents have the right to free access to vaccination without legal requirement of parental involvement. Drawing on the development of Common Law, and on the development of respect for personal conscience in the history of ideas, this paper does not promote an argument that grants public health an overriding moral power. Rather, this paper rejects the presumption that vaccination of adolescents might involve a conflict between parental authority and public health. Free access to vaccination is compatible with the law and ethics of adolescents’ evolving autonomy in relation to healthcare. (shrink)

The recent global increase in environmental regulation does not necessarily signal improvement in firms’ ecological imprints. Like many markets, the Arab world is struggling to implement environmental compliance measures among local firms. For Arab countries, the reliance solely on formal policies to improve local firms’ ecological footprints may be risky given the evident institutional challenges to enforce environmental regulations, specially post the Arab Spring. Drawing from the literature highlighting the merits of combining formal and informal controls to ensure successful implementation (...) of a strategy, we argue that the emphasis for regulation must be accompanied by an emphasis for developing environmental ethics of individuals, who are the expected implementers of any environmental policy. In that light, we propose that the Eco-Islam phenomenon can serve as an influential and effective foundation for building organizational cultures with stronger environmental ethics among local small and medium enterprises. We explain the underlying maxims of Eco-Islam then conduct qualitative research among experts preaching or practicing the concept to gain better insights into the potential of leveraging it in Muslim-majority Arab countries. Finally, we conclude with insightful implications for local SMEs in the region. (shrink)

Consider orthodox motivational judgment internalism: necessarily, A’s sincere moral judgment that he or she ought to φ motivates A to φ. Such principles fail because they cannot accommodate the amoralist, or one who renders moral judgments without any corresponding motivation. The orthodox alternative, externalism, posits only contingent relations between moral judgment and motivation. In response I first revive conceptual internalism by offering some modifications on the amoralist case to show that certain community-wide motivational failures are not conceptually possible. Second, I (...) introduce a theory of moral motivation that supplements the intuitive responses to different amoralist cases. According to moral judgment purposivism (MJP), in rough approximation, a purpose of moral judgments is to motivate corresponding behaviors such that a mental state without this purpose is not a moral judgment. MJP is consistent with conceptual desiderata, provides an illuminating analysis of amoralist cases, and offers a step forward in the internalist-externalist debates. (shrink)

This volume offers the first-ever complete English translation of Leibniz’s Dissertatio De Arte Combinatoria together with a critical edition of the original Latin text on fa...

One of the most influential contemporary philosophers, Hilary Putnam's involvement in philosophy spans philosophy of mind, philosophy of language, ontology and epistemology and logic. This specially commissioned collection discusses his contribution to the realist and pragmatist debate. Hilary Putnam comments on the issues raised in each article, making it invaluable for any scholar of his work.

In the long section of anapaests with which they make their entry, the old men of Argos methodically deliver three essential messages to the audience: 40–71. It is the tenth year of the Trojan War. 72–82. We are men who were too old to go and fight in it. 83–103. Some new situation seems to be indicated by the fact that Clytemnestra is organizing sacrifices throughout the town.

Though there has been much debate about whether Abelard's ethics are dangerously subjective or surprisingly absolutist, one thing is unanimous: they are intentionalist. The goal of this article is to parse out what should be meant by this claim, distancing his ethical account from the popular Kantian appraisal. Though much of the secondary literature on Abelard likens him to Kant, I argue that this is mistaken. For Abelard, an agent's intentions are informed by their affections—whether carnal or spiritual. This becomes (...) clear when contextualizing Abelard's use of intentio with a view to his Commentary on Romans. Using the account of intention I suggest—one nuanced by Abelard's own theological commitments and biblical exegesis—it will be clear that Abelard's ethics is not a case for the moral neutrality of the passions nor an ethic of pure reason. (shrink)

The Confucian notion of civility has for thousands of years guided all aspects of socio-ethical life in East Asia. Confucians express their central concern for civility in their notion of li, which is commonly translated ?ritual? and refers to the conventions and courtesies through which we submit to the socio-ethical order, as we do, for example, in performing sacrifices, weddings, and funerals, and various daily acts of deference. Since the rise of China and other East Asian countries as economic powers, (...) it has been suggested that we have in East Asia a ?Confucian? ritual-based culture that is opposed to the law-based culture of the West, a culture of rites opposed to a culture of rights, and that this ritual-based culture can be carried into modernity as another way to secure social harmony. I argue that the values central to Confucian ritual ? deference, repayment, and harmony ? are incompatible with the freedom enacted in modern civility. It is unlikely, therefore, that Confucian ritual can be carried into modernity and, as some suggest, remedy the fragmentation, and indeed lack of civility, characteristic of modern societies. (shrink)

The aim of this study is to explore how nurses perceive patient participations of patients over 75 years old undergoing hemodialysis treatment in dialysis units, and of their next of kin. Ten nurses told stories about what happened in the dialysis units. These stories were analyzed with critical discourse analysis. Three discursive practices are found: (1) the nurses’ power and control; (2) sharing power with the patient; and (3) transferring power to the next of kin. The first and the predominant (...) discursive practice can be explained with an ideology of paternalism, in which the nurses used biomedical explanations and the ethical principle of benefice to justify their actions. The second can be explained with an ideology of participation, in which the nurses used ethical narratives as a way to let the patients participate in the treatment. The third seemed to involve autonomous decision-making and the ethical principle of autonomy for the next of kin in the difficult end-of-life decisions. (shrink)

This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and Lukasiewicz.