图书介绍
塔斯基定理与真理论悖论PDF|Epub|txt|kindle电子书版本网盘下载
- 熊明著 著
- 出版社： 北京：科学出版社
- ISBN：9787030401243
- 出版时间：2014
- 标注页数：160页
- 文件大小：58MB
- 文件页数：173页
- 主题词：数理逻辑－定理（数学）－研究
PDF下载
点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]
下载说明
塔斯基定理与真理论悖论PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 导论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