Introduction to Formal Logic with Philosophical Applications

Rigorous yet engaging and accessible, Introduction to Formal Logic with Philosophical Applications is composed of two parts. The first part (Chapters 1-5) provides a focused, “nuts-and-bolts” introduction to formal deductive logic that covers syntax, semantics, translation, and natural deduction for propositional and predicate logics. The second part (Chapters 6-7) presents stand-alone, student-friendly essays on logic and its application in philosophy and beyond, with writing prompts and suggestions for further readings. For instructors who prefer an exceptionally clear introduction to formal logic without the extra philosophical applications, Introduction to Formal Logic, an abbreviated, alternate version of Introduction to Formal Logic with Philosophical Applications, is also available.

Introduction to Formal Logic with Philosophical Applications is written by Russell Marcus and published by Oxford University Press. The Digital and eTextbook ISBNs for Introduction to Formal Logic with Philosophical Applications are 9780199386499, 0199386498 and the print ISBNs are 9780199386482, 019938648X