Some uses and applications of truth theory in logic

In this talk, I will try to give a (partial) overview of axiomatic truth theory, from my particular perspective, in connection to some problems in the foundation of mathematics and its use and application in some areas of mathematical logic.

To get to campus, take the train from Birmingham New Street to the University stop (7 minutes).

School of Mathematics

University of Birmingham

http://web.mat.bham.ac.uk/R.W.Kaye/

Dr Walter Dean

Department of Philosophy

University of Warwick

http://go.warwick.ac.uk/whdean