Year:

  1. A Mathematical Theory of Truth and an Application to the Regress Problem.S. Heikkilä - forthcoming - Nonlinear Studies 22 (2).
    In this paper a class of languages which are formal enough for mathematical reasoning is introduced. Its languages are called mathematically agreeable. Languages containing a given MA language L, and being sublanguages of L augmented by a monadic predicate, are constructed. A mathematical theory of truth (shortly MTT) is formulated for some of those languages. MTT makes them fully interpreted MA languages which posses their own truth predicates. MTT is shown to conform well with the eight norms formulated for theories (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  42
    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.
    Direct download  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues