Continues the study of logic started in the second year, proceeding in a somewhat more rigorous and formal manner. Rather than producing proofs in a formal system (e.g. tableaux) the emphasis is rather on proving results about such a system, for example soundness and completeness.
Course lecturer: Dr Jamie Collin
Lecture hour & venue: see honours timetable.
Teaching resources for this course will be made available on the Philosophy Moodle site.