In this paper we consider the problem of the existence of a λ-theory T such that:–T is recursive enumerable;–the ω-rule holds in T .We solve affirmatively this problem.Some related questions are also discussed.

Cartesian closed categories (CCCs) have played and continue to play an important role in the study of the semantics of programming languages. An axiomatization of the isomorphisms which hold in all Cartesian closed categories discovered independently by Soloviev and Bruce, Di Cosmo and Longo leads to seven equalities. We show that the unification problem for this theory is undecidable, thus settling an open question. We also show that an important subcase, namely unification modulo the linear isomorphisms, is NP-complete. Furthermore, the (...) problem of matching in CCCs is NP-complete when the subject term is irreducible. CCC-matching and unification form the basis for an elegant and practical solution to the problem of retrieving functions from a library indexed by types investigated by Rittri. It also has potential applications to the problem of polymorphic type inference and polymorphic higher-order unification, which in turn is relevant to theorem proving and logic programming. (shrink)

The central question in contemporary ethics is whether virtue can replace duty as the primary notion in ethical theory. The subject of intense contemporary debate in ethical theory, virtue ethics is currently enjoying an increase in interest. This is the first book to focus directly on the subject. It provides a clear, systematic introduction to the area and houses under one cover a collection of the central articles published on the debate over the past decade. The essays encompass a wide (...) range ofaspects: the difference between virtue ethics and traditional duty ethics; present arguments for and against virtue ethics; the practical implications of virtue ethics and the Aristotelian and Kantian attitudes to virtue ethics. (shrink)

Moral dilemmas set a challenge for ethical theory. They are situations where agents seem to be under an obligation both to do, and to refrain from doing, a specific act. Are such situations possible? What is their exact nature? These are the questions that _Moral Dilemmas_ tries to answer. The book argues that moral theories should not allow for the possibility of irresolvable dilemmas, for situations in which no right answer exists. To this end, arguments seeking to prove the existence (...) of irresolvable dilemmas, especially the argument from the incommensurability of values, are discussed at length and refuted. The book shows that though on the normative level dilemmas are resolved, they typically involve a high moral cost for which there is no adequate compensation. This moral cost is the source of the regret and pain suffered by agents in moral dilemmas. Thus, moral dilemmas do not point to any inconsistency in our moral reasoning or theory, but to a problematic aspect of the human condition; at times (probably less often than is usually believed), human beings are justified, and even required, to dirty their hands by behaving in ways that in ordinary situations would be strictly forbidden and condemned. (shrink)

_Religion and Morality_ seeks to answer two fundamental questions regarding the relation between religion and morality. The first is the puzzle posed by Socrates, the so-called '_Euthyphro_ dilemma', which asks: is morality valuable by virtue of its intrinsic importance and worth, or is morality valuable because, and only because, God approves it and commands us to follow its dictates? The second question is raised by Kierkegaard in _Fear and Trembling_. He asks: Is a conflict between religion and morality possible? Does (...) God ever demand that we neglect our moral commitments? The discussion on these questions is divided into three parts. In the first two parts, we discuss the idea that morality depends on religion. The authors distinguish two types of dependence: strong dependence, according to which the very existence, or validity, of moral obligations depends on God's command, and weak dependence, according to which though morality itself is independent of God, God (or belief in God) is necessary to enable human beings to know their moral duties and to carry them out. The authors reject the strong dependence thesis, as well as most versions of the weak dependence. The third part of the book discusses different versions of the view that religion might conflict with morality. The authors reject this view, and show that very few religious thinkers would follow it all the way through to its ultimate consequences. The book has implications for the philosophy of religion, in its emphasis on the centrality of the moral element in religion, and for moral philosophy, in its highlighting, among other things, of the nature of moral judgments. (shrink)

A selection of speeches and essays from the author's second decade as president of Yale University.

Proponents of corporate environmental responsibility argue that corporations shortchange shareholders by investing too little in environmental responsibility. They claim that corporations can improve their financial performance by increasing their investment in environmental responsibility. Opponents of corporate social responsibility argue that corporations shortchange shareholders by investing too much in environmental responsibility. They claim that corporations can improve their financial performance by reducing their investment in environmental responsibility. Yet, others claim that corporations serve their shareholders well by investing just enough in social (...) responsibility, not too little and not too much. If so, corporations increase their investment in environmental responsibility when an increase improves financial performance and reduce their investment in environmental responsibility when a decrease improves financial performance. Our evidence is consistent with this last claim. We find that the behavior of corporations is consistent with the claim that they act in the interest of shareholders, increasing or decreasing their investment in environmental responsibility as necessary to improve their financial performance. (shrink)

