Overview

A rigorous, yet accessible and entertaining introduction to the field of logic, this book provides students with a unique insight into logic as a living field and how it connects to other fields of inquiry including philosophy, computer science, linguistics, and mathematics. With no background knowledge needed, students are introduced to a critical examination of 'classical logic', and the technical issues and paradoxes that may be encountered. Each chapter includes key pedagogical features such as marginal notes, definitions, chapter summaries and practice exercises. Arguments are backed up by authentic examples of logic within natural languages and everyday life. The flexible chapter structure allows instructors to tailor their teaching for either a one-semester or two-semester course, according to their students' needs and knowledge. Online resources include a companion website featuring further readings, class handouts, LaTeX resources, along with an Online Proof Evaluator allowing students to get real-time feedback.