An ordinal analysis for theories of self-referential truth外文.pdfVIP

Arch. Math. Logic (2010) 49:213–247 DOI 10.1007/s00153-009-0170-2 Mathematical Logic An ordinal analysis for theories of self-referential truth Graham Emil Leigh · Michael Rathjen Received: 18 November 2009 / Accepted: 23 November 2009 / Published online: 12 January 2010 © Springer-Verlag 2010 Abstract The first attempt at a systematic approach to axiomatic theories of truth was undertaken by Friedman and Sheard (Ann Pure Appl Log 33:1–21, 1987). There twelve principles consisting of axioms, axiom schemata and rules of inference, each embod