Colin Allen

The new edition of a comprehensive and rigorous but concise introduction to symbolic logic. Logic Primer offers a comprehensive and rigorous introduction to symbolic logic, providing concise definitions of key concepts, illustrative examples, and exercises. After presenting the definitions of validity and soundness, the book goes on to introduce a formal language, proof theory, and formal semantics for sentential logic (chapters 1-3) and for first-order predicate logic (chapters 4-6) with identity (chapter 7). For this third edition, the material has been reorganized from four chapters into seven, increasing the modularity of the text and enabling teachers to choose alternative paths through the book. New exercises have been added, and all exercises are now arranged to support students moving from easier to harder problems. Its spare and elegant treatment makes Logic Primer unique among textbooks. It presents the material with minimal chattiness, allowing students to proceed more directly from topic to topic and leaving instructors free to cover the subject matter in the way that best suits their students. The book includes more than thirty exercise sets, with answers to many of them provided in an appendix. The book's website allows students to enter and check proofs, truth tables, and other exercises interactively.

"An invaluable guide to avoiding the stuff of science-fiction nightmares."--John Gilby, Times Higher Education "Moral Machines is a fine introduction to the emerging field of robot ethics. There is much here that will interest ethicists, philosophers, cognitive scientists, and roboticists."-Peter Danielson, Notre Dame Philosophical Reviews "Written with an abundance of examples and lessons learned, scenarios of incidents that may happen, and elaborate discussions on existing artificial agents on the cutting edge of research/practice, Moral Machines goes beyond what is known as computer ethics into what will soon be called the discipline of machine morality. Highly recommended."-G. Trajkovski, CHOICE "...the book does succeed in making the essential point that the phrase 'moral machine' is not an oxymoron. It also provides a window onto an area of research with which psychologists are unlikely to be familiar and one from which, at some point, we may be able to learn quite a lot."-PsycCRITIQUES "Moral Machines represents a valuable addition to, and extension of, the current literature on machine morality. As the development of autonomous artificial moral agents becomes closer to being realized, I suspect that this book will only gain in importance."--Metapsychology

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.

The heart of this book is the reciprocal relationship between philosophical theories of mind and empirical studies of animal cognition. Colin Allen (a philosopher) and Marc Bekoff (a cognitive ethologist) approach their work from a perspective that considers arguments about evolutionary continuity to be as applicable to the study of animal minds and brains as they are to comparative studies of kidneys, stomachs, and hearts. Cognitive ethologists study the comparative, evolutionary, and ecological aspects of the mental phenomena of animals. Philosophy can provide cognitive ethology with an analytical basis for attributing cognition to nonhuman animals and for studying it, and cognitive ethology can help philosophy to explain mentality in naturalistic terms by providing data on the evolution of cognition. This interdiscipinary approach reveals flaws in common objections to the view that animals have minds. The heart of the book is this reciprocal relationship between philosophical theories of mind and empirical studies of animal cognition. All theoretical discussion is carefully tied to case studies, particularly in the areas of antipredatory vigilance and social play, where there are many points of contact with philosophical discussions of intentionality and representation. Allen and Bekoff make specific suggestions about how to use philosophical theories of intentionality as starting points for empirical investigation of animal minds, and they stress the importance of studying animals other than nonhuman primates.