《塔斯基定理與真理論悖論》對塔斯基定理其相關真理論悖論進行了引述，從塔斯基定理開始，梳理了塔斯基、克里普克、赫茲伯格-古普塔等人的真理論的基本內容，闡述了這三個理論對真謂詞定義以及對悖論處理的主要技術性結果，並通過分析這三個理論對真謂詞的處理概括出真謂詞在可能世界上的一種模式。在上述新模式下確定了幾類典型的真理論悖論發生矛盾的充要條件，對這些悖論的度進行了刻畫，從而給出了塔斯基定理的一系列的推廣。澄清了有窮悖論對循環和自指的依賴性，此外還討論了悖論的可定義性問題。
基本介紹
- 外文名：Tarki's Theorem and Truth-Theoretic Paradoxes
- 書名：塔斯基定理與真理論悖論
- 作者：熊明
- 出版日期：2014年5月1日
- 語種：簡體中文
- ISBN：7030401247
- 出版社：科學出版社
- 頁數：160頁
- 開本：5
- 品牌：科學出版社
內容簡介,圖書目錄,
內容簡介
《塔斯基定理與真理論悖論》是一項關於塔斯基定理與真理論悖論之間關聯性的研究。塔斯基定理(全稱為“塔斯基真之不可定義性”)是數理邏輯中與哥德爾兩個不完全性定理齊名的理論。本書梳理了塔斯基、克里普克、赫茨伯格、古普塔等人的真理論的基本內容，並通過分析其理論對真謂詞的處理概括出真謂詞在可能世界上的一種模式，進而給出了塔斯基定理的一系列的推廣。本書由熊明著。
圖書目錄
序（張羿）
前言
第一章導論
§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悖論的可定義性
參考文獻
符號
索引
前言
第一章導論
§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悖論的可定義性
參考文獻
符號
索引
