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!

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)
  • Notes (PDF)

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

  • Indispensability arguments (Slides)
  • The foundational aspirations of category theory (Slides)

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)

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s