University of St Andrews

Key information

SCOTCAT credits : 20

ECTS credits : 10

Level : SCQF level 8

Semester: 1

Planned timetable: 2.00 pm - 3.00 pm Mon, Tue, Thu and occasional Fri

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.

Relationship to other modules

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

Learning and teaching methods and delivery

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

Assessment pattern

As used by St Andrews: 2-hour Written Examination = 50%, Coursework = 50%

As defined by QAA
Written examinations : 50%
Practical examinations : 0%
Coursework: 50%

Re-assessment: 3-hour Written Examination = 100%

Personnel