(Fall 2024) 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.**“Logic I”**(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.**“History of Intensional Semantics”**

## Past (MIT)

(Fall 2023; 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.**“Logic I”**(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.**“Paradox and Infinity”**

## Past (Oxford)

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

## An Advanced Introduction to Logic

I am currently adapting a distant 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. Feel free to contact me if you would like to see a current draft.

## Logic Notes

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