What mathematical theories of truth should be (and can be)
Abstract
Hannes Leitgeb formulated eight norms for theories of truth in his paper: `What Theories of Truth Should be Like (but Cannot be)'.We shall present in this paper a mathematical theory of truth for suitably constructed languages which contain all sentences of the first-order language of set theory, and prove that it satisfies all those norms.
Published
2014-11-27
Issue
Section
Articles