公理化真理论研究新进展

公理化真理论（axiomatic theory of truth）兴起于20世纪80年代，其核心思想是把“真”作为一个初始的谓词，直接添加到一种基础理论（base theory）的语言中，并以若干刻画真概念基本事实的语句作为公理，对基础理论进行扩充。这里所谓的基础理论是一种句法理论（syntactic theory），用于提供研究真概念所必需的精确而严格的形式语言。