Computers are already approving financial transactions, controlling electrical supplies, and driving trains. Soon, service robots will be taking care of the elderly in their homes, and military robots will have their own targeting and firing protocols. Colin Allen and Wendell Wallach argue that as robots take on more and more responsibility, they must be programmed with moral decision-making abilities, for our own safety. Taking a fast paced tour through the latest thinking about philosophical ethics and artificial intelligence, the authors (...) argue that even if full moral agency for machines is a long way off, it is already necessary to start building a kind of functional morality, in which artificial moral agents have some basic ethical sensitivity. But the standard ethical theories don't seem adequate, and more socially engaged and engaging robots will be needed. As the authors show, the quest to build machines that are capable of telling right from wrong has begun. -/- Moral Machines is the first book to examine the challenge of building artificial moral agents, probing deeply into the nature of human decision making and ethics. (shrink)

The Rejected Body argues that feminist theorizing has been skewed toward non-disabled experience, and that the knowledge of people with disabilities must be integrated into feminist ethics, discussions of bodily life, and criticism of the cognitive and social authority of medicine. Among the topics it addresses are who should be identified as disabled; whether disability is biomedical, social or both; what causes disability and what could 'cure' it; and whether scientific efforts to eliminate disabling physical conditions are morally justified. (...) class='Hi'>Wendell provides a remarkable look at how cultural attitudes towards the body contribute to the stigma of disability and to widespread unwillingness to accept and provide for the body's inevitable weakness. (shrink)

The French writer, philosopher, and mystic Simone Weil (1909-1943) was one of the most original spiritual personalities of the 20th century. Now Coles presents a brilliant portrait of the beloved and controversial figure who was a spiritual influence on T.S. Eliot, Flannery O'Connor, Adrienne Rich, and Albert Camus.

Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part II supplements (...) the material covered in Part I and introduces some of the newer ideas and the more profound results of logical research in the twentieth century. Subsequent chapters introduce the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. Unabridged republication of the edition published by John Wiley & Sons, Inc. New York, 1967. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index. (shrink)

: Chronic illness is a major cause of disability, especially in women. Therefore, any adequate feminist understanding of disability must encompass chronic illnesses. I argue that there are important differences between healthy disabled and unhealthy disabled people that are likely to affect such issues as treatment of impairment in disability and feminist politics, accommodation of disability in activism and employment, identification of persons as disabled, disability pride, and prevention and "cure" of disabilities.

Building artificial moral agents (AMAs) underscores the fragmentary character of presently available models of human ethical behavior. It is a distinctly different enterprise from either the attempt by moral philosophers to illuminate the “ought” of ethics or the research by cognitive scientists directed at revealing the mechanisms that influence moral psychology, and yet it draws on both. Philosophers and cognitive scientists have tended to stress the importance of particular cognitive mechanisms, e.g., reasoning, moral sentiments, heuristics, intuitions, or a moral grammar, (...) in the making of moral decisions. However, assembling a system from the bottom-up which is capable of accommodating moral considerations draws attention to the importance of a much wider array of mechanisms in honing moral intelligence. Moral machines need not emulate human cognitive faculties in order to function satisfactorily in responding to morally significant situations. But working through methods for building AMAs will have a profound effect in deepening an appreciation for the many mechanisms that contribute to a moral acumen, and the manner in which these mechanisms work together. Building AMAs highlights the need for a comprehensive model of how humans arrive at satisfactory moral judgments. (shrink)