We consider three problems concerning alpha conversion of closed terms (combinators). (1) Given a combinator M find the an alpha convert of M with a smallest number of distinct variables. (2) Given two alpha convertible combinators M and N find a shortest alpha conversion of M to N. (3) Given two alpha convertible combinators M and N find an alpha conversion of M to N which uses the smallest number of variables possible along the way. We obtain the following results. (...) (1) There is a polynomial time algorithm for solving problem (1). It is reducible to vertex coloring of chordal graphs. (2) Problem (2) is co-NP complete (in recognition form). The general feedback vertex set problem for digraphs is reducible to problem (2). (3) At most one variable besides those occurring in both M and N is necessary. This appears to be the folklore but the proof is not familiar. A polynomial time algorithm for the alpha conversion of M to N using at most one extra variable is given. There is a tradeoff between solutions to problem (2) and problem (3) which we do not fully understand. (shrink)

Yitzhak Benbaji and Daniel Statman present a new theory on the ethics of war which shows that wars can be morally justified at both the ad bellum level and the in bello level.

Some luck, in a decision of Gauguin's kind, is extrinsic to his project, some intrinsic; both are necessary for success, and hence for actual justification, but only the latter relates to un- justification. If we now broaden the range of cases slightly, ...

The renowned biologist and thinker Richard Dawkins presents his most expansive work yet: a comprehensive look at evolution, ranging from the latest developments in the field to his own provocative views. Loosely based on the form of Chaucer's Canterbury Tales, Dawkins's Tale takes us modern humans back through four billion years of life on our planet. As the pilgrimage progresses, we join with other organisms at the forty "rendezvous points" where we find a common ancestor. The band of pilgrims (...) swells into a vast crowd as we join first with other primates, then with other mammals, and so on back to the first primordial organism. Dawkins's brilliant, inventive approach allows us to view the connections between ourselves and all other life in a bracingly novel way. It also lets him shed bright new light on the most compelling aspects of evolutionary history and theory: sexual selection, speciation, convergent evolution, extinction, genetics, plate tectonics, geographical dispersal, and more. The Ancestor's Tale is at once a far-reaching survey of the latest, best thinking on biology and a fascinating history of life on Earth. Here Dawkins shows us how remarkable we are, how astonishing our history, and how intimate our relationship with the rest of the living world. (shrink)

The desirability of what actually occurs is often influenced by what could have been. Preferences based on such value dependencies between actual and counterfactual outcomes generate a class of problems for orthodox decision theory, the best-known perhaps being the so-called Allais Paradox. In this paper we solve these problems by extending Richard Jeffrey's decision theory to counterfactual prospects, using a multidimensional possible-world semantics for conditionals, and showing that preferences that are sensitive to counterfactual considerations can still be desirability maximising. (...) We end the paper by investigating the conditions necessary and sufficient for a desirability function to be an expected utility. It turns out that the additional conditions imply highly implausible epistemic principles. (shrink)

The discussion of good and evil must not be confined to the sterile lecture halls of academics but related instead to ordinary human feelings, needs, and desires, says noted philosopher Richard Taylor. Efforts to understand morality by exploring human reason will always fail because we are creatures of desire as well. All morality arises from our intense and inescapable longing. The distinction between good and evil is always clouded by rationalists who convert the real problems of ethics into complex (...) philosophical puzzles. In the first part of Good and Evil, Taylor looks for a more meaningful conception by reexamining and rejecting the whole rationalistic tradition that dominates philosophical ethics. The second part provides an empirical explanation of good and evil, noting that one does not have to look too far to find prime examples of the failure of fixed moral rules. Including important commentary on Joseph Fletcher's groundbreaking situation ethics, and Aristotle's virtues (e.g., magnanimity and pride), Taylor rounds out the book by developing a philosophy of aspiration--personal worth as an ethical ideal--to replace the morality of duty. He offers a modified form of situation ethics to fit the contemporary problems we face. (shrink)

Pascal’s wager faces serious criticisms and is generally considered unconvincing. We argue that it can make a comeback powered by an unlikely ally: postmodernism. If one denies the existence of objective facts (e.g. about God or His relation to the world), then various non-theological considerations should come to the fore when considering the rationality of religious commitment and the choice of education for one’s children. In fact, we shall argue that, if one genuinely cares about one’s children, then – in (...) many Western countries – one cannot consistently be both secular and post-modernist. (shrink)

Orientalism and Religion offers us a timely discussion of the implications of contemporary post-colonial theory for the study of religion. Drawing on a variety of post-structuralist and post-colonial thinkers, including Foucault, Gadamer, Said, and Spivak, Richard King examines the way in which notions such as mysticism, religion, Hinduism and Buddhism are taken for granted, and shows us how religion needs to be redescribed along the lines of cultural studies.

The topic of standing to blame has recently received a lot of attention. Until now, however, it has focused mainly on the blamer's perspective, investigating what it means to say of blamers that they lose standing to blame and why it is that they lose this standing under specified conditions. The present paper focuses on the perspective of the blamees and tries to explain why they are allowed to disregard standingless, more specifically hypocritical, blame. According to the solution proposed by (...) the paper, while hypocritical blamers present themselves as caring about justice or about the moral or material good of the blamees—and they themselves half‐believe this presentation—their real motivation in blaming is less respectable. It is this problematic motivation that explains why blamees are permitted to disregard hypocritical blame. Ill‐motivated blame is often unreliable, and readiness to even consider it often involves a compromise on the self‐respect of the blamees. (shrink)

This is the third edition of a classic book first published in 1960, which has sold thousands of copies in two paperback edition and has been translated into several foreign languages. Popkin's work ha generated innumerable citations, and remains a valuable stimulus to current historical research. In this updated version, he has revised and expanded throughout, and has added three new chapters, one on Savonarola, one on Henry More and Ralph Cudworth, and one on Pascal. This authoritative treatment of the (...) theme of scepticism and its historical impact will appeal to scholars and students of early modern history now as much as ever. (shrink)

Thinking through the body: educating for the humanities -- The body as background -- Self-knowledge and its discontents: from Socrates to somaesthetics -- Muscle memory and the somaesthetic pathologies of everyday life -- Somaesthetics in the philosophy classroom: a practical approach -- Somaesthetics and the limits of aesthetics -- Somaesthetics and Burke's sublime -- Pragmatism and cultural politics: from textualism to somaesthetics -- Body consciousness and performance -- Somaesthetics and architecture: a critical option -- Photography as performative process -- Asian (...) ars erotica and the question of sexual aesthetics -- Philosophy as awakened life : everyday aesthetics of embodiment in American transcendentalism and Japanese Zen practice -- Somatic style. (shrink)

That an intimate connection exists between the notion of human dignity and the notion of humiliation seems to be a commonplace among philosophers, who tend to assume that humiliation should be explained in terms of (violation of) human dignity. I believe, however, that this assumption leads to an understanding of humiliation that is too "philosophical" and too detached from psychological reality. The purpose of the paper is to modify the above connection and to offer a more "down to earth" account (...) of humiliation that does not depend on metaphysical or axiological questions concerning the unique dignity enjoyed by all human beings qua human beings. The paper argues for a subjective-psychological notion of self-respect in the explication of humiliation, instead of an objective-normative one. To be humiliated means to suffer an actual threat to or fall in one's self-respect. (shrink)

The paper discusses a neglected condition for justified self-defense, namely, 'The Success Condition [SC].' According to SC, otherwise immoral acts can be justified under the right to self-defense only if they actually achieve the intended defense from the perceived threat. If they don't, they are almost always excused, but not morally justified. I show that SC leads to a troubling puzzle because victims who estimate they cannot prevent the attack against them would be morally required to surrender. I try to (...) solve the puzzle by relying on what I call 'The Honor Solution.' Even if defensive acts fail to protect the victim's body, property, or life, they are successful in protecting her honor, thus they do ultimately meet the success condition. (shrink)

Conditionalization is one of the central norms of Bayesian epistemology. But there are a number of competing formulations, and a number of arguments that purport to establish it. In this paper, I explore which formulations of the norm are supported by which arguments. In their standard formulations, each of the arguments I consider here depends on the same assumption, which I call Deterministic Updating. I will investigate whether it is possible to amend these arguments so that they no longer depend (...) on it. As I show, whether this is possible depends on the formulation of the norm under consideration. (shrink)

