算术.真与悖论 本书特色

本书内容分为三个部分：算术、真和悖论。*部分"算术"部分主要阐述形式真理论在二十世纪三十年代的成果，包括了哥德尔不完全性定理中与真理论密切相关的技术思想和方法，重点阐述了塔斯基不可定义性定理及其相关的延伸性结果。这一部分为后续理论提供了技术与思想两方面的准备。第二部分"真"部分除阐述了塔斯基的语言层次理论之外，主要阐述六十年代直到*近逻辑学家围绕真与悖论问题而建立起的占主流地位的几个基本理论，包括克里普克、赫兹伯格、古普塔、贝尔纳普、莱特格布等人的理论。这一部分侧重于真在形式语言中的可定义性问题的探究。第三部分"悖论"部分是笔者自2005年以来在形式真理论领域一系列成果的总结和发展。这部分侧重于与真相关的悖论的可描述性问题的探索。总体说来，*部分是全书的基础，而第二、三部分则是全书的主体，内容上各有侧重。我们希望提供这种构架把形式真理论的基本理论与*成果进行融会贯通，既全面系统地阐述形式真理论的核心理论，又深入研究领域的腹地开拓新问题为形式真理论的发展指明新的研究课题和研究方向。