SCQF level 8
Academic year(s): 2018-2019
SCOTCAT credits : 20
ECTS credits : 10
Level : SCQF level 8
This module aims to further develop students' understanding of formal logic by the study of a broad array of systems of logic. The module covers classical, modal, intuitionistic, and other non-classical logics, looking at both propositional and quantified versions. Particular attention is paid to the difference between semantics and proof theory for such systems.
Pre-requisite(s): Before taking this module you must pass PY1006 or pass PY1012
Anti-requisite(s): You cannot take this module if you take PY2001
Weekly contact: 3 lectures and 1 tutorial. Optional weekly logic surgeries may also be available, based on demand.
Scheduled learning hours: 39
Guided independent study hours: 161
As used by St Andrews: 2-hour Written Examination = 50%, Coursework = 50%
As defined by QAA
Written examinations : 50%
Practical examinations : 0%
Re-assessment: 3-hour Written Examination = 100%