论文部分内容阅读
<正>传统的实质真理论有其自身的缺陷,塔斯基等人的语义真理论则需要使用更强的元语言。实质真理论和语义真理论都试图给真下定义,因此可被归为定义的真理论。定义的真理论不可避免地面临着无穷倒退的困境,而向公理化的真理论的转向则克服了这一缺陷。公理化真理论不再给真下定义,而是把真看作一个原始谓词,并且用一组公理和推理规则来规定它。公理化真理论可以给出自身语言中