Switch to: References

Add citations

You must login to add citations.
  1. A mathematically derived definitional/semantical theory of truth.Seppo Heikkilä - 2018 - Nonlinear Studies 25 (1):173-189.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation