Teaching

A graduate seminar following the origins and development of intensional semantics, from the proof-theoretic systems of strict implication S1–S5 developed by C.I. Lewis and Langford, through the debates over quantified modal logic between Barcan Marcus and Quine, to the semantic theories of Carnap, Kripke, and Prior. After criticizing the two-dimensional theories of Montague and Kaplan, the course defends a novel semantics for a bimodal logic validating the perpetuity principles, then turns to the selection, similarity, and imposition theories of counterfactuals of Stalnaker, D. Lewis, and Fine to motivate a unified hyperintensional framework.

An advanced introduction to propositional and first-order logic, beginning with the subject-matter of logic and its philosophical motivations, and concluding with the soundness and completeness theorems.

For this course I reworked a distant descendant of the open-source logic textbook forall x, replacing the majority of the text to cover propositional and first-order logic through soundness and completeness, aiming to provide a philosophically and formally rigorous introduction to logic. The source files for the textbook, syllabus, and lecture notes are in the GitHub repository, and the textbook PDF below is the one I used for the Fall 2024 semester.

Highlights from the philosophy of mathematics, metaphysics, and epistemology, studying a number of puzzles and paradoxes with a focus on the history of type theory and set theory.