University of St Andrews - Scotland's first university, founded 1413

Module Catalogue

For information on which modules are specific to your programme, please see : Programme requirements index 2015-2016.

Curricular information may be subject to change.

PY5302 Advanced Logic B: Classical Metatheory

Academic year(s): 2015-2016

Key information

SCOTCAT credits : 20

ECTS credits : 10

Level : SCQF level 11

Semester: 2

Planned timetable: TBC

This module gives a basic grounding in the techniques of metatheory in logic, concentrating on the Henkin method for establishing the completeness of a logical system. Some associated topics, such as semantics for modal predicate logic, will be discussed.

Learning and teaching methods and delivery

Weekly contact:

Scheduled learning hours: 0

Guided independent study hours: 0

Assessment pattern

As used by St Andrews:

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

Personnel

Module teaching staff: TBC