本書闡述了塔斯基邏輯后承語義定義的產(chǎn)生背景、基本適當(dāng)性條件與不足，剖析了其所面臨的必然性、形式性和邏輯性挑戰(zhàn)，創(chuàng)新性地從基本的人類狀況出發(fā)給出了基于同構(gòu)不變標(biāo)準(zhǔn)的一般不變性解決方案，并在評析、回應(yīng)學(xué)界對其邏輯后承語義定義及這一標(biāo)準(zhǔn)的批評過程中，澄清了一些混淆和誤解，討論了其定義和標(biāo)準(zhǔn)在哲學(xué)和邏輯學(xué)上的重要意義。
本書還包含三個(gè)附錄，附錄一、附錄二分別是陳波教授和郭建萍教授與謝爾的訪談。這兩部分內(nèi)容非常豐富，不僅涉及謝爾的學(xué)術(shù)背景，還對她在知識論、真理論、實(shí)質(zhì)性與邏輯性以及基礎(chǔ)整體主義方法論等方面的邏輯哲學(xué)思想和立場進(jìn)行了詳細(xì)論述；附錄三呈現(xiàn)的是謝爾應(yīng)陳波教授之邀做的三場有關(guān)《邏輯后承》基本內(nèi)容的系列講座，討論了謝爾邏輯后承語義定義的給出背景、顯著特征以及謝爾關(guān)于語義定義形式性、必然性和邏輯性挑戰(zhàn)的一般不變性解決方案。
更多科學(xué)出版社服務(wù)，請掃碼獲取。
主要科研項(xiàng)目：主持省級課題1項(xiàng)(010352901008)；參與教育部人文社會科學(xué)研究一般項(xiàng)目2項(xiàng)（08JA72040002和14YJA720009），分別為第二、第四參與者；等。
目錄
第1章引言1
1.1邏輯后承這一概念1
1.2邏輯后承的兩種方法：證明論的和語義的2
1.3邏輯后承語義方法的歷史淵源3
1.4一般的后承與邏輯后承3
1.5邏輯后承的哲學(xué)、數(shù)學(xué)和語言學(xué)旨趣4
第2章邏輯后承的語義定義及其塔斯基根源5
2.1塔斯基從真到邏輯后承的路徑5
2.2對邏輯后承非證明論定義的需求8
2.3基本的適當(dāng)性條件：保真性、必然性、形式性9
2.4代入定義的不足10
2.5語義、模型論、定義12
2.6適當(dāng)性與挑戰(zhàn)23
第3章必然性、形式性和邏輯性的挑戰(zhàn)28
3.1對必然性、形式性挑戰(zhàn)的部分解決方案28
3.2關(guān)于方法論的說明29
3.3應(yīng)對邏輯性挑戰(zhàn)的一般的不變性解決方案：同構(gòu)不變性標(biāo)準(zhǔn)31
3.4應(yīng)對必然性、形式性挑戰(zhàn)的一般的不變性解決方案43
第4章哲學(xué)視角下邏輯性和其他重要問題49
4.1知識、真和邏輯性49
4.2邏輯后承的傳統(tǒng)特征52
4.3邏輯后承的規(guī)范性54
4.4同構(gòu)不變性是邏輯性的必要、充分或充分必要標(biāo)準(zhǔn)嗎56
4.5邏輯的范圍；邏輯的類型57
4.6背景理論、二值性、邏輯和數(shù)學(xué)58
4.7重要的元邏輯定理62
4.8關(guān)于塔斯基1966/1986論文的一些混淆65
第5章對邏輯后承語義定義的批評68
5.1表征和解釋的二元性68
5.2集合論模型72
第6章對邏輯性的同構(gòu)不變標(biāo)準(zhǔn)的批評76
6.1生成過多76
6.2生成過少87
第7章結(jié)論88
參考文獻(xiàn)89
感謝95
附錄一陳波與吉拉？謝爾的訪談96
吉拉？謝爾的學(xué)術(shù)背景及其早期研究96
有關(guān)基礎(chǔ)整體論的若干問題108
有關(guān)實(shí)質(zhì)真理論的若干問題123
一種新的邏輯哲學(xué)135
附錄二郭建萍與吉拉？謝爾的訪談150
邏輯、實(shí)質(zhì)性與知識論150
附錄三吉拉？謝爾圍繞《邏輯后承》的系列講座159
系列講座一《邏輯后承》I159
系列講座二《邏輯后承》II162
系列講座三《邏輯后承》III165
書單推薦
