緒論………………………………………………………………………………001 第一章蘊(yùn)涵怪論的類(lèi)型…………………………………………………………008 一、形式（真值）類(lèi)怪論…………………………………………………………010 二、意義類(lèi)怪論…………………………………………………………………014 三、意義類(lèi)怪論的消除…………………………………………………………015 第二章關(guān)于實(shí)質(zhì)蘊(yùn)涵是否怪悖的爭(zhēng)論…………………………………………021 一、蘊(yùn)涵怪論——古老的話(huà)題…………………………………………………021 二、蘊(yùn)涵怪論——新鮮的焦點(diǎn)…………………………………………………028 三、改造實(shí)質(zhì)蘊(yùn)涵——我們的觀點(diǎn)……………………………………………040 第三章歷史上試圖解決蘊(yùn)涵怪論的主要方案…………………………………049 一、羅素與形式蘊(yùn)涵……………………………………………………………050 二、路易斯的嚴(yán)格蘊(yùn)涵…………………………………………………………053 三、相干蘊(yùn)涵與衍推……………………………………………………………055 四、“盤(pán)點(diǎn)”諸方案——內(nèi)容之“藥”根治不了形式之“病”……………………059 第四章實(shí)質(zhì)蘊(yùn)涵探源……………………………………………………………062 一、費(fèi)羅蘊(yùn)涵及費(fèi)羅的主張……………………………………………………062 二、實(shí)質(zhì)蘊(yùn)涵與弗雷格的考慮…………………………………………………064 三、實(shí)質(zhì)蘊(yùn)涵探源的啟示………………………………………………………069 第五章經(jīng)典邏輯難以符合日常推理需要………………………………………071 一、為什么叫它們“實(shí)質(zhì)蘊(yùn)涵怪論”……………………………………………071 二、析取定義無(wú)法“庇護(hù)”實(shí)質(zhì)蘊(yùn)涵……………………………………………074 三、經(jīng)典邏輯難以勝任日常推理………………………………………………078 四、應(yīng)從“若，則”句中抽象新蘊(yùn)涵……………………………………………085 第六章幾項(xiàng)理論準(zhǔn)備工作………………………………………………………087 一、形式系統(tǒng)拒斥不了經(jīng)驗(yàn)性?xún)?nèi)涵……………………………………………087 二、命題真值與命題形式的真值………………………………………………092 三、從MP 規(guī)則的邏輯解讀看“├”“→”和“得”………………………………099 四、適合日常推理的蘊(yùn)涵的基本要求…………………………………………106 第七章“若，則”的邏輯特征………………………………………………………110 一、“若，則”句研究概述………………………………………………………111 二、“若，則”句的真值性邏輯特征與“前件真承諾” …………………………113 三、“若，則”句的推演性邏輯特征與“必然得出理論”………………………124 四、孤立靜止?fàn)顟B(tài)與思維推理狀態(tài)下的“若，則”句…………………………135 第八章日常蘊(yùn)涵理論……………………………………………………………137 一、日常蘊(yùn)涵真值性的刻畫(huà)……………………………………………………137 二、日常蘊(yùn)涵推演性的刻畫(huà)……………………………………………………149 三、日常蘊(yùn)涵可以處理因果類(lèi)“若，則”句……………………………………155 四、日常蘊(yùn)涵可以處理虛擬類(lèi)“若，則”句……………………………………160 五、日常蘊(yùn)涵刻畫(huà)了“若，則”句的什么………………………………………164 六、對(duì)實(shí)質(zhì)蘊(yùn)涵再審視…………………………………………………………168 第九章命題邏輯公理系統(tǒng)GM …………………………………………………170 一、GM的語(yǔ)法…………………………………………………………………171 二、GM部分重要定理的證明…………………………………………………174 三、GM的語(yǔ)義…………………………………………………………………189 四、GM的一致性和完全性……………………………………………………194 五、從幾個(gè)問(wèn)題看GM的特征…………………………………………………196 第十章GM系統(tǒng)映照下的實(shí)質(zhì)蘊(yùn)涵怪論………………………………………209 一、判為非定理的蘊(yùn)涵怪論及其說(shuō)明…………………………………………209 二、判為定理的蘊(yùn)涵怪論的證明及其意義……………………………………213 三、再次簡(jiǎn)評(píng)實(shí)質(zhì)蘊(yùn)涵怪論……………………………………………………218 第十一章一階謂詞邏輯W ………………………………………………………220 一、W的語(yǔ)法……………………………………………………………………220 二、W定理的證明………………………………………………………………222 三、W可彌補(bǔ)經(jīng)典謂詞邏輯兩大遺憾…………………………………………223 四、W的語(yǔ)義……………………………………………………………………229 五、W的一致性和完全性………………………………………………………230 第十二章模態(tài)邏輯系統(tǒng)MT ……………………………………………………232 一、MT的語(yǔ)法…………………………………………………………………232 二、MT的定理證明……………………………………………………………233 三、MT的語(yǔ)義…………………………………………………………………235 四、MT的一致性和完全性……………………………………………………236 第十三章總結(jié)與展望……………………………………………………………237 一、經(jīng)典邏輯批判小結(jié)…………………………………………………………237 二、日常蘊(yùn)涵理論小結(jié)…………………………………………………………240 三、命題邏輯公理系統(tǒng)GM小結(jié)………………………………………………241 四、一階謂詞邏輯W與模態(tài)邏輯系統(tǒng)MT小結(jié)………………………………243 五、結(jié)束語(yǔ)………………………………………………………………………244 參考書(shū)目……………………………………………………………………………245 后記……………………………………………………………………………247