Order:
See also
Seppo Heikkilä
University of Oulu
  1. What Mathematical Theories of Truth Should Be Like (and Can Be).Seppo Heikkilä - manuscript
    Hannes Leitgeb formulated eight norms for theories of truth in his paper [5]: `What Theories of Truth Should be Like (but Cannot be)'. We shall present in this paper a theory of truth for suitably constructed languages which contain the first-order language of set theory, and prove that it satisfies all those norms.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  40
    Theories of Truth for Countable Languages Which Conform to Classical Logic.Seppo Heikkilä - forthcoming - Nonlinear Studies.
    Every countable language which conforms to classical logic is shown to have an extension which has a consistent definitional theory of truth. That extension has a consistent semantical theory of truth, if every sentence of the object language is valuated by its meaning either as true or as false. These theories contain both a truth predicate and a non-truth predicate. Theories are equivalent when sentences of the object lqanguage are valuated by their meanings.
    Download  
     
    Export citation  
     
    Bookmark  
  3.  73
    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