A mass problem is a set of Turing oracles. If P and Q are mass problems, we say that P is weakly reducible to Q if for all Y ∈ Q there exists X ∈ P such that X is Turing reducible to Y. A weak degree is an equivalence class of mass problems under mutual weak reducibility. Let [Formula: see text] be the lattice of weak degrees of mass problems associated with nonempty [Formula: see text] subsets of the Cantor (...) space. The lattice [Formula: see text] has been studied in previous publications. The purpose of this paper is to show that [Formula: see text] partakes of hyperarithmeticity. We exhibit a family of specific, natural degrees in [Formula: see text] which are indexed by the ordinal numbers less than [Formula: see text] and which correspond to the hyperarithmetical hierarchy. Namely, for each [Formula: see text], let hα be the weak degree of 0, the αth Turing jump of 0. If p is the weak degree of any mass problem P, let p* be the weak degree of the mass problem P* = {Y | ∃X ⊆ BLR )} where BLR is the set of functions which are boundedly limit recursive in X. Let 1 be the top degree in [Formula: see text]. We prove that all of the weak degrees [Formula: see text], [Formula: see text], are distinct and belong to [Formula: see text]. In addition, we prove that certain index sets associated with [Formula: see text] are [Formula: see text] complete. (shrink)

I argue that God’s holiness as conceived in Hebrew Scripture grounds human obligations to obey divine commands. To disobey the commands of a holy God would disrespect a basic good, which we have decisive reason to avoid doing. God’s holiness may be a somewhat obscure property––though I propose transcendence and perfect morality as necessary conditions––but His omniscience and perfect morality guarantee that He would not command human beings to do things that His holiness would not ground His authority to command. (...) I conclude by replying to objections. (shrink)

I discuss a puzzle that shows there is a need to develop a new metaphysical interpretation of mathematical theories, because all well-known interpretations conflict with important aspects of mathematical activities. The new interpretation, I argue, must authenticate the ontological commitments of mathematical theories without curtailing mathematicians' freedom and authority to creatively introduce mathematical ontology during mathematical problem-solving. Further, I argue that these two constraints are best met by a metaphysical interpretation of mathematics that takes mathematical entities to be constitutively constructed (...) by human activity in a manner similar to the constitutive construction of the US Supreme Court by certain legal and political activities. Finally, I outline some of the philosophical merits of metaphysical interpretations of mathematical theories of this type. (shrink)

In Making Science, Cole shows how social variables and cognitive variables interact in the evaluation of frontier knowledge.

Thomas Aquinas, one of the "founding fathers" of just war theory, offers an account of virtuous warfare in practice. The author argues that Aquinas's approach to warfare, with its emphasis on justice and charity, is helpful in providing a coherent moral account of war to which Christians can subscribe. Particular attention is given to the role of charity, since this virtue is the distinguishing characteristic of the Christian soldier. Charity compels him to soldier justly, and by fighting justly, he is (...) elevated by God to friendship with God. Notable features of this approach are its emphasis on the criteria for judging whether a war is just and its relativizing of the criteria for proper combat behavior. (shrink)

The intent of the exploration is not an attempt to uncover Oakeshott's intellectual influences, but rather to show the importance and coherence of Oakeshott's various themes by showing how they modify, amplify, and contrast with similar and related themes in the thought of seven better known thinkers - Montaigne, St. Augustine, Hegel, Hobbes, Benjamin Constant, Rousseau, and Hume."--BOOK JACKET.

The UK government has recently taken steps to exclude certain groups of migrants from free treatment under the National Health Service, most controversially from treatment for HIV. Whether this discrimination can have any coherent ethical basis is questioned in this paper. The exclusion of migrants of any status from any welfare system cannot be ethically justified because the distinction between citizens and migrants cannot be an ethical one.

Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Godel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm (...) of philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gode1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Godel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.". (shrink)

Oakeshott and His Contemporaries is an exploration of the ideas of one of the most important twentieth-century English political philosophers vis-a-vis related ...

The Poetic Character of Human Activity: Collected Essays on the Thought of Michael Oakshott is a collection of nine essays by two Oakeshott scholars, most of which explore the meaning of Oakeshott’s pregnant phrase, “the poetic character of human activity” by comparing and contrasting this central idea with similar and opposing ones, in particular those of the Chinese thinkers, Zhuangzi and Confucius, but also of Western thinkers such as Plato, Leo Strauss and Eric Voegelin. Common themes addressed include the poetic (...) or non-instrumental aspects of philosophizing, teaching and learning, morality and governance. (shrink)

