Journals Higher Education
Important OUP's Response to COVID-19 Learn more



Published: 08 February 2018

504 Pages

7-1/2 x 9-1/4 inches

ISBN: 9780190861780

Also Available As:


Bookseller Code (04)

Introduction to Formal Logic

Russell Marcus

  • 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