●叢書序
前言
第一部分 基礎
第1章 定義化和公理化的真理論
第2章 真之對像
第3章 塔斯基
第4章 真與集合論
4.1 定義與公理化
4.2 悖論和分類
第5章 技術準備
5.1 皮亞諾算術
5.2 真與滿足
5.3 翻譯和遞歸定理
第6章 比較不同的公理化真理論
第二部分 類型化的真理
第7章 去引號
第8章 經典組合真理論
8.1 組合真理論的保守性
8.2 保守性和模型論
8.3 非標準模型
8.4 拉克倫定理
8.5 滿足類和公理化的真理論
8.6 組合真與初等總括
8.7 肯定的真
第9章 分層
9.1 塔斯基分層的公理化
9.2 非良基的分層
第三部分 類型自由的真理
第10章 類型化的和類型自由的真理論
第11章 拒斥類型化的理由
第12章 公理與規則
第13章 類型自由的真之公理
第14章 古典的對稱性公理
14.1 弗裡德曼-希爾德理論和修正語義學
14.2 弗裡德曼-希爾德理論的證明理論
14.3 弗裡德曼-希爾德公理化
14.4 通過反射表達必然化
14.5 缺乏滿足
第15章 克裡普克-費弗曼
15.1 不動點語義學
15.2 接近性和一致性
15.3 克裡普克-費弗曼繫統的證明論
15.4 擴展
第16章 在局域邏輯中公理化克裡普克的理論
16.1 局域的克裡普克-費弗曼
16.2 關於局域的克裡普克-費弗曼的證明論分析
第17章 被奠基的真
第18章 替代性評價模式
第19章 類型自由的去引號繫統
19.1 去引號語句的優選一致集
19.2 去引號語句的優選保守集
19.3 肯定去引號
19.4 肯定去引號的語義學
19.5 肯定去引號的證明論
第四部分 真理之路
第20章 經典邏輯
20.1 非經典邏輯的代價
20.2 克裡普克-費弗曼理論的內在邏輯
20.3 非經典邏輯的表達力
20.4 包含非經典邏輯
第21章 緊縮論
21.1 去引號論
21.2 保守性
第22章 反射
22.1 反射原理
22.2 反射封閉
第23章 本體論還原
第24章 應用真理論
24.1 自然語言中的真
24.2 擴展模式
參考文獻
繫統索引
索引
譯後記(一)
譯後記(二)