My research is largely concerned with debates over realism---in mathematics, science, logic, and philosophy of language. I am particularly interested in investigating how different ontological positions might be mapped onto different logical positions, and if from the structure of a logic we can distinguish what ontological positions it might support.
My most recent research has been on how choice operators strengthen non-classical logics and the ontological implication of adding such operators to one's logic.