Teaching

Here are some course materials that I’ve prepared for my teaching. Please feel free to use them for your own teaching. Any feedback you have is very welcome!

Logic and maths notes

• Completeness theorems for first-order logic and propositional modal logic. PDF
• Elementary topos theory. PDF
• Functorial semantics for algebraic theories. PDF
• Categorical sematics for first-order logic. PDF

Teaching materials

• Probability and Rationality. Lecture slides
• Democracy and Voting. Lecture slides
• Death, Dying, and Disease. Lecture slides
• Introduction to Formal Logic. Lecture slides
• Introduction to Metaphysics. Lecture slides
• Philosophy of Religion. Lecture slides