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. We will then proceed to 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” (Fall 2023) 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.
  • “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, discussing 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 in ontology, modality, essence, grounding, the philosophy of time, and the laws of nature.

An Introduction to Formal Logic

I am currently rewriting a descendant of the open source logic textbook ForAllX to cover propositional and first-order logic through soundness and completeness for Logic I at MIT. This project aims to provide an accessible and yet philosophically and formally rigorous introduction to logic. Here is the draft I have been rewriting for the Fall 2024 semester along with 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.