序(张羿)
前言
第一章 导论
§1.1 真理论悖论
§1.2 塔斯基定理(非形式的表述)
§1.3 框架与循环
第二章 塔斯基定理及其后续
§2.1 塔斯基定理
2.1.1 带T谓词的形式算术语言
2.1.2 塔斯基定理与语言层次理论
§2.2 归纳构造理论
2.2.1 真值空缺和跳跃算子
2.2.2 不动点定理
§2.3 修正理论
2.3.1 修正序列
2.3.2 巨环与稳定性
§2.4 相对化T-模式
2.4.1 T-模式的相对化
2.4.2 塔斯基定理的推广
第三章 真理论悖论的刻画和比较
§3.1 说谎者悖论的刻画
3.1.1 塔斯基定理与说谎者悖论
3.1.2 相对矛盾性
§3.2 说谎者悖论与佐丹卡片悖论的比较
3.2.1 矛盾程度的强弱
3.2.2 框架的N4-着色
§3.3 卡片悖论的刻画与比较
3.3.1 卡片序列的推广及其分类
3.3.2 框架的N2-着色
3.3.3 塔斯基定理与卡片序列
§3.4 亚布洛悖论的刻画
3.4.1 亚布洛序列及其自指性
3.4.2 亚布洛序列的循环性
第四章 悖论、自指与循环
§4.1 语句网与悖论
4.1.1 语句网
4.1.2 再论悖论
§4.2 悖论与自指
4.2.1 直接自指与间接自指
4.2.2 有穷悖论的自指性
§4.3 悖论与循环
4.3.1 循环依赖性
4.3.2 有穷悖论的循环性
§4.4 隐定义的悖论
4.4.1 跳跃说谎者悖论
4.4.2 悖论的可定义性
参考文献
符号
索引