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
IMPORTANT NOTE:There have been changes to this course for 2017. For 2016 enrolments please check the individual offering description below to confirm details for:
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.
* Due to recent changes you should carefully check this offering to confirm details before you enrol.
Page authorised by Director, Student Administration