掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類(lèi)五星書(shū)更多>
-
>
傳習(xí)錄
-
>
無(wú)障礙閱讀典藏版:莊子全書(shū)
-
>
素書(shū)
-
>
孔子的世界——儒家文化的世界價(jià)值
-
>
王陽(yáng)明全集(全四冊(cè))
-
>
生活與憶念
-
>
名家小全集(4冊(cè))
中圖價(jià):¥99.8
加入購(gòu)物車(chē)
真之公理化理論 版權(quán)信息
- ISBN：9787030682949
- 條形碼：9787030682949 ; 978-7-03-068294-9
- 裝幀：一般膠版紙
- 冊(cè)數(shù)：暫無(wú)
- 重量：暫無(wú)
- 所屬分類(lèi)：>>
真之公理化理論 本書(shū)特色
該書(shū)原著已被多個(gè)國(guó)家翻譯，受到哲學(xué)界、語(yǔ)言學(xué)界的歡迎。
真之公理化理論 內(nèi)容簡(jiǎn)介
本書(shū)是全面闡釋公理化真理論發(fā)展脈絡(luò)及其*新研究成果的專(zhuān)著。對(duì)于邏輯哲學(xué), 特別是形式化真理論研究具有重要的參考價(jià)值。傳統(tǒng)對(duì)真之討論的中心在于真如何被定義。近期研究中, 尤其是隨著對(duì)真展開(kāi)緊縮論的思考, 傾向于將真視為一個(gè)由公理支配的、未經(jīng)定義的初始概念, 而說(shuō)謊者導(dǎo)論及類(lèi)似悖論提出了關(guān)于真之某些看似自然的公理問(wèn)題。在本書(shū)中, 賀柏和教授考察了*重要的真之公理, 探究它們的性質(zhì), 表明邏輯結(jié)果如何影響與真相關(guān)的哲學(xué)主題。
真之公理化理論 目錄
目錄
叢書(shū)序
前言
**部分 基 礎(chǔ)
第1章 定義化和公理化的真理論 3
第2章 真之對(duì)象 8
第3章 塔斯基 13
第4章 真與集合論 21
4.1 定義與公理化 21
4.2 悖論和分類(lèi) 22
第5章 技術(shù)準(zhǔn)備 25
5.1 皮亞諾算術(shù) 25
5.2 真與滿足 30
5.3 翻譯和遞歸定理 31
第6章 比較不同的公理化真理論 34
第二部分 類(lèi)型化的真理
第7章 去引號(hào) 43
第8章 經(jīng)典組合真理論 52
8.1 組合真理論的保守性 56
8.2 保守性和模型論 57
8.3 非標(biāo)準(zhǔn)模型 58
8.4 拉克倫定理 63
8.5 滿足類(lèi)和公理化的真理論 72
8.6 組合真與初等總括 75
8.7 肯定的真 88
第9章 分層 95
9.1 塔斯基分層的公理化 96
9.2 非良基的分層 100
第三部分 類(lèi)型自由的真理
第10章 類(lèi)型化的和類(lèi)型自由的真理論 111
第11章 拒斥類(lèi)型化的理由 116
第12章 公理與規(guī)則 119
第13章 類(lèi)型自由的真之公理 122
第14章 古典的對(duì)稱性公理 129
14.1 弗里德曼–希爾德理論和修正語(yǔ)義學(xué) 132
14.2 弗里德曼–希爾德理論的證明理論 144
14.3 弗里德曼–希爾德公理化 154
14.4 通過(guò)反射表達(dá)必然化 157
14.5 缺乏滿足 161
第15章 克里普克–費(fèi)弗曼 164
15.1 不動(dòng)點(diǎn)語(yǔ)義學(xué) 171
15.2 完全性和一致性 180
15.3 克里普克–費(fèi)弗曼系統(tǒng)的證明論 186
15.4 擴(kuò)展 194
第16章 在局域邏輯中公理化克里普克的理論 197
16.1 局域的克里普克–費(fèi)弗曼 200
16.2 關(guān)于局域的克里普克–費(fèi)弗曼的證明論分析 211
第17章 被奠基的真 224
第18章 替代性評(píng)價(jià)模式 230
第19章 類(lèi)型自由的去引號(hào)系統(tǒng) 234
19.1 去引號(hào)語(yǔ)句的**一致集 234
19.2 去引號(hào)語(yǔ)句的**保守集 239
19.3 肯定去引號(hào) 240
19.4 肯定去引號(hào)的語(yǔ)義學(xué) 243
19.5 肯定去引號(hào)的證明論 245
第四部分 真 理 之 路
第20章 經(jīng)典邏輯 255
20.1 非經(jīng)典邏輯的代價(jià) 257
20.2 克里普克–費(fèi)弗曼理論的內(nèi)在邏輯 259
20.3 非經(jīng)典邏輯的表達(dá)力 264
20.4 包含非經(jīng)典邏輯 266
第21章 緊縮論 269
21.1 去引號(hào)論 269
21.2 保守性 274
第22章 反射 282
22.1 反射原理 282
22.2 反射封閉 285
第23章 本體論還原 288
第24章 應(yīng)用真理論 291
24.1 自然語(yǔ)言中的真 291
24.2 擴(kuò)展模式 293
參考文獻(xiàn) 298
系統(tǒng)索引 310
索引 312
譯后記（一） 317
譯后記（二） 318
叢書(shū)序
前言
**部分 基 礎(chǔ)
第1章 定義化和公理化的真理論 3
第2章 真之對(duì)象 8
第3章 塔斯基 13
第4章 真與集合論 21
4.1 定義與公理化 21
4.2 悖論和分類(lèi) 22
第5章 技術(shù)準(zhǔn)備 25
5.1 皮亞諾算術(shù) 25
5.2 真與滿足 30
5.3 翻譯和遞歸定理 31
第6章 比較不同的公理化真理論 34
第二部分 類(lèi)型化的真理
第7章 去引號(hào) 43
第8章 經(jīng)典組合真理論 52
8.1 組合真理論的保守性 56
8.2 保守性和模型論 57
8.3 非標(biāo)準(zhǔn)模型 58
8.4 拉克倫定理 63
8.5 滿足類(lèi)和公理化的真理論 72
8.6 組合真與初等總括 75
8.7 肯定的真 88
第9章 分層 95
9.1 塔斯基分層的公理化 96
9.2 非良基的分層 100
第三部分 類(lèi)型自由的真理
第10章 類(lèi)型化的和類(lèi)型自由的真理論 111
第11章 拒斥類(lèi)型化的理由 116
第12章 公理與規(guī)則 119
第13章 類(lèi)型自由的真之公理 122
第14章 古典的對(duì)稱性公理 129
14.1 弗里德曼–希爾德理論和修正語(yǔ)義學(xué) 132
14.2 弗里德曼–希爾德理論的證明理論 144
14.3 弗里德曼–希爾德公理化 154
14.4 通過(guò)反射表達(dá)必然化 157
14.5 缺乏滿足 161
第15章 克里普克–費(fèi)弗曼 164
15.1 不動(dòng)點(diǎn)語(yǔ)義學(xué) 171
15.2 完全性和一致性 180
15.3 克里普克–費(fèi)弗曼系統(tǒng)的證明論 186
15.4 擴(kuò)展 194
第16章 在局域邏輯中公理化克里普克的理論 197
16.1 局域的克里普克–費(fèi)弗曼 200
16.2 關(guān)于局域的克里普克–費(fèi)弗曼的證明論分析 211
第17章 被奠基的真 224
第18章 替代性評(píng)價(jià)模式 230
第19章 類(lèi)型自由的去引號(hào)系統(tǒng) 234
19.1 去引號(hào)語(yǔ)句的**一致集 234
19.2 去引號(hào)語(yǔ)句的**保守集 239
19.3 肯定去引號(hào) 240
19.4 肯定去引號(hào)的語(yǔ)義學(xué) 243
19.5 肯定去引號(hào)的證明論 245
第四部分 真 理 之 路
第20章 經(jīng)典邏輯 255
20.1 非經(jīng)典邏輯的代價(jià) 257
20.2 克里普克–費(fèi)弗曼理論的內(nèi)在邏輯 259
20.3 非經(jīng)典邏輯的表達(dá)力 264
20.4 包含非經(jīng)典邏輯 266
第21章 緊縮論 269
21.1 去引號(hào)論 269
21.2 保守性 274
第22章 反射 282
22.1 反射原理 282
22.2 反射封閉 285
第23章 本體論還原 288
第24章 應(yīng)用真理論 291
24.1 自然語(yǔ)言中的真 291
24.2 擴(kuò)展模式 293
參考文獻(xiàn) 298
系統(tǒng)索引 310
索引 312
譯后記（一） 317
譯后記（二） 318
展開(kāi)全部
書(shū)友推薦
- >
史學(xué)評(píng)論
- >
巴金－再思錄
- >
月亮虎
- >
經(jīng)典常談
- >
中國(guó)歷史的瞬間
- >
詩(shī)經(jīng)-先民的歌唱
- >
我與地壇
- >
山海經(jīng)
本類(lèi)暢銷(xiāo)
