公理化真理论

公理化真理论（axiomatic theory of truth），哲学-哲学-逻辑学-逻辑，将真理处理为一种不加定义的初始概念，建立相应的公理化系统的理论。公理化真理论研究的出发点是对与真理有关的说谎者悖论的处理。面对经典的说谎者悖论这类语义悖论，以往的解决方案有些是关注于真谓词，明确真谓词中的假设；而另一些方案则认为问题不在于真谓词，而在于原句式的奇异特征。以V.贺柏和为代表的公理化真理论者试图提供一种解决悖论的全新方法。其方法分为两步：①讨论不包含“是真的”这一类导致悖论的词项的语句的真，这时基本上是在A.塔尔斯基对象语言与元语言区分的基础上进行工作。②讨论包含“是真的”这一类导致悖论的词项的语句的真。为了解决（或者避免）悖论，贺柏和构建了一种形式语言，不试图去定义“真”或“是真的”，而通过公理化进路表明真语句的全部外延。与以往的真理论相比，公理化进路并不预设真理可被定义。相反，通过引入一个关于真的新初始谓词扩充形式语言，而且关于该谓词的公理接着也被确定下来。可以进一步研究，满足那些公理的初始谓词是否能够借助定义引入，但公理化进路并不预设可定义性。