Logo Logo
Help
Contact
Switch Language to German
Fischer, Martin; Nicolai, Carlo; Horsten, Leon (8. August 2017): Iterated reflection over full disquotational truth. In: Journal of Logic and Computation, exx023
Full text not available from 'Open Access LMU'.

Abstract

Iterated reflection principles have been employed extensively to unfold epistemic commitments that are incurred by accepting a mathematical theory. Recently this has been applied to theories of truth. The idea is to start with a collection of Tarski-biconditionals and arrive by iterated reflection at strong compositional truth theories. In the context of classical logic, it is incoherent to adopt an initial truth theory in which A and ‘A is truen’ are inter-derivable. In this article, we show how in the context of a weaker logic, which we call Basic De Morgan Logic, we can coherently start with such a fully disquotational truth theory and arrive at a strong compositional truth theory by applying a natural uniform reflection principle a finite number of times.