摘要
在传统的逻辑研究中,"真"通常作为一种谓词而被定义。但在"真"之公理化理论中,"真"被看作是一个由特定公理和规则所支配的初始谓词。贺柏和教授在本文中分析了真谓词几种不同的公理系统,并比较了各自的证明—理论强度。
According to the traditional study of Logic, 'truth' is always defined as a predicate. In the axiomatic theory of truth, however, it is treated as a primitive predicate that is governed by certain axioms and rules. This paper will analyze several different axiomatic theories of the predicate of truth, and compares their proof-theoretical strength.
出处
《哲学分析》
2014年第4期115-126,199,共12页
Philosophical Analysis
基金
上海市教育委员会科研创新重点项目"贺柏和‘真’之公理化理论研究"(项目编号:14ZS019)
关键词
真
公理化理论
真理论
truth
axiomatic theory
theory of truth
