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

The standard assessments for this course are:

■ 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.

If required, for instance where a disability prevents a student from undertaking a specific method of assessment, the following alternatives are available:

■ There is no alternative to the exam, but extra time can be offered as reasonable adjustment (students should follow the usual process for extensions).

■ There is no alternative to the assignment, but flexible deadlines can be offered as reasonable adjustment (students should follow the usual process for extensions).

Further reasonable adjustments may be provided where necessary. Students are encouraged to consult with the course convenor.

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.