绪论

第一编 算术

第一章 集与序

第一节 集合

第二节 关系

第三节 序数

第四节 框架

第二章 形式算术

第一节 带真谓词的算术语言

第二节 经典赋值

第三节 真算术与皮亚诺算术

第四节 真算术的非标准模型

第三章 原始递归函数与递归函数

第一节 原始递归函数

第二节 常用原始递归函数

第三节 原始递归关系

第四节 递归函数及关系

第四章 哥德尔编码及相关函数

第一节 哥德尔编码

第二节 序列数

第三节 过程值递归

第四节 有关句法的函数和关系

第五章 递归函数的算术可定义性

第一节 算术可定义性

第二节 复合和极小化运算保持算术可定义性

第三节 哥德尔的贝塔函数

第四节 原始递归运算保持算术可定义性

第六章 真之不可定义性

第一节 对角线引理

第二节 塔斯基定理

第三节 蒙太格定理与麦吉定理

第四节 T-模式特例的极大一致集

第二编 真

第七章 层次理论

第一节 真之定义问题

第二节 语言层次

第三节 真之公理化问题

第四节 升层与降层公理理论

第八章 克林强三值赋值与克里普克不动点定理

第一节 克林强三值赋值

第二节 不动点与真谓词

第三节 不动点定理

第四节 语句的分类

第九章 超赋值与最小不动点

第一节 含糊谓词的精确化

第二节 超赋值模式

第三节 最小不动点的比较

第四节 不动点与悖论

第十章 修正序列的周期性

第一节 修正序列

第二节 修正周期

第三节 稳定性

第四节 修正序列与悖论

第十一章 范畴性与不动点

第一节 语句的范畴性

第二节 范畴性的集论可描述性

第三节 拟范畴语句

第四节 范畴语句与有底语句

第十二章 语义依赖关系

第一节 依赖关系

第二节 依赖与指称

第三节 依赖算子的不动点

第四节 依赖算子不动点与其他不动点

第三编 悖论

第十三章 T-模式与说谎者

第一节 真谓词构造中的T-模式

第二节 说谎者悖论的刻画

第三节 良性与恶性循环

第四节 消除悖论还是描述悖论

第十四章 悖论的悖论度

第一节 悖论度的引进

第二节 说谎者与茹尔丹卡片的比较

第三节 跳跃说谎者

第四节 跳跃说谎者的刻画

第十五章 有穷卡片悖论

第一节 有穷卡片语句集

第二节 有穷卡片语句集的推广

第三节 道路及其深度

第四节 有穷卡片悖论的刻画

第十六章 布尔悖论

第一节 布尔悖论及其修正周期

第二节 布尔悖论的构造

第三节 布尔悖论的刻画

第四节 布尔悖论的悖论度结构

第十七章 悖论与自指

第一节 雅布鲁式悖论

第二节 有穷卡片悖论与雅布鲁式悖论

第三节 雅布鲁式悖论的非自指性

第四节 有穷悖论的自指性

第十八章 悖论与循环

第一节 超穷卡片悖论

第二节 麦吉悖论

第三节 超穷卡片悖论与麦吉悖论的刻画

第四节 有穷悖论的循环性

参考文献

索引