悖論是一個亙古常新的話題。從被發(fā)現(xiàn)的2000多年來,一直是邏輯學(xué)家、哲學(xué)家關(guān)注的對象。本書站在悖論研究最新成就的制高點上,選取最具代表性的一類悖論——真理論悖論作為切入點,從其成因、推理特性和構(gòu)成因素的探討出發(fā),系統(tǒng)闡述了弗完全理論的解悖方案。內(nèi)容包括四大部分:弗完全理論的基礎(chǔ)理論——Tarski的語言層級理論、基礎(chǔ)的弗完全理論——Krike不動點理論和Field高級弗完全理論——帶適當(dāng)條件句的弗完全理論。并把弗完全理論與當(dāng)今國際學(xué)術(shù)界另一大占主導(dǎo)地位的真理論悖論解決方案——弗一致理論做了對比探討。本書為邏輯悖論的研究提供了一個嶄新的視角,具有多方面的意義和價值。
李慧華,哲學(xué)博士,畢業(yè)于中國人民大學(xué)哲學(xué)院,現(xiàn)為北京體育大學(xué)馬克思主義學(xué)院原理教研室教師。目前,主持各類科研課題4項,其中,一項為國家社科基金教育學(xué)項目“創(chuàng)新驅(qū)動發(fā)展戰(zhàn)略背景下本科生批判性思維教學(xué)的理論與實證研究”;在《邏輯學(xué)研究》等雜志發(fā)表學(xué)術(shù)論文十余篇,其中,一篇被人大復(fù)印資料全文轉(zhuǎn)載;參編、參譯著作數(shù)本。
第一章 導(dǎo)論
第一節(jié) 真、真理論悖論與說謊者家族
二節(jié) 弗完全的解悖方案——從Tarski到Field
三節(jié) 框架結(jié)構(gòu)與研究方法
二章 真理論悖論的成因與基于經(jīng)典邏輯的探討
第一節(jié) 真理論悖論的成因分析
二節(jié) Tarski定理與帶T謂詞的形式系統(tǒng)
三節(jié) 語言層級理論
四節(jié) 結(jié)論與問題
三章 基礎(chǔ)的弗完全理論
第一節(jié) 真值空缺模式與有根性
二節(jié) 強克林不動點理論
三節(jié) 不動點存在性的歸納構(gòu)造過程
四節(jié) 結(jié)論與問題
四章 高級的弗完全理論
第一節(jié) 理論的產(chǎn)生與發(fā)展
二節(jié) 帶良好條件句的形式系統(tǒng)
三節(jié) 良好的條件句和Curry悖論
四節(jié) 結(jié)論與問題
五章 弗完全理論與弗一致雙面論的比較研究
第一節(jié) 弗一致的雙面論
二節(jié) 弗完全理論與弗一致雙面論的比較
六章 結(jié)語
附錄 古樸塔及貝爾那普的真理修正理論述評
參考文獻