- 作 者：熊明著
- 出 版 社：北京：科学出版社
- 出版年份：2014
- ISBN：9787030401243
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
8
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
第一章 导论 1
1.1真理论悖论 1
1.2塔斯基定理（非形式的表述） 7
1.3框架与循环 12
第二章 塔斯基定理及其后续 15
2.1塔斯基定理 15
2.1.1带T谓词的形式算术语言 16
2.1.2塔斯基定理与语言层次理论 20
2.2归纳构造理论 26
2.2.1真值空缺和跳跃算子 27
2.2.2不动点定理 32
2.3修正理论 38
2.3.1修正序列 39
2.3.2巨环与稳定性 46
2.4相对化T-模式 53
2.4.1 T-模式的相对化 54
2.4.2塔斯基定理的推广 58
第三章 真理论悖论的刻画和比较 65
3.1说谎者悖论的刻画 65
3.1.1塔斯基定理与说谎者悖论 66
3.1.2相对矛盾性 69
3.2说谎者悖论与佐丹卡片悖论的比较 73
3.2.1矛盾程度的强弱 73
3.2.2框架的N4-着色 76
3.3卡片悖论的刻画与比较 80
3.3.1卡片序列的推广及其分类 81
3.3.2框架的N4-着色 85
3.3.3塔斯基定理与卡片序列 91
3.4亚布洛悖论的刻画 96
3.4.1亚布洛序列及其自指性 97
3.4.2亚布洛序列的循环性 102
第四章 悖论、自指与循环 108
4.1语句网与悖论 108
4.1.1语句网 109
4.1.2再论悖论 113
4.2悖论与自指 120
4.2.1直接自指与间接自指 121
4.2.2有穷悖论的自指性 123
4.3悖论与循环 125
4.3.1循环依赖性 126
4.3.2有穷悖论的循环性 129
4.4隐定义的悖论 133
4.4.1 跳跃说谎者悖论 134
4.4.2悖论的可定义性 140
参考文献 147
符号 152
索引 155