“真”之公理化理论

摘要：

在传统的逻辑研究中，“真”通常作为一种谓词而被定义。但在“真”之公理化理论中，“真”被看作是一个由特定公理和规则所支配的初始谓词。贺柏和教授在本文中分析了真谓词几种不同的公理系统，并比较了各自的证明-理论强度。

关键词：真、公理化理论、真理论

分类号：B813(逻辑学(论理学))

资助基金：上海市教育委员会科研创新重点项目“贺柏和‘真’之公理化理论研究”项目编号14ZS019。

在线出版日期：2014-09-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：115-126