Reflecting on Truth.

What is implicit in the acceptance of the Tarskian truth biconditionals? In this article we expand and generalise results by Horsten and Leigh [14] to characterise the proof- and truth-theoretic content of iterated reflection over disquotational theories of truth. In particular, we confirm the conjecture that, modulo reflection, all there is to typed and Kripke–Feferman truth is captured by simple and natural collections of truth (and in the latter case falsity) bicon- ditionals.

Authors

• Graham E. Leigh

Keywords

No keywords are indexed for this paper.