Skip to Content
From 2017 we are implementing a new marking scheme for the allocation of final grades and changing some of our terminology. Find out more about these changes and what they mean for you.Find out more
An introduction to modern formal logic using propositional logic and first-order predicate logic. Formal logic provides an important link between the humanities and maths and sciences, particularly computer and information sciences.
Note: You can't enrol in a 200-level course until you have passed at least 45 credits at 100-level (or above). Additionally you can't enrol for a 300-level course until you have passed at least 45 credits at 200-level (or above). If a course has prerequisites, these can be counted towards the 45 credits.
Page authorised by Director, Student Administration