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.