Welcome! This page contains my research. I am a former associate professor of philosophy.
I have given a solution to the Liar Paradox based on the premise that language is conventional. You can read about it in Ch. 5 of my book and in The Signalman Against the Glut and Gap Theorists.
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 book is about.
I have also formulated a Bayesian solution to the problem of induction; see Turning the Tables on Hume.
In addition, I have worked on intuitionism, supertasks, probability theory, decision theory, and Montague Grammar.
Finally, I have created The Logic Editor, where you can do natural deduction proofs in propositional logic.