A very well-coordinated subject with decent content. Lecture quality and videos were very high quality and easy to learn from, although occasionally it felt like techniques were taught with the intention of rote learning for the sake of it, rather than explaining why said technique works. Either way it is still a really cool subject which dips its toes into small aspects of a lot of fields. A great subject to take for your first semester, and is a perfect breadth (this is available as a breadth for all degrees). A parting warning, the first half, propositional logic, is fairly hand-holding, but do not get complacent before predicate throws you in the deep end.

Very interesting.

An interesting subject! Greg is really funny, I think you have to a little bit crazy to be a logician. Overall though, the subject is a really great introduction to logic, taught by one of the best logicians alive today :)

I found this subject very interesting, learning about logic and the relations between ideas. There is undeniably a lot of content crammed into this course, which I loved, but would recommend staying on top of it, it's significantly more fun when you can play with the ideas. The course is divided into propositional logic and predicate logic, first learning the basics of both of the systems, and then their real world applications in Philosophy, Linguistics, Digital Systems and Computer Science. The course is assessed on the basis of quizzes/tests, group projects, and a final exam. I would heavily recommend trying to get a good group for the group assignments. Due to the nature of the course, it's possible top get a very high mark if you know your stuff (i.e. not subjective like an Arts subject). Greg Restall and Jen Davoren are very knowledgeable teachers, though often feel as though they have a lot to get through during the lectures and not much time for questions. However, Greg was more than happy to answer questions after class or during consultation hours, and was very generous with his time.

Simply the worst