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