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