Proof, Truth, Computation

Summer School on the Interactions between Modern Foundations of Mathematics and Contemporary Philosophy

21-25 July 2014 in the Benedictine nunnery on Fraueninsel (an island in Chiemsee), Germany

Here is my presentation as a pdf file.

Together with Graham Leigh I have given a brief survey of axiomatic theories of truth in an entry for the Stanford Encyclopedia:

Halbach, Volker and Leigh, Graham E., "Axiomatic Theories of Truth", The Stanford Encyclopedia of Philosophy (Summer 2014 Edition), Edward N. Zalta (ed.)

An in-depth treatment can be found in my

Axiomatic Theories of Truth, Cambridge University Press, 2011