| 公理化组合真之理论研究述评 |
| |
| 引用本文： | 韦雷雷. 公理化组合真之理论研究述评[J]. 湖南科技大学学报(社会科学版), 2016, 19(3): 38-43 |
| |
| 作者姓名： | 韦雷雷 |
| |
| 作者单位： | 南开大学 哲学院，天津 300350 |
| |
| 基金项目： | 国家社会科学基金项目（15XYY012） |
| |
| 摘 要： | 公理化真之理论的基本思想是将真公理添加到基础理论中，并以真谓词T对基础理论的语言进行扩充。用塔斯基定义真时所使用的归纳条款进行公理化并添加到基础理论，就能得到组合真之理论系统。公理化组合真之理论在以PA和ZF集合论为基础理论的研究方向上取得了若干成果。公理化组合真之理论以真谓词是否允许作用于本身带有该真谓词的语句为划分标准，分为“类型组合真之理论”和“无类型组合真之理论”两个路径。
|
| 关 键 词： | 公理化真之理论；组合真；类型；无类型 |
Review on Researches of Axiomatic Theories of Compositional Truth |
| |
| WEI Lei lei. Review on Researches of Axiomatic Theories of Compositional Truth[J]. journal of hunan university of science&technology, 2016, 19(3): 38-43 |
| |
| Authors: | WEI Lei lei |
| |
| Abstract: | 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 |
| |
| Keywords: | |
|
| 点击此处可从《湖南科技大学学报(社会科学版)》浏览原始摘要信息 |
|
点击此处可从《湖南科技大学学报(社会科学版)》下载全文 |
