当代形式真理论中不动点方法和修正方法的比较研究

Study on the Method of Fixed Point and the Method of Revision in Contemporary Formal Truth Theory

当代形式真理论试图寻求恰当的模型来刻画真谓词,在克里普克之后,不动点方法及其修正方法是最主要的两种方法,这两种方式表面上大相径庭,应用时所获得的理论也大不一样。然而,通过对不动点方法、修正方法的比较和对比,本文试图说明这两种方法在最根本的特征上是一致的。这种一致性主要体现在两种方法都是通过叠置地构建模型序列刻画真谓词,这契合人们对真理的认识过程,是不动点方法和修正方法在过去四十年具有强大生命力的根本原因。

Contemporary truth theories attempt to find suitable model to characterize truthpredicate.After Kripke,the Fixed point method and the Revision method are two majormethods.It seems that the two methods are totally different and truth theories fromthem are also different in many aspects.However,by comparing and contrast the twomethods,the paper wants to illustrate the two methods are exactly the same in nature.Both of the two methods find the model to characterize truth predicate by constructingmodel sequence iteratively,which accords with the understanding process of truth and isthe source of strong vitality of the two methods over the past forty years.