glasses logo

Amyas Merivale

Introduction to Logic

The set text for this course is Volker Halbach’s Logic Manual. You can find details of the book and various other supporting materials here:

Note that we will not be going through the course content in the default order. This means that you will encounter some things with me before you encounter them in the university lectures, and vice versa. Don’t let this worry you – it won’t happen very much, and everything will have been covered twice by the end of term.

Week 1: Logic and Language

Week 2: The Propositional Calculus

Week 3: The Predicate Calculus, part 1

Week 4: Sets and Relations

Week 5: The Predicate Calculus, part 2

Week 6: Natural Deduction, part 1

Week 7: Natural Deduction, part 2

Week 8: Equivalence and Identity