
Stuart Professor of Philosophy at Princeton University, associated faculty in mathematics, and research professor at the University of Copenhagen. I work on the foundations of physics, logic and the structure of scientific theories, and the Scandinavian philosophical tradition behind Niels Bohr.
Fall 2026 office hours: Wednesdays, 1:30–2:20 pm.
Free software for learning symbolic logic, written to accompany How Logic Works. Check a natural-deduction proof line by line, build a truth table, or evaluate a sentence in a finite structure. You can also photograph a proof you wrote by hand and have it read and checked. No account, nothing to install.