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)'.

Feb 25, 2018
How to Cite
HEIKKILÄ, Seppo Viljami. A mathematically derived definitional/semantical theory of truth. Nonlinear Studies, [S.l.], v. 25, n. 1, p. 173-189, feb. 2018. ISSN 2153-4373. Available at: <http://nonlinearstudies.com/index.php/nonlinear/article/view/1601>. Date accessed: 20 mar. 2018.