Skip to Content
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