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

简介：《逻辑学研究》（CN：44-1649/C）是一本有较高学术价值的双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社