從經(jīng)典邏輯批判到日常邏輯的構(gòu)建（推理）

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