Classes at UW–Madison:

PHILos 960: metaphysics and logic

PHILos 211: Elementary logic

At Texas Tech:

PHIL 5312: modal logic

PHIL 5312: philosophy of logic

PHIL 4331: philosophy of language

PHIL 2310: logic

At Yale:

PHIL 428/628: Truth, Propositions and Paradox

PHIL 437/637: Philosophy of Mathematics


PHIL 425/625: Belief (with Keith DeRose)

PHIL 706: First-Year Seminar (with George Bealer)

PHIL 271: Philosophy of Language

PHIL 281: Infinity

PHIL 276: Metaphysics

PHIL 115: First-Order Logic

DRST 003: Directed Studies (ancient and medieval philosophy)