This collection of essays examines the key achievements and likely developments in the area of automated reasoning. In keeping with the group ethos, Automated Reasoning is interpreted liberally, spanning underpinning theory, tools for reasoning, argumentation, explanation, computational creativity, and pedagogy. Wider applications including secure and trustworthy software, and health care and emergency management. The book starts with a technically oriented history of the Edinburgh Automated Reasoning Group, written by Alan Bundy, which is followed by chapters from leading researchers associated with the group. Mathematical Reasoning: The History and Impact of the DReaM Group will attract considerable interest from researchers and practitioners of Automated Reasoning, including postgraduates. It should also be of interest to those researching the history of AI.

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.

One of Slate’s 10 Best Books of the Year Anthony Gottlieb’s landmark The Dream of Reason and its sequel challenge Bertrand Russell’s classic as the definitive history of Western philosophy. Western philosophy is now two and a half millennia old, but much of it came in just two staccato bursts, each lasting only about 150 years. In his landmark survey of Western philosophy from the Greeks to the Renaissance, The Dream of Reason, Anthony Gottlieb documented the first burst, which came in the Athens of Socrates, Plato, and Aristotle. Now, in his sequel, The Dream of Enlightenment, Gottlieb expertly navigates a second great explosion of thought, taking us to northern Europe in the wake of its wars of religion and the rise of Galilean science. In a relatively short period—from the early 1640s to the eve of the French Revolution—Descartes, Hobbes, Spinoza, Locke, Leibniz, and Hume all made their mark. The Dream of Enlightenment tells their story and that of the birth of modern philosophy. As Gottlieb explains, all these men were amateurs: none had much to do with any university. They tried to fathom the implications of the new science and of religious upheaval, which led them to question traditional teachings and attitudes. What does the advance of science entail for our understanding of ourselves and for our ideas of God? How should a government deal with religious diversity—and what, actually, is government for? Such questions remain our questions, which is why Descartes, Hobbes, and the others are still pondered today. Yet it is because we still want to hear them that we can easily get these philosophers wrong. It is tempting to think they speak our language and live in our world; but to understand them properly, we must step back into their shoes. Gottlieb puts readers in the minds of these frequently misinterpreted figures, elucidating the history of their times and the development of scientific ideas while engagingly explaining their arguments and assessing their legacy in lively prose. With chapters focusing on Descartes, Hobbes, Spinoza, Locke, Pierre Bayle, Leibniz, Hume, Rousseau, and Voltaire—and many walk-on parts—The Dream of Enlightenment creates a sweeping account of what the Enlightenment amounted to, and why we are still in its debt.

Automated reasoning programs are successfully tackling challenging problems in mathematics and logic, program verification, and circuit design. This two-volume book includes all the published papers of Dr Larry Wos, one of the world's pioneers in automated reasoning. It provides a wealth of information for students, teachers, researchers, and even historians of computer science about this rapidly growing field.The book has the following special features:(1) It presents the strategies introduced by Wos which have made automated reasoning a practical tool for solving challenging puzzles and deep problems in mathematics and logic;(2) It provides a history of the field — from its earliest stages as mechanical theorem proving to its broad base now as automated reasoning;(3) It illustrates some of the remarkable successes automated reasoning programs have had in tackling challenging problems in mathematics, logic, program verification, and circuit design;(4) It includes a CD-ROM, with a searchable index of all the papers, enabling readers to peruse the papers easily for ideas.

During the course of the twentieth century, analytic philosophy developed into the dominant philosophical tradition in the English-speaking world. In the last two decades, it has become increasingly influential in the rest of the world, from continental Europe to Latin America and Asia. At the same time there has been deepening interest in the origins and history of analytic philosophy, as analytic philosophers examine the foundations of their tradition and question many of the assumptions of their predecessors. This has led to greater historical self-consciousness among analytic philosophers and more scholarly work on the historical contexts in which analytic philosophy developed. This historical turn in analytic philosophy has been gathering pace since the 1990s, and the present volume is the most comprehensive collection of essays to date on the history of analytic philosophy. It contains state-of-the-art contributions from many of the leading scholars in the field, all of the contributions specially commissioned. The introductory essays discuss the nature and historiography of analytic philosophy, accompanied by a detailed chronology and bibliography. Part One elucidates the origins of analytic philosophy, with special emphasis on the work of Frege, Russell, Moore, and Wittgenstein. Part Two explains the development of analytic philosophy, from Oxford realism and logical positivism to the most recent work in analytic philosophy, and includes essays on ethics, aesthetics, and political philosophy as well as on the areas usually seen as central to analytic philosophy, such as philosophy of language and mind. Part Three explores certain key themes in the history of analytic philosophy.

This user-friendly book on group theory introduces topics in as simple a manner as possible and then gradually develops those topics into more advanced ones, eventually building up to the current state-of-the-art. By using simple examples from physics and mathematics, the advanced topics become logical extensions of ideas already introduced. In addition to being used as a textbook, this book would also be useful as a reference guide for graduates and researchers in particle, nuclear and hadron physics.

Richard Popkin has assembled 63 leading scholars to forge a chronological account of the development of Western philosophical traditions. From Plato to Wittgenstein and from Aquinas to Heidegger, this volume provides lively, in-depth, and up-to-date historical analyses of all the key figures, schools, and movements of Western philosophy. Each chapter includes an introductory essay, and Popkin provides notes that draw connections among the separate articles. The rich bibliographic information and the indexes of names and terms make the volume a invaluable resource.