Results for 'Seppo Poutanen'

4 found
Order:
  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  
  2. 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  
     
    Export citation  
     
    Bookmark   2 citations  
  3. 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  
  4. Seppo Albert Kivinen universaalien identiteetti- ja eksistenssiehdoista.Markku Keinänen - 2022 - Ajatus 79: 53-71.
    This article (in Finnish) discusses Seppo Albert Kivinen's (1933-2021) views on identity and existence conditions of universals. Moreover, the article puts the views to larger context.
    Download  
     
    Export citation  
     
    Bookmark   1 citation