Lecturer: Rosanna Keefe
SPRING SEMESTER
Lectures:
Seminars:
Assessment:
Module Outline: The course will provide students with knowledge of the fundamental parts of formal logic. It will also teach them a range of associated formal techniques with which they can then analyse and assess arguments. In particular, they will learn the languages of propositional and first-order logic, and they will learn how to use those languages in providing formal representations of everyday claims. They will also learn how to use truth-tables and truth-trees.