Rigorous yet engaging and accessible, Introduction to Formal Logic with Philosophical Applications is composed of two parts. The first part 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 presents student-friendly essays on logic and its applications in philosophy and beyond, with writing prompts and suggestions for further reading.