The book begins with an overview that introduces the Theorem and the issues surrounding it, and explores how the essays that follow contribute to our understanding of those issues.

The paper discusses a neglected condition for justified self-defense, namely, 'The Success Condition [SC].' According to SC, otherwise immoral acts can be justified under the right to self-defense only if they actually achieve the intended defense from the perceived threat. If they don't, they are almost always excused, but not morally justified. I show that SC leads to a troubling puzzle because victims who estimate they cannot prevent the attack against them would be morally required to surrender. I try to (...) solve the puzzle by relying on what I call 'The Honor Solution.' Even if defensive acts fail to protect the victim's body, property, or life, they are successful in protecting her honor, thus they do ultimately meet the success condition. (shrink)

The Desire-as-Belief thesis (DAB) states that any rational person desires a proposition exactly to the degree that she believes or expects the proposition to be good. Many people take David Lewis to have shown the thesis to be inconsistent with Bayesian decision theory. However, as we show, Lewis's argument was based on an Invariance condition that itself is inconsistent with the (standard formulation of the) version of Bayesian decision theory that he assumed in his arguments against DAB. The aim of (...) this paper is to explore what impact the rejection of Invariance has on the DAB thesis. Without assuming Invariance, we first refute all versions of DAB that entail that there are only two levels of goodness. We next consider two theses according to which rational desires are intimately connected to expectations of (multi-levelled) goodness, and show that these are consistent with Bayesian decision theory as long as we assume that the contents of 'value propositions' are not fixed. We explain why this conclusion is independently plausible, and show how to construct such propositions. (shrink)

Hypocrites are generally regarded as morally-corrupt, cynical egoists who consciously and deliberately deceive others in order to further their own interests. The purpose of my essay is to present a different view. I argue that hypocrisy typically involves or leads to self-deception and, therefore, that real hypocrites are hard to find. One reason for this merging of hypocrisy into self-deception is that a consistent and conscious deception of society is self-defeating from the point of view of egoistical hypocrites. The best (...) way for them to achieve their ends would be to believe in the deception, thereby not only deceiving others but also themselves. If my thesis is sound, we ought to be more cautious in ascribing hypocrisy to people, and less harsh in our attitude toward hypocrites. (shrink)

Strangers, Gods and Monster is a fascinating look at how human identity is shaped by three powerful but enigmatic forces. Often overlooked in accounts of how we think about ourselves and others, Richard Kearney skillfully shows, with the help of vivid examples and illustrations, how the human outlook on the world is formed by the mysterious triumvirate of strangers, gods and monsters. Throughout, Richard Kearney shows how strangers, gods and monsters do not merely reside in myths or fantasies (...) but constitute a central part of our cultural unconscious. Above all, he argues that until we understand better that the Other resides deep within ourselves, we can have little hope of understanding how our most basic fears and desires manifest themselves in the external world and how we can learn to live with them. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

Most recent accounts of will-power have tried to explain it as reducible to the operation of beliefs and desires. In opposition to such accounts, this paper argues for a distinct faculty of will-power. Considerations from philosophy and from social psychology are used in support.

The paper offers a theory of cruelty that includes the following claims: First, cruelty is best understood as a disposition to take delight in the very infliction of suffering on others. Thus understood, cruelty is the same phenomenon as that studied and operationalized by psychologists in the last decade or so under the heading of everyday sadism. Second, for people to be cruel, they need not have proper understanding of the moral standing of their victims. Third, ascriptions of cruelty do (...) not depend on judgments regarding the moral wrongness of the assumed cruel act. Fourth, since cruelty is primarily a property of agents rather than of actions, and since actions are not always a reliable indication of cruelty, identifying cruelty is a more challenging task than usually thought. (shrink)

A recent empirical study has argued that experts in the ethics or the law of war cannot reach reasonable convergence on dilemmas regarding the number of civilian casualties who may be killed as a side effect of attacks on legitimate military targets. This article explores the philosophical implications of that study. We argue that the wide disagreement between experts on what in bello proportionality means in practice casts serious doubt on their ability to provide practical real-life guidance. We then suggest (...) viewing in bello proportionality through the prism of virtue ethics. (shrink)