For logic nerds! This logic class is all about proving that certain systems of logical deduction work, like proving how truth trees work in propositional logic, or proving that predicate logic is incomplete via turing machines. We covered natural deduction proofs (box proofs) and some set theory too which weren’t covered in the introductory course. The second-year logic course is not a prerequisite for this one, but it really should be. Don’t take this course if you haven’t done any formal logic before cause you will drop it! I really enjoyed this class, probably more than the second year one, particularly the bit about turing machines, even if I only understood like 50-60% of the classes’ content.

Anonymous, Semester 2, 2025