附件:设置1:设置2:设置3:设置4:本书内容分为三个部分: 算术、真和悖论。第一部分“算术”部分主要阐述形式真理论在二十世纪三十年代的成果, 包括了哥德尔不完全性定理中与真理论密切相关的技术思想和方法, 重点阐述了塔斯基不可定义性定理及其相关的延伸性结果。第二部分“真”部分除阐述了塔斯基的语言层次理论之外, 主要阐述六十年代直到*近逻辑学家围绕真与悖论问题而建立起的占主流地位的几个基本理论, 包括克里普克、赫兹伯格、古普塔、贝尔纳普、莱特格布等人的理论。第三部分“悖论”部分是笔者自2005年以来在形式真理论领域一系列成果的总结和发展。这部分侧重于与真相关的悖论的可描述性问题的探索。