PY4612
Advanced Logic
2017-2018
30
15
SCQF level 10
2
Academic year(s): 2017-2018
SCOTCAT credits : 30
ECTS credits : 15
Level : SCQF level 10
Semester: 2
Planned timetable:
The module presupposes facility in the elementary practice of logic provided by PY2001/PY2010. This module makes use of meta-theoretical techniques to make logic itself the subject of formal investigation. The main goals of the module will be to tackle the standard metatheoretical results: completeness, compactness, the Lowenheim-Skolem theorems, and Gödel's celebrated incompleteness theorems. Along the way, there will be preparatory discussion of elementary set theory, model theory, and recursion theory.
Pre-requisite(s): Before taking this module you must pass PY2010
Anti-requisite(s): You cannot take this module if you take PY4816
Weekly contact: 1 x 2-hour lecture and 1 x 1-hour seminar
Scheduled learning hours: 33
Guided independent study hours: 267
As used by St Andrews: Take-home Examination = 100%
As defined by QAA
Written examinations : 0%
Practical examinations : 0%
Coursework: 100%
Re-assessment: 1 or more essays to a total of 7,000 words (or suitable equivalent in the case of formal logic)