公理化组合真之理论研究述评

发布时间：2018-04-12 18:15

  本文选题：公理化真之理论 + 组合真　； 参考：《湖南科技大学学报(社会科学版)》2016年03期

【摘要】：公理化真之理论的基本思想是将真公理添加到基础理论中,并以真谓词T对基础理论的语言进行扩充。用塔斯基定义真时所使用的归纳条款进行公理化并添加到基础理论,就能得到组合真之理论系统。公理化组合真之理论在以PA和ZF集合论为基础理论的研究方向上取得了若干成果。公理化组合真之理论以真谓词是否允许作用于本身带有该真谓词的语句为划分标准,分为"类型组合真之理论"和"无类型组合真之理论"两个路径。
[Abstract]:The basic idea of axiomatic truth theory is to add the true axiom to the basic theory and extend the language of the basic theory with the true predicate T.The theoretical system of combinatorial truth can be obtained by axiomatic and adding the inductive clauses used in the definition of truth by Tasky.The axiomatic combinatorial truth theory has made some achievements in the research direction based on PA and ZF set theory.The theory of axiomatic combinatorial truth is divided into two paths: "the theory of type combination truth" and "the theory of untyped combination truth" according to whether the true predicate is allowed to act on the sentence with the true predicate itself.
【作者单位】： 南开大学哲学院;
【分类号】：B812

【相似文献】

相关期刊论文 前3条

1 高兴华;试论科学理论的逻辑结构[J];四川大学学报(哲学社会科学版);1987年04期

2 李宁宁;;《论语》公理化诠释的目的与意义[J];九江学院学报(社会科学版);2011年02期

3 ;[J];;年期

相关会议论文 前4条

1 崔玉莲;吴纬;;公理化质量过程的集成研究[A];2010年全国机械行业可靠性技术学术交流会暨第四届可靠性工程分会第二次全体委员大会论文集[C];2010年

2 章真;曹云娟;;模糊集论形式公理化初探[A];1996中国控制与决策学术年会论文集[C];1996年

3 曹华军;王本涛;杜彦斌;陈时权;;基于公理化设计的废旧产品可重用再设计方法[A];2010全国机械装备先进制造技术(广州)高峰论坛论文汇编[C];2010年

4 江春琦;;孙学思维逻辑之公理化系统[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

相关硕士学位论文 前2条

1 芦珊;可公理化单射占优模型类的研究[D];南京航空航天大学;2006年

2 刘冠麟;柔性生产线的设计理论研究与应用[D];吉林大学;2014年

，

本文编号：1740870