聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 真谓词的一个新模式
出处:哲学研究 2013年第6期111-118,共8页
摘要:受哥德尔不完全性定理的启示,塔斯基提出了著名的算术真之不可定义性定理(常称为“塔斯基定理”):任何... 显示全部
关键词: 哥德尔不完全性定理 谓词 形式语言 不可定义 塔斯基 算术 语句
在线阅读 下载全文
期刊文章 真谓词的一个新模式
出处:哲学研究 2013年第6期111-118,共8页
摘要:受哥德尔不完全性定理的启示,塔斯基提出了著名的算术真之不可定义性定理(常称为“塔斯基定理”):任何... 显示全部
关键词: 哥德尔不完全性定理 谓词 形式语言 不可定义 塔斯基 算术 语句
期刊文章 真理论的转向:由定义到公理化
出处:哲学研究 2013年第5期118-125,共8页
摘要:传统的实质真理论有其自身的缺陷,塔斯基等人的语义真理论则需要使用更强的元语言。实质真理论和语义真理... 显示全部
关键词: 真理论 公理化 下定义 推理规则 元语言 词的意义 塔斯基 缺陷
在线阅读 下载全文
找到3条结果
`