" locate in the blackness with a gasp
Terra the fair, an orbicle of jasp" - Pale Fire, V. Nabokov

I wrote my dissertation on the ``access problem'' in philosophy of mathematics (aka The Benacerraf Problem) at Harvard under Warren Goldfarb, Peter Koellner , Ned Hall, and Bernard Nickel. I've just completed a postdoc at the Australian National University, and started another postdoc at the Van Leer Institute in Jerusalem.

I propose an answer to access worries about mathematics which embraces extreme truth value realism (e.g. right answers to CH and GCH), the literal existence of mathematical objects, and fairly traditional a priorist epistemology of mathematics. If successful, this project has powerful implications for other areas of philosophy, e.g., in defeating the companions in guilt argument in metaethics. But right now I spend most of my time developing (and defending) the details .

website under construction. drafts of everything available from


Under Review

Book Draft   A Logical Foundation for Potentialist Set Theory

Work In Progress

  • Firmer Foundations for Potentialist Set Theory: Justifying The Axiom of Replacement (coming soon! 03/01/2017)
  • Quantifier Variance and Explaining Mathematicians' Freedom
  • What Modal Notion Should the Set Theoretic Potentialist Use?

Just for Fun

  • Why Climb Plato's Ladder?
  • On Gratitude and Resentment without an Object: Quasi-Reactive Attitudes for Atheists
  • Nabokov's Passionate Agnosticism in Bend Sinister

CV etc

A rough CV

Teaching/Educational Games

Here's a link to the logic website I co-wrote one summer for harvard's intro logic class, and some educational mini games I to learn programming languages Nested Quantifier Arcade (mac), Truthtabler (browser) and Latin Vocab Game demo (mac)