I am an associate professor at the Chinese Academy of Sciences’ newly founded Institute of Philosophy in Beijing. Currently, I am visiting the Munich Center for Mathematical Philosophy.
I have also developed semantic conventionalism, a nominalistic philosophy of mathematics. Its central thesis is that mathematics should be founded on the human ability to create language. That is what the rest of my new book is about.
My most important current project is a Bayesian solution to the problem of induction; see the two draft papers "Inductive Reasoning in Simple Worlds" and "Turning the Tables on Hume".
I have also worked on intuitionism, supertasks, probability theory, decision theory, and Montague Grammar.
In addition, I have created The Logic Editor, where you can do natural deduction proofs in propositional logic.