您好、欢迎来到现金彩票网!
当前位置:神州彩票app下载 > 公理语义 >

公理化真理论-手机知网

发布时间:2019-09-14 23:33 来源:未知 编辑:admin

  传统的实质真理论存在不能令人满意之处,塔斯基等人的语义真理论需要使用更强的元语言。实质真理论和语义真理论都试图给真下定义,因此可被归为定义的真理论。人们开始认为真这个概念本身比其他定义的概念(如符合论中的事实等)更为清楚。而且许多哲学家希望能在一个语言内部给出该语言的真理论,塔斯基的不可定义性定理则宣告了定义方法的失败,因为定义的真理论不可避免地面临着无穷倒退的困境。直到上世纪80年代末和90年代初,才由弗里德曼、希尔德、费弗曼和坎蒂尼等人正式提出了公理化真理论,从而开辟了一个全新的研究领域,并得到了一些新的结论和定理。 与以前的定义真理论不同,公理化真理论不再给真下定义,而把真看作一个原始谓词,并且用一组公理和推理规则来规定它。公理化真理论可以给出自身语言中真谓词的意义,克服了无穷倒退的缺陷,而且可以对真的性质系统地推理。现有的公理化真理论绝大部分是以一阶算术PA系统为基础理论,并且可以分为类型真理论和无类型真理论两大类。类型真理论是指系统的公理仅仅允许证明不包含相同真谓词的句子的真,类型真理论主要有去引号真理论TB、组合真理论TC和阶层真理论RT

http://39-5963.net/gongliyuyi/872.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有