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

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