《真之公理化理論》是科學出版社出版的圖書。
基本介紹
- 書名：真之公理化理論
- 作者：杜國平
- 出版社：科學出版社
- 出版時間：2021年3月1日
- 頁數：316 頁
- 開本：16 開
- 裝幀：平裝
- ISBN：9787030682949
內容簡介,圖書目錄,
內容簡介
《真之公理化理論》用公理化方法研究哲學的核心概念“真”，即將真視為一個不通過其他概念來定義的初始概念，通過一組公理與規則研究真的演繹系統，及其相關的結果。《真之公理化理論》分為四個部分，**部分是基礎，簡述了一些數學上預備性的記號約定，並概述了研究公理化真理論的某些動機。第二、三部分分別是類型化的真理和類型自由的真理，給出了公理化真理論及與之相關的結果。第四部分是真理之路，主要評估公理化真理論形式結果的哲學含義。
圖書目錄
叢書序
前言
**部分 基 礎
第1章 定義化和公理化的真理論 3
第2章 真之對象 8
第3章 塔斯基 13
第4章 真與集合論 21
4.1 定義與公理化 21
4.2 悖論和分類 22
第5章 技術準備 25
5.1 皮亞諾算術 25
5.2 真與滿足 30
5.3 翻譯和遞歸定理 31
第6章 比較不同的公理化真理論 34
第二部分 類型化的真理
第7章 去引號 43
第8章 經典組合真理論 52
8.1 組合真理論的保守性 56
8.2 保守性和模型論 57
8.3 非標準模型 58
8.4 拉克倫定理 63
8.5 滿足類和公理化的真理論 72
8.6 組合真與初等總括 75
8.7 肯定的真 88
第9章 分層 95
9.1 塔斯基分層的公理化 96
9.2 非良基的分層 100
第三部分 類型自由的真理
第10章 類型化的和類型自由的真理論 111
第11章 拒斥類型化的理由 116
第12章 公理與規則 119
第13章 類型自由的真之公理 122
第14章 古典的對稱性公理 129
14.1 弗里德曼–希爾德理論和修正語義學 132
14.2 弗里德曼–希爾德理論的證明理論 144
14.3 弗里德曼–希爾德公理化 154
14.4 通過反射表達必然化 157
14.5 缺乏滿足 161
第15章 克里普克–費弗曼 164
15.1 不動點語義學 171
15.2 完全性和一致性 180
15.3 克里普克–費弗曼系統的證明論 186
15.4 擴展 194
第16章 在局域邏輯中公理化克里普克的理論 197
16.1 局域的克里普克–費弗曼 200
16.2 關於局域的克里普克–費弗曼的證明論分析 211
第17章 被奠基的真 224
第18章 替代性評價模式 230
第19章 類型自由的去引號系統 234
19.1 去引號語句的**一致集 234
19.2 去引號語句的**保守集 239
19.3 肯定去引號 240
19.4 肯定去引號的語義學 243
19.5 肯定去引號的證明論 245
第四部分 真 理 之 路
第20章 經典邏輯 255
20.1 非經典邏輯的代價 257
20.2 克里普克–費弗曼理論的內在邏輯 259
20.3 非經典邏輯的表達力 264
20.4 包含非經典邏輯 266
第21章 緊縮論 269
21.1 去引號論 269
21.2 保守性 274
第22章 反射 282
22.1 反射原理 282
22.2 反射封閉 285
第23章 本體論還原 288
第24章 套用真理論 291
24.1 自然語言中的真 291
24.2 擴展模式 293
參考文獻 298
系統索引 310
索引 312
譯後記（一） 317
譯後記（二） 318
