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: logicmanual.philosophy.ox.ac.uk.
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
- Reading: Halbach, chapter 1, §§1.5-6.
- Notes: Week 1 - Definitions (PDF)
- Work: Week 1 - Exercises (PDF)
Week 2: The Propositional Calculus
-
Reading: Halbach, chapters 2 and 3.
-
Work: Week 2 - Exercises (PDF)
Week 3: The Predicate Calculus, part 1
-
Reading: Halbach, chapter 4 (all), chapter 7, §§7.2-3
-
Work: Week 3 - Exercises (PDF)
Week 4: Sets and Relations
-
Reading: Halbach, chapter 1, §§1.1-4
-
Work: Week 4 - Exercises (PDF)
Week 5: The Predicate Calculus, part 2
-
Reading: Halbach, chapter 5
-
Work: Week 5 - Exercises (PDF)
Week 6: Natural Deduction, part 1
-
Reading: Halbach, chapter 6, §6.1
-
Work: Week 6 - Exercises (PDF)
Week 7: Natural Deduction, part 2
-
Reading: Halbach, chapter 6, §6.2, chapter 7, §§7.1 & 7.4
-
Work: Week 7 - Exercises (PDF)
Week 8: Equivalence and Identity
-
Reading: Halbach, chapter 8
-
Work: Week 8 - Exercises (PDF)