• Offers exceptional clarity and accessibility,explaining key concepts using a conversational tone and examples that speak to students without oversimplifying the topics
• More than 2,000 in-text exercises--presented progressively, from easier to more challenging-- provide plenty of opportunity for students to apply and practice what they learn. Solutions to approximately 20% of the in-text exercises are included at the back of the book.
• Incorporates several formal topics and exercise types that are usually omitted from standard logic texts, including seven rules for biconditionals, parallel to the standard rules for conditionals; exercises on interpreting and modeling short theories; two sections on functions at the end of Chapter 5; and exercises on determining whether an argument is valid or invalid, or whether a proposition is a logical truth or not, and then constructing either a derivation or a counterexample
• Integrates numerous student-friendly learning aids including section summaries, lists of important points to keep in mind, bolded key terms with marginal definitions, and a glossary
• Dashboard for Introduction to Formal Logic with Philosophical Applications delivers an interactive eBook, auto-graded exercises, a symbolic proof checking tool, additional study resources, and a gradebook in a simple, informative, and mobile-friendly form

   
Rigorous yet intuitive and accessible, Introduction to Formal Logic provides a focused, "nuts-and-bolts" introduction to formal deductive logic that covers syntax, semantics, translation, and natural deduction for propositional and predicate logics.
    
For instructors who want to go beyond a basic introduction to explore the connection between formal logic techniques and philosophy, Oxford also publishes Introduction to Formal Logic with Philosophical Applications, an extended version of this text that incorporates two chapters of stand-alone essays on logic and its application in philosophy and beyond.