A mathematically derived definitional/semantical theory of truth

Defini6tional/semantical theory of truth

  • Seppo Viljami Heikkilä Professor


Ordinary and transfinite recursion and induction  and ZF set theory sre used to construct from a fully interpreted object language and from an extra formula a new language. It is fully interpreted under a suitably defined interpretation. This interpretation is equivalent to the interpretation by meanings of sentences if the object language is so interpreted. The added formula provides a truth predicate for the constructed language. The so obtained theory of truth satisfies the norms presented in Hannes Leitgeb's paper 'What Theories of Truth Should be Like (but Cannot be)'.