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

发布时间：2018-05-20 01:14

本文选题：真理 + 不动点方法　；参考：《逻辑学研究》2017年03期

【摘要】：当代形式真理论试图寻求恰当的模型来刻画真谓词,在克里普克之后,不动点方法及其修正方法是最主要的两种方法,这两种方式表面上大相径庭,应用时所获得的理论也大不一样。然而,通过对不动点方法、修正方法的比较和对比,本文试图说明这两种方法在最根本的特征上是一致的。这种一致性主要体现在两种方法都是通过叠置地构建模型序列刻画真谓词,这契合人们对真理的认识过程,是不动点方法和修正方法在过去四十年具有强大生命力的根本原因。
[Abstract]:Contemporary formal truth theory tries to find the appropriate model to describe the true predicate. After Kripke, the fixed point method and its correction method are the two most important methods, and the two methods are quite different from each other on the surface. The theories obtained when applied are also quite different. However, through the comparison and comparison of the fixed point method and the modified method, this paper attempts to show that the two methods are consistent in the most fundamental characteristics. This consistency is mainly reflected in the fact that both of the two methods describe true predicates by superimposed model sequences, which coincide with the process of people's understanding of the truth, and are the fundamental reasons for the strong vitality of the fixed point method and the correction method in the past 40 years.
【作者单位】：浙江大学人文学院;
【基金】：中国博士后科学基金面上资助(第59批),项目编号:2016M592009
【分类号】：B812

【相似文献】