當(dāng)代形式真理論中不動點(diǎn)方法和修正方法的比較研究
發(fā)布時(shí)間:2018-05-20 01:14
本文選題:真理 + 不動點(diǎn)方法�。� 參考:《邏輯學(xué)研究》2017年03期
【摘要】:當(dāng)代形式真理論試圖尋求恰當(dāng)?shù)哪P蛠砜坍嬚嬷^詞,在克里普克之后,不動點(diǎn)方法及其修正方法是最主要的兩種方法,這兩種方式表面上大相徑庭,應(yīng)用時(shí)所獲得的理論也大不一樣。然而,通過對不動點(diǎn)方法、修正方法的比較和對比,本文試圖說明這兩種方法在最根本的特征上是一致的。這種一致性主要體現(xiàn)在兩種方法都是通過疊置地構(gòu)建模型序列刻畫真謂詞,這契合人們對真理的認(rèn)識過程,是不動點(diǎn)方法和修正方法在過去四十年具有強(qiáng)大生命力的根本原因。
[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.
【作者單位】: 浙江大學(xué)人文學(xué)院;
【基金】:中國博士后科學(xué)基金面上資助(第59批),項(xiàng)目編號:2016M592009
【分類號】:B812
【相似文獻(xiàn)】
相關(guān)期刊論文 前1條
1 王文方;;帶良好條件句的真理不動點(diǎn)理論(英文)[J];邏輯學(xué)研究;2013年03期
,本文編號:1912520
本文鏈接:http://sikaile.net/shekelunwen/ljx/1912520.html
最近更新
教材專著