Teaching

  • Logic I (Fall 2024; Handouts) This course provides an advanced introduction to propositional and first-order logic, beginning with the subject-matter of logic as well as its philosophical motivations, and concluding with the soundness and completeness theorems.
  • History of Intensional Semantics (Spring 2025) This course follows the development of intensional semantics, beginning with the purely proof theoretic systems of strict implication S1 – S5 developed by C.I. Lewis and later Langford and the debates over the quantified systems proposed by Barcan Marcus and criticized by Quine. The course will then consider the semantic theories developed by Carnap, Kripke, and Prior. The course will conclude by adapting the framework to accommodate bimodal logics, as well considering the motivations for moving to a hyperintensional framework in order to strengthen the logic for counterfactual conditionals.

Past (MIT)

  • Logic I (2023) This course provides an advanced introduction to propositional and first-order logic as described above.
  • Paradox and Infinity (Spring 2024; Handouts) This course presents highlights from the more technical side of philosophy, studying a cluster of puzzles, paradoxes, and intellectual wonders from the higher infinite to Godel’s Theorem, exploring their philosophical implications.

Past (Oxford)

  • Introduction to Logic This course introduces students to propositional and first-order logic, covering regimentation, valid arguments, proofs, and philosophical consideration of the soundness and completeness theorems.
  • Philosophical Logic This course covers non-classical logics, logics for tense and modality, two-dimensional semantics, and counterfactual logics.
  • Metaphysics This course covers a number of classic papers on ontology, modality, essence, grounding, the philosophy of time, and the laws of nature.

An Introduction to Formal Logic

I reworked a distant descendant of the open source logic textbook ForAllX, replacing the majority of the text to cover propositional and first-order logic through soundness and completeness for Logic I at MIT. This project aims to provide a philosophically and formally rigorous introduction to logic. Here is the PDF I used for the Fall 2024 semester at MIT. You can find the source files for the textbook, syllabus, and lecture notes in the GitHub repository.

Logic Notes

Here are some highly compressed Logic Notes (Nov 2017) for teaching propositional logic, first-order logic, and propositional modal logic. The aim is to provide a compressed presentation in a uniform notation, not a full exposition of the systems that I include. I hope to expand these notes to include further systems in the future.