Logic A

Department of Philosophy, School of Philosophy, Theology and Religion

College of Arts and Law


Code 20291

Level of study First Year

Credit value 10

Semester 1

Module description

Logic is concerned with the evaluation of arguments. This module introduces a natural deduction system for propositional logic, truth-tables, and a number of formal techniques to evaluate arguments. Students will learn how to translate English sentences into symbolic notation in propositional logic and vice versa, and to assess the validity of arguments in this notation. They will also learn practical applications of the formal machinery.

Teaching and learning methods

Taught through both lectures and seminars