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.

None

None

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.

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

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.

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