The module provides an introduction to formal logic together with an examination of various philosophical issues that arise out of it. The syllabus includes a study of the languages of propositional and quantificational logic, how to formalize key logical concepts within them, and how to prove elementary results using formal techniques. Additional topics include identity, definite descriptions, modal logic and its philosophical significance, and some criticisms of classical logic.