Greg Restall's Logic provides concise introductions to propositional and first-order predicate logic while showing how formal logic intersects with substantial philosophical issues such as vagueness, conditionals, relevance, propositional attitudes, and opaque contents. The author also examines the ideas behind modal logic, free logic, and other non-standard logics and discusses the nature of logic itself. The book covers both natural deduction and tree methods for proving validity. Each chapter includes excellent suggestions for further reading and both elementary and more advanced exercises, with solutions provided on a website. It is flexibly designed to be useable for half or full-year courses, for courses focusing exclusively on formal logic, or for a variety of approaches that would integrate topics in philosophical logic. Restall examines many of the interesting issues raised by basic logical techniques and will undoubtedly stimulate further study in the discipline. This is a logic book designed principally for philosophers but which will also be of interest to students of computer science, cognitive science, and linguistics.

Greg Restall is professor of philosophy, Macquarie University, Australia.

Greg Restall's profile page

"The text is wonderfully clear and avoids the tedium of many introductory logic texts. The examples, exercises, and suggestions for further reading are all good. This is the only introductory text I know of that introduces students to some of the philosophical problems logic pertains to and intersects with. It is the type of book I would like to use for an introductory course and recommend it enthusiastically." Michael Hallett, Philosophy Department, McGill University.