文章摘要
公理化组合真之理论研究述评
Review on Researches of Axiomatic Theories of Compositional Truth
  
DOI:
中文关键词: 公理化真之理论  组合真  类型  无类型
英文关键词: 
基金项目:
作者单位
韦雷雷 南开大学 哲学院天津 300350 
摘要点击次数: 644
全文下载次数: 
中文摘要:
      公理化真之理论的基本思想是将真公理添加到基础理论中,并以真谓词T对基础理论的语言进行扩充。用塔斯基定义真时所使用的归纳条款进行公理化并添加到基础理论,就能得到组合真之理论系统。公理化组合真之理论在以PA和ZF集合论为基础理论的研究方向上取得了若干成果。公理化组合真之理论以真谓词是否允许作用于本身带有该真谓词的语句为划分标准,分为“类型组合真之理论”和“无类型组合真之理论”两个路径。
英文摘要:
      It is the basic idea of axiomatic theories of truth to add axioms for truth to the base theory and to expand the language of the base theory with the predicate T. If we add the axiomatization of the inductive clauses used to define the truth by Tarski to
查看全文   查看/发表评论  下载PDF阅读器
关闭