Postgraduate taught 

Philosophy (Conversion) MSc

Formal Logic PHIL5068

  • Academic Session: 2023-24
  • School: School of Humanities
  • Credits: 20
  • Level: Level 5 (SCQF level 11)
  • Typically Offered: Semester 1
  • Available to Visiting Students: Yes

Short Description

This course introduces students to the meta-theory of propositional and predicate logic. Topics include expressive adequacy and soundness and completeness theorems.


2 lectures per week for 9 weeks, plus 4 seminars. The course may not run every year. Options running this year are available on MyCampus.

Excluded Courses





A two hour exam of formal logic problems; a written assignment of formal logic problems to be completed in the student's own time equivalent to 2500 words.

Course Aims

The course aims to:

■ introduce students to the rigorous study of formal logic, including formal syntax and semantics

■ explore the easier meta-theoretical results of propositional and predicate logic

Intended Learning Outcomes of Course

At the end of this course, students will be able to:


■ Use the method of proof by induction on length of formula and length of proof;

■ Determine whether a set of connectives is expressively adequate

■ Prove the soundness and completeness theorems for propositional logic

■ Explain the main ideas in Tarski's truth definition for predicate logic


Assessment for this course is at Masters Level.

Minimum Requirement for Award of Credits

Students must submit at least 75% by weight of the components (including examinations) of the course's summative assessment.