Skip to content

Module Catalogue

Breadcrumbs navigation

PY4612   Advanced Logic

Academic year(s): 2019-2020

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)


Module coordinator: Dr A Cotnoir
Module teaching staff: Dr A Cotnoir