The development of autonomous, robotic weaponry is progressing rapidly. Many observers agree that banning the initiation of lethal activity by autonomous weapons is a worthy goal. Some disagree with this goal, on the grounds that robots may equal and exceed the ethical conduct of human soldiers on the battlefield. Those who seek arms-control agreements limiting the use of military robots face practical difficulties. One such difficulty concerns defining the notion of an autonomous action by a robot. Another challenge concerns how (...) to verify and monitor the capabilities of rapidly changing technologies. In this article we describe concepts from our previous work about autonomy and ethics for robots and apply them to military robots and robot arms control. We conclude with a proposal for a first step toward limiting the deployment of autonomous weapons capable of initiating lethal force. (shrink)

The challenge of designing computer systems and robots with the ability to make moral judgments is stepping out of science fiction and moving into the laboratory. Engineers and scholars, anticipating practical necessities, are writing articles, participating in conference workshops, and initiating a few experiments directed at substantiating rudimentary moral reasoning in hardware and software. The subject has been designated by several names, including machine ethics, machine morality, artificial morality, or computational morality. Most references to the challenge elucidate one facet or (...) another of what is a very rich topic. This paper will offer a brief overview of the many dimensions of this new field of inquiry. (shrink)

Quando nos detemos à querela recente sobre o enhancement, especialmente àquela que tem colocado em lados opostos bioconservadores e transhumanistas, não pode passar despercebido que pressuposições e mesmo concepções muito ingênuas sobre o homem se encontram no fundo do debate. No estudo que apresentaremos, buscaremos mostrar duas teses: antes de tudo, tentaremos evidenciar que tal querela formada em torno do enhancement é uma reformulação da querela que outrora envolveu a arte alquímica nos tempos medievais e renascentistas – arte cujo impulso (...) deu grande influxo ao ideal prático-transformador da ciência. Em segundo lugar, mostraremos que a atual controvérsia em torno do transhumanismo padece, em termos ontológicos, de problemas semelhantes àqueles que atormentavam o debate sobre aquela antiga arte. Por fim, deixaremos, entretanto, indicado que o esclarecimento das questões ontológicas envolvidas em tal controvérsia não eliminam necessariamente outras questões de ordem ética e política, as quais precisam certamente de um estudo complementar. (shrink)

For many innovations, oversight fits nicely within existing governance mechanisms; nevertheless, others pose unique public health, environmental, and ethical challenges. Synthetic artemisinin, for example, has many precursors in laboratory‐developed drugs that emulate natural forms of the same drug. The policy challenges posed by synthetic artemisinin do not differ significantly in kind from other laboratory‐formulated drugs. Synthetic biofuels and gene drives, however, fit less clearly into existing governance structures. How many of the new categories of products require new forms of regulatory (...) oversight, or at least extensive forms of testing, remains unclear.Any effort to improve the governance of synthetic biology should start with a rich understanding of the different possible science‐policy interfaces that could help to inform governance. CBA falls into a subset of the overall range of possibilities, and which interface is appropriate may turn out to depend on context, on the demands of the decision at hand. In what follows, we lay out a typology of interfaces. After that, we turn to the question of how to draw upon the range of possible interfaces and effectively address the factual and moral complexities of emerging technologies. We propose a governance model built around structures that we call “governance coordinating committees.” GCCs are intended to be mechanisms for accommodating the complexities of innovations that have far‐ranging societal impacts. The production of biofuels, for example, could contaminate water supplies and have a destructive environmental impact if not managed correctly. The introduction of a gene drive could have economic and environmental impacts that are not restricted to one nation. Forging appropriate means for determining and evaluating those societal impacts, to the best of a corporation's, industry's, or government's ability, is central to responsible research and innovation. Public policy must be shaped in a manner that accommodates as many concerns as possible and minimizes risks. (shrink)