真之探寻：不动点理论与修正理论的深度比较.docx

一、引言

1.1研究背景与动机

在当代形式真理论的发展历程中，不动点理论与修正理论占据着举足轻重的地位，宛如两颗璀璨的明星，照亮了我们探索真概念的道路。自20世纪70年代起，随着逻辑哲学和数学基础研究的不断深入，形式真理论逐渐成为学界研究的焦点，众多学者投身其中，试图揭开真概念的神秘面纱。在这一研究领域，不动点理论和修正理论脱颖而出，成为了两种极具影响力的理论体系，它们从不同的角度对真谓词进行了深入剖析和刻画，为我们理解真概念提供了丰富的视角和深刻的见解。

不动点理论最早由克里普克（S.A.Kripke）于1975年在其开创性论文《真理论论纲》中提出，几乎在同一时期，马丁（R