The University of Glasgow uses cookies for analytics. Find out more about our Privacy policy.
Necessary cookies enable core functionality. The website cannot function properly without these cookies, and can only be disabled by changing your browser preferences.
Analytical cookies help us improve our website. We use Google Analytics. All data is anonymised.
Clarity helps us to understand our users’ behaviour by visually representing their clicks, taps and scrolling. All data is anonymised.
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
Semester: 1
Lecture hour & venue: see honours timetable.
Teaching resources for this course will be made available on the Philosophy Moodle site.