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

逻辑学研究 2017 年第3 期，101–116 文章编号：1674-3202(2017)-03-0101-16 当代形式真理论中不动点方法和修正方法的 比较研究* 张亮 浙江大学人文学院 0015702@zju.edu.cn 摘 要：当代形式真理论试图寻求恰当的模型来刻画真谓词，在克里普克之后，不动 点方法及其修正方法是最主要的两种方法，这两种方式表面上大相径庭，应用时所获得 的理论也大不一样。然而，通过对不动点方法、修正方法的比较和对比，本文试图说明 这两种方法在最根本的特征上是一致的。这种一致性主要体现在两种方法都是通过叠 置地构建模型序列刻画真谓词，这契合人们对真理的认识过程，是不动点方法和修正方 法在过去四十年具有强大生命力的根本原因。 关键词：真理；不动点方法；修正方法 中图分类号：B81 文献标识码：A 近四十年来，形式真理论1如雨后春笋般冒出，而克里普克（S.Kripke）的 [13] 在这