PY4612 Advanced Logic

2025 to 2026 Semester 2

Curricular information may be subject to change

Further information on which modules are specific to your programme.

Key module information

SCOTCAT credits

The Scottish Credit Accumulation and Transfer (SCOTCAT) system allows credits gained in Scotland to be transferred between institutions. The number of credits associated with a module gives an indication of the amount of learning effort required by the learner. European Credit Transfer System (ECTS) credits are half the value of SCOTCAT credits.

SCQF level

SCQF level 10

The Scottish Credit and Qualifications Framework (SCQF) provides an indication of the complexity of award qualifications and associated learning and operates on an ascending numeric scale from Levels 1-12 with SCQF Level 10 equating to a Scottish undergraduate Honours degree.

Availability restrictions

Not automatically available to General Degree students

Planned timetable

To be confirmed.

This information is given as indicative. Timetable may change at short notice depending on room availability.

Module coordinator

Prof G A Restall

This information is given as indicative. Staff involved in a module may change at short notice depending on availability and circumstances.

Module Staff

Professor Greg Restall

This information is given as indicative. Staff involved in a module may change at short notice depending on availability and circumstances.

Module description

The module presupposes facility in the elementary practice of logic provided by 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-requisites

BEFORE TAKING THIS MODULE YOU MUST PASS PY2010

Anti-requisites

YOU CANNOT TAKE THIS MODULE IF YOU TAKE CS3050

Assessment pattern

Coursework = 100%

Re-assessment