University of St Andrews

Key information

SCOTCAT credits : 30

ECTS credits : 15

Level : SCQF level 10

Semester: 2

Availability restrictions: Not automatically available to General Degree students

Planned timetable: To be arranged.

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.

Relationship to other modules

Pre-requisite(s): Before taking this module you must pass PY2010

Anti-requisite(s): You cannot take this module if you take CS3050

Learning and teaching methods and delivery

Weekly contact: 1 x 2-hour lecture and 1 x 1-hour seminar

Assessment pattern

As used by St Andrews: Take-home Examination = 100%


Re-assessment: 1 or more essays to a total of 7,000 words (or suitable equivalent in the case of formal logic)

Personnel

Module coordinator: Professor A Cotnoir
Module teaching staff: Dr A Cotnoir
Module coordinator email ac117@st-andrews.ac.uk