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!

# Death, Dying, and Disease

View syllabus here.

# Probability and Rationality

View syllabus here.

# Introduction to metaphysics

- Lecture 1 – What is metaphysics? What are objects? (Slides)
- Lecture 2 – Which objects are there? I (Slides)
- Lecture 3 – Which objects are there? II (Slides)
- Lecture 4 – Survival through change (Slides)
- Lecture 5 – Necessary identity and individual essences (Slides)
- Lecture 6 – Possible worlds and counterparts (Slides)
- Lecture 7 – Causation I – Regularity accounts (Slides)
- Lecture 8 – Causation II – Counterfactual analysis (Slides)
- Lecture 9 – Motion (Slides)
- Lecture 10 – Time (Slides)

# Kant’s *Critique of Pure Reason*

- Lecture 1 – Kant’s Copernican Revolution (Slides)
- Lecture 2 – The Transcendental Aesthetic I – The Apriority Arguments (Slides)
- Lecture 3 – The Transcendental Aesthetic II – The Intuition Arguments (Slides)
- Lecture 4 – The Metaphysical Deduction (Slides)
- Lecture 5 – The Transcendental Deduction (Slides)
- Lecture 6 – The Schematism and the First Analogy (Slides)
- Lecture 7 – The Second Analogy (Slides)
- Lecture 8 – The Refutation of Idealism (Slides)
- Lecture 9 – Transcendental Idealism (Slides)
- Lecture 10 – Freedom (Slides)

# Introduction to Formal Logic

- Lecture 1 – Arguments and propositions (Slides)
- Lecture 2 – The form of arguments (Slides)
- Lecture 3 – Propositional connectives and Truth Tables (Slides)
- Lecture 4 – A formal language: its components and grammar (Slides)
- Lecture 5 – Truth tables for wffs and arguments (Slides)
- Lecture 6 – Another method for proving validity: Trees I (Slides)
- Lecture 7 – Another method for proving validity: Trees II (Slides)
- Lecture 8 – Another method for proving validity: Trees III (Slides)
- Lecture 9 – Paradoxes of material implication (Slides)
- Lecture 10 – Vagueness and the sorites paradox (Slides)
- Lecture 11 – More on logical form: digging deeper (Slides)
- Lecture 12 – More on logical form: digging still deeper (Slides)
- Lecture 13 – What makes these sentences true or false? I (Slides)
- Lecture 14 – What makes these sentences true or false? II (Slides)
- Lecture 15 – Tree proofs in the predicate calculus I (Slides)
- Lecture 16 – Tree proofs in the predicate calculus II (Slides)
- Lecture 17 – When a tree doesn’t close (Slides)
- Lecture 18 – Identity (Slides)
- Lecture 19 and 20 – Recap of the course (Slides)

# Philosophy of Religion

- Lecture 1 – The God of the Philosophers (Slides)
- Lecture 2 – Teleological arguments (Slides)
- Lecture 3 – Cosmological arguments (Slides)
- Lecture 4 – Ontological arguments (Slides)
- Lecture 5 – Pragmatic arguments (Slides)
- Lecture 6 – The Problem of Evil (Slides)
- Lecture 7 – Divine Foreknowledge (Slides)
- Lecture 8 – The epistemology of religion (Slides)
- Lecture 9 – Intelligent Design (Slides)
- Lecture 10 – Religion and Morality (Slides)

# Philosophy of Mathematics

# Logic and maths notes

- Completeness theorems for first-order logic and propositional modal logic (Notes)
- Elementary topos theory (Notes)
- Functorial semantics for algebraic theories (Notes)
- Categorical sematics for first-order logic (Notes)