目錄
序(張羿)
前言
第一章 導(dǎo)論 1
1.1 真理論悖論 1
1.2 塔斯基定理(非形式的表述) 7
1.3 框架與循環(huán) 12
第二章 塔斯基定理及其后續(xù) 15
2.1 塔斯基定理 15
2.1.1 帶T謂詞的形式算術(shù)語言 16
2.1.2 塔斯基定理與語言層次理論 20
2.2 歸納構(gòu)造理論 26
2.2.1 具佳空缺和跳躍算子 27
2.2.2 不動(dòng)點(diǎn)定理 32
2.3 修正理論 38
2.3.1 修正序列 39
2.3.2 巨環(huán)與穩(wěn)定性 46
2.4相對(duì)化T-模式 53
2.4.1 T-模式的相對(duì)化 54
2.4.2 塔斯基定理的推廣 58
第三章 真理論悖論的刻畫和比較 65
3.1 說謊者悖論的刻畫 65
3.1.1 塔斯基定理與說謊者悖論 66
3.1.2 相對(duì)矛盾性 69
3.2 說謊者悖論與佐丹卡片悖論的比較 73
3.2.1 矛盾程度的強(qiáng)弱 73
3.2.2 框架的N4-著色 76
3.3 卡片悖論的刻畫與比較 80
3.3.1 卡片序列的推廣及其分類 81
3.3.2 框架的N2-著色 85
3.3.3 塔斯基定理與卡片序列 但
3.4 亞布洛悖論的刻畫 96
3.4.1 亞布洛序列及其自指性 97
3.4.2 亞布洛序列的循環(huán)性 102
第四章 悖論、自指與循環(huán) 108
4.1 語句網(wǎng)與悖論 108
4.1.1 語句網(wǎng) 109
4.1.2 再論悖論 113
4.2 悖論與自指 120
4.2.1 直接自指與間接自指 121
4.2.2 有窮悖論的自指性 123
4.3 悖論與循環(huán) 125
4.3.1 循環(huán)依賴性 126
4.3.2 有窮悖論的循環(huán)性 129
4.4 隱定義的悖論 133
4.4.1 跳躍說謊者悖論 134
4.4.2 悖論的可定義性 140
參考文獻(xiàn) 147
符號(hào) 152
索引 155