克里普克Outline of a Theory of Truth一文,是当代逻辑悖论研究最重要文献之一。克里普克就逻辑悖论成因问题提供了一种准确说明,即自我指称与悖论形成没有关系,经典解悖方案中不存在任何对自我指称的限制,这一点可通过哥德尔自指定理...克里普克Outline of a Theory of Truth一文,是当代逻辑悖论研究最重要文献之一。克里普克就逻辑悖论成因问题提供了一种准确说明,即自我指称与悖论形成没有关系,经典解悖方案中不存在任何对自我指称的限制,这一点可通过哥德尔自指定理,以及塔尔斯基形式语言真理论与哥德尔不完全性定理之间关系的阐释得到明晰显现。展开更多
文摘克里普克Outline of a Theory of Truth一文,是当代逻辑悖论研究最重要文献之一。克里普克就逻辑悖论成因问题提供了一种准确说明,即自我指称与悖论形成没有关系,经典解悖方案中不存在任何对自我指称的限制,这一点可通过哥德尔自指定理,以及塔尔斯基形式语言真理论与哥德尔不完全性定理之间关系的阐释得到明晰显现。