I am a Professor of Philosophy at the University of Calgary, working in logic, history of analytic philosophy, and the philosophy of mathematics. In logic, my main interests are non-classical logics and proof theory. My historical interests lie mainly in the development of formal logic and historical figures associated with this development such as Hilbert, Gödel, and Carnap. In the philosophy of mathematics I have mainly worked on Hilbert's program and the philosophical relevance of proof theory.
APA Western Division
Calgary, Alberta, Canada
Areas of Specialization
Logic and Philosophy of Logic |
Philosophy of Mathematics |
20th Century Philosophy |