Talk given at the Foundations of Logical Consequence Workshop I: Proof-Theoretic vs Model-Theoretic Semantics. (Arché Centre for Logic, Language, Metaphysics and Epistemology, University of Saint Andrews.)
Talk · Jan 2009 (permalink)
Once a photographer, but now a researcher who can't choose between philosophy and logic.
I have worked in philosophical logic and the philosophy of information, with some brief excursions into the philosophy of mathematical practice.