" 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

  • Quantifier Variance, Grounding, and the Revenge of Quinean Indispensibility Worries?
  • 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.


Paper Length Overview of Dissertation/Access Problem Stuff

Solving the Access Problem for Logical Possibility See CAFAP, CQVMF and MSS for details, the book for a sample `logic of logical possibility', and PNCG for metaethical applications.

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 made to learn programming languages Nested Quantifier Arcade (mac), Truthtabler (browser) and Latin Vocab Game demo (mac).