序(張羿)
前言
第一章 導論
§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 悖論的可定義性
參考文獻
符號
索引
· · · · · · (收起)