公理化真理论研究新进展

发布时间：2017-10-19 08:14

  本文关键词：公理化真理论研究新进展

  更多相关文章： 公理化方法 说谎者 组合理论 truth 句法理论 哥德尔编码 语法概念 塔尔斯基 形式语言 克里普克

【摘要】：正公理化真理论(axiomatic theory of truth)兴起于20世纪80年代,其核心思想是把"真"作为一个初始的谓词,直接添加到一种基础理论(base theory)的语言中,并以若干刻画真概念基本事实的语句作为公理,对基础理论进行扩充。这里所谓的基础理论是一种句法理论(sntactic theory),用于提供研究真概念所必需的精确而严格的形式语言。公理化真理论以克服说谎者悖论及其各种变体为目标,在系统研究真概念的功能和规律的基础上,逐渐形成了四大理论~([1]),本文称之为"经典理论",分别是:去
【作者单位】： 南开大学哲学院;
【关键词】： 公理化方法;说谎者;组合理论;truth;句法理论;哥德尔编码;语法概念;塔尔斯基;形式语言;克里普克;
【基金】：国家社会科学基金项目“公理化真理论研究”(12BZX059)资助
【分类号】：B81
【正文快照】： 公理化真理论(axiomatic theory of truth)兴起于20世纪80年代,其核心思想是把“真”作为一个初始的谓词,直接添加到一种基础理论(base theory)的语言中,并以若干刻画真概念基本事实的语句作为公理,对基础理论进行扩充。这里所谓的基础理论是一种句法理论(syntactic theory),

【相似文献】

中国期刊全文数据库 前6条

1 张平,文晓宇;关于几何公理化方法的产生、发展和中学几何公理处理的xO究[J];齐齐哈尔师范学院学报(哲学社会科学版);1987年S1期

2 张荣华;数学公理化方法浅谈[J];九江师专学报;1990年06期

3 林夏水;公理化方法的哲学分析[J];福建师大学报(哲学社会科学版);1982年01期

4 鲁兴启;演绎科学方法论探寻[J];国内哲学动态;1985年05期

5 宋立军;任冲;;公理化运动的哲学反思[J];自然辩证法研究;2013年10期

6 邱克森;形式化、公理化无法摆脱科学理论错误[J];安徽大学学报;2001年05期

中国重要会议论文全文数据库 前1条

1 李建华;;公理化方法的历史发展[A];1997年逻辑研究专辑[C];1997年

，

本文编号：1060020