This module teaches students how to use the formal methods of first-order logic to assess arguments for validity. PHIL127 is a prerequisite for this module. Students taking this module on an optional basis must have obtained a mark of at least 60% for PHIL127. Taking this module will enhance your ability to work with abstract material, your problem-solving skills, your capacity to work independently, and your personal resilience. It will help you understand logical notation when you encounter it in your reading and prepare you for more advanced logic study. This module is taught via lectures, support materials, pre-recorded worked examples, and by weekly practical workshops. It is assessed via coursework (60%) and a final examination (40%).