I work primarily in logic, metaphysics, and the philosophy of mathematics. I’m especially interested in questions about infinity, possibility, and ontology—particularly the nature of pluralities, properties, sets, and classes. Much of my current research lies at the intersection of these topics, focused around two projects.
In the first, I’m developing what I call the iterative conception of properties, building on work of Øystein Linnebo and Kit Fine. It is based on a radically new approach to paradox and does for properties what the iterative conception of sets does for sets. The basic idea is that instead of building an ontology stage by stage—as we do with sets according to the iterative conception of sets—we build an ideology stage by stage—in particular, we build the relation of application for properties. With the right assumptions, it is surprisingly powerful, with interesting applications in semantics, set theory, and higher-order metaphysics.
In the second, I’m looking at classes in set theory. Typically, a class is a collection of sets too large to be a set itself. I’m trying to get clear on why we might want classes — what work they do for us; what they are exactly, given that they aren’t sets; and what consequences they have for various views about the nature of sets. In particular, I think it has important consequences for potentialism—the view that the universe of sets is inherently potential.
Beyond my core research areas, I have a growing interest in philosophical methodology.