Language of Propositional Logic
Language of First-order Predicate Logic
Basics of Classical Propositional Logic (minor variant of the Kalish & Montague system)
Basics of Classical Predicate Logic (minor variant of Kalish & Montague system)
Classical: Semantics of Propositional Logic
Classical: Semantics of Predicate Logic
Classical: Semantics of First-Order Predicate Logic
Classical: Derivation Rules (propositional and predicate)
3+-value: Strong Kleene and Łukasiewicz Rules & Axioms
3-value: Strong Kleene Semantics
3-value: Łukasiewicz Semantics
3-value: Intuitionistic Rules (propositional and predicate)
3-value: Intuitionistic Semantics
Fuzzy: Łukasiewicz Semantics
Modal: Language of Modal Logic
Modal: Semantics
Modal: Derivations
Basics of Constructive Mathematics
Background: Sets, Relations, and Functions
Graduate seminars:
Frege (Spring 2023)
Indispensability Arguments (Spring 2022)
Non-Empirical Knowledge (Spring 2020)
Abstract Objects (Spring 2016)
Mathematical Truth (Fall 2014)
Mixed grad/undergrad:
Theory of Knowledge (Fall 2013, Spring 2015, Spring 2016, Spring 2018, Fall 2021, Fall 2023)
Metalogic (Fall 2017, Fall 2020, Spring 2024)
Assorted Topics in Logic (Fall 2014, Fall 2018)
Philosophy of Mathematics (Spring 2014, Spring 2019)
Mid-level undergrad:
Philosophy of Religion (Spring 2023, Spring 2024)
Social Epistemology (Fall 2022)
Ancient (Spring 2014, Spring 2015, Spring 2021)
Medieval and Early Modern, through Descartes (Summer 2012)
Intro level:
Intro to Philosophy (Fall 2017, Fall 2018, Spring 2018, Spring 2019, Fall 2020, Spring 2021, Fall 2021, Spring 2022, Fall 2022)
Intro to Philosophy, Honors (Fall 2013, Fall 2019, Fall 2023)
Reason and Argument (Fall 2019, Spring 2020)
Infinity in Philosophy (Spring 2012)