JH5/SH1 Logic

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.