真理论的转向:由定义到公理化
传统的实质真理论有其自身的缺陷,塔斯基等人的语义真理论则需要使用更强的元语言.实质真理论和语义真理论都试图给真下定义,因此可被归为定义的真理论.定义的真理论不可避免地面临着无穷倒退的困境,而向公理化的真理论的转向则克服了这一缺陷.公理化真理论不再给真下定义,而是把真看作一个原始谓词,并且用一组公理和推理规则来规定它.公理化真理论可以给出自身语言中真谓词的意义,不需要使用很强的元语言,而且可以对真的性质作系统的推理.公理化真理论主要分为类型真理论和无类型真理论两大类:两者都有自己的优点,同时也都存在不足之处.本文将按照莱特杰布(H.Leitgeb)的标准,对上述公理化真理论的性质、特点逐一给出分析和补充.
国家社会科学基金项目“公理化真理论研究”编号12BZX059
2013-09-10（万方平台首次上网日期，不代表论文的发表时间）
共8页
118-125
