A mathematically derived definitional/semantical theory of truth

Nonlinear Studies 25 (1):173-189 (2018)
  Copy   BIBTEX

Abstract

Ordinary and transfinite recursion and induction and ZF set theory are 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)'.

Author's Profile

Seppo Heikkilä
University of Oulu

Analytics

Added to PP
2017-10-17

Downloads
223 (#61,430)

6 months
49 (#73,097)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?