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)

Nähere Informationen zu diesem Buch erhalten Sie direkt vom Verlag / For further information about this title please contact Mohr Siebeck.

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)

The question of language development and origin is a subject that is vital to our understanding of what it means to be human. This is reflected in the large range of academic disciplines that are dedicated to the subject. Language development has in particular been related to studies in cognitive capacity and the ability for mind reading, often termed a theory of mind. The Social Brain Hypothesis has been the only attempt to correlate a cognitive scale of complexity incorporating a (...) theory of mind and intentionality orders to the archaeological record and hominin phylogeny. However, a method is still lacking that allows a correlation of the orders of intentionality (and by inference a theory of mind and language development) to the archaeological signatures that represent the physical expression of hominin behaviour. This paper is primarily concerned with introducing a new theoretical perspective – termed the identity model – which facilitates such a correlation between a scale of cognitive acuity, hominin behaviour through the archaeological record and subsequently language development within an evolutionary context. (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)

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)

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)

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.

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)

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)

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 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)

Simon Blackburn’s supervenience argument—focusing on the mysterious “ban on mixed worlds”—is still subject to a variety of conflicting interpretations. In this paper, I hope to provide a defense of the argument that clarifies both the argument and the objections it must overcome. Many of the extant objections, I will argue, fail to engage the argument in its true form. And to counter the more compelling objections, it will be necessary to bring in additional argumentation that Blackburn himself does not clearly (...) provide. One important upshot of this discussion is that moral realism is not the only target of the argument: it raises trouble for a variety of metaethical views wed to realist-friendly construals of moral evaluation. Rightly understood, this argument not only survives the prominent responses, but turns out to be more powerful than his critics and Blackburn himself have recognized. (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)

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)

Vols. for 1972- include papers from the Summer Linguistics Conference, University of California, Santa Cruz.