University of St Andrews

Key information

SCOTCAT credits : 20

ECTS credits : 10

Level : SCQF level 8

Semester: 1

Planned timetable: 2.00 pm - 3.00 pm Mon, Tue, Thu

This module aims to further develop students' understanding of formal logic by the study of a broad array of systems of logic. The module covers classical, modal, intuitionistic, and other non-classical logics, looking at both propositional and quantified versions. Particular attention is paid to the difference between semantics and proof theory for such systems.

Relationship to other modules

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

Learning and teaching methods and delivery

Weekly contact: 3 lectures and 1 tutorial. Optional weekly logic surgeries may also be available, based on demand.

Scheduled learning hours: 39

Guided independent study hours: 161

Assessment pattern

As used by St Andrews: 50% Coursework; 50% exam


Re-assessment: 3-hour Written Examination = 100%

Personnel

Module coordinator: Professor G A Restall
Module teaching staff: Team taught
Module coordinator email gr69@st-andrews.ac.uk

Intended learning outcomes

• Construct rigorous proofs about the semantics of the most common systems of formal logic
• Work within algorithmic proof systems for modal, quantified, intuitionistic, many-valued, and fuzzy logics
• Critically analyse and evaluated the adequacy and philosophical motivations of these systems
• Apply this knowledge to evaluate philosophical arguments, especially in debates within metaphysics, the philosophy of language, and the philosophy of mathematics