Formal Logic is an undergraduate text suitable for introductory, intermediate, and advanced courses in symbolic logic. The book’s nine chapters offer thorough coverage of truth-functional and quantificational logic, as well as the basics of more advanced topics such as set theory and modal logic. Complex ideas are explained in plain language that doesn’t presuppose any background in logic or mathematics, and derivation strategies are illustrated with numerous examples. Translations, tables, trees, natural deduction, and simple meta-proofs are taught through over 400 exercises. A companion website offers supplemental practice software and tutorial videos.
“Formal Logic is clear, accessible, and intuitive, but it is also precise, explicit, and thorough. Complex and often confusing concepts are rolled out in a no-nonsense and direct manner with funny and demystifying terminology and helpful analogies. It's a pedagogical gem.” — Mary Kate McGowan, Wellesley College
“This is an excellent introductory text in symbolic logic. It is accessible, with clear and concise explanations of key concepts, along with many helpful examples and practice problems, but also rigorous enough to prepare students for a second course in logic; indeed, I do not know of any book that better combines these virtues. I am looking forward to using Formal Logic in my courses.” — Kevin Morris, Tulane University
“This book makes the ideas of sentential logic, predicate logic, and formal proof easily accessible by getting directly to the point of each in natural, non-technical language. It is concise while never hurried. It gets the details right, not by focusing on them as details, but through clear insight into why they are as they are.” — Colin McLarty, Case Western Reserve University
“Paul Gregory’s Formal Logic is worth careful consideration for anyone adopting a new logic text. The inclusion of chapters on set theory and modal logic makes it a valuable resource for students looking to go beyond the standard introduction to logic.” — Michael Hicks, Miami University