>PROOF THEORY AND PHILOSOPHY, Feb 26th, 2011