《塔斯基定理與真理論悖論》是一項關於塔斯基定理與真理論悖論之間關聯性的研究。塔斯基定理(全稱為“塔斯基真之不可定義性”)是數理邏輯中與哥德爾兩個不**性定理齊名的理論。本書梳理了塔斯基、克裡普克、赫茨伯格、古普塔等人的真理論的基本內容，並通過分析其理論對真謂詞的處理概括出真謂詞在可能世界上的一種模式，進而給出了塔斯基定理的一繫列的推廣。本書由熊明著。

關於說謊者及其相關真理論悖論的研究始於古希 臘時代，之後相關理論層出不窮，但至今仍無定論， 相關研究仍是當今邏輯研究的一大熱點。《塔斯基定 理與真理論悖論》梳理了塔斯基、克裡普克、赫茨伯 格、古普塔等人的真理論的基本內容，並通過分析其 理論對真謂詞的處理概括出真謂詞在可能世界上的一 種模式，進而給出了塔斯基定理的一繫列的推廣。主 要探討在對真謂詞進行定義時所可能產生的悖論問題 ，基本目標是應用符號邏輯理論對這些悖論進行刻畫 ，從而明確定義真謂詞所需的條件。 《塔斯基定理與真理論悖論》適合邏輯學、哲學 等及相關專業的讀者參閱。本書由熊明著。

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