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

熊明，1973年生，云南昭通人，先后就读于北京大学哲学系、中山大学数学系，获哲学学士、硕士学位、理学博士学位。麻省理工学院语言学与哲学系访问学者。现为华南师范大学政治与行政学院教授、博士生导师。主要研究方向为真理论与数学基础，出版专著一部、教材一部，在靠前靠前学术期刊上发表论文二十余篇。代表作品有论文“AnIntuitionistic Characterization of Classical Logic”(Journal of Philosophical Logic，2008)、“Tarski’S Theoremand Liar-like Paradoxes”(Logic Journal of the IGPL，2014)和专著《塔斯基定理与真理论悖论》。成果获金岳霖学术奖、洪谦哲学奖、广东省哲学社会科学奖、中国逻辑学会科研奖等多个奖项。

前言
绪论
第一编算术
第一章集与序
第一节集合
第二节关系
第三节序数
第四节框架
第二章形式算术
第一节带真谓词的算术语言
第二节经典赋值
第三节真算术与皮亚诺算术
第四节真算术的非标准模型
第三章原始递归函数与递归函数
第一节原始递归函数
第二节常用原始递归函数
第三节原始递归关系
第四节递归函数及关系
第四章哥德尔编码及相关函数
第一节哥德尔编码
第二节序列数
第三节过程值递归
第四节有关句法的函数和关系
第五章递归函数的算术可定义性
第一节算术可定义性
第二节复合和极小化运算保持算术可定义性
第三节哥德尔的贝塔函数
第四节原始递归运算保持算术可定义性
第六章真之不可定义性
第一节对角线引理
第二节塔斯基定理
第三节蒙太格定理与麦吉定理
第四节T一模式特例的极大一致集
第二编真
第七章层次理论
第一节真之定义问题
第二节语言层次
第三节真之公理化问题
第四节升层与降层公理理论
第八章克林强三值赋值与克里普克不动点定理
第一节克林强三值赋值
第二节不动点与真谓词
第三节不动点定理
第四节语句的分类
第九章超赋值与最小不动点
第一节含糊谓词的精确化
第二节超赋值模式
第三节最小不动点的比较
第四节不动点与悖论
第十章修正序列的周期性
第一节修正序列
第二节修正周期
第三节稳定性
第四节修正序列与悖论
第十一章范畴性与不动点
第一节语句的范畴性
第二节范畴l生的集论可描述性
第三节拟范畴语句
第四节范畴语句与有底语句
第十二章语义依赖关系
第一节依赖关系
第二节依赖与指称
第三节依赖算子的不动点
第四节依赖算子不动点与其他不动点
第三编悖论
第十三章T-模式与说谎者
第一节真谓词构造中的T-模式
第二节说谎者悖论的刻画
第三节良性与恶性循环
第四节消除悖论还是描述悖论
第十四章悖论的悖论度
第一节悖论度的引进
第二节说谎者与茹尔丹卡片的比较
第三节跳跃说谎者
第四节跳跃说谎者的刻画
第十五章有穷卡片悖论
第一节有穷卡片语句集
第二节有穷卡片语句集的推广
第三节道路及其深度
第四节有穷卡片悖论的刻画
第十六章布尔悖论
第一节布尔悖论及其修正周期
第二节布尔悖论的构造
第三节布尔悖论的刻画
第四节布尔悖论的悖论度结构
第十七章悖论与自指
第一节雅布鲁式悖论
第二节有穷卡片悖论与雅布鲁式悖论
第三节雅布鲁式悖论的非自指性
第四节有穷悖论的自指性
第十八章悖论与循环
第一节超穷卡片悖论
第二节麦吉悖论
第三节超穷卡片悖论与麦吉悖论的刻画
第四节有穷悖论的循环性
参考文献
索引