本书基于日常推理立场，较为深入地研究和分析了自然语言中的“若，则”句，提出了集真值性和推演性的日常蕴涵。以日常蕴涵理论为基石，构建了日常（推理）逻辑（主要包括命题逻辑公理系统GM和一阶谓词逻辑系统W），初步实现了传统逻辑思想与现代逻辑技术的系统性、有机性结合，并可能根除两个长期困惑逻辑学界的棘手问题：经典逻辑与日常推理、传统逻辑不一致的问题及蕴涵怪论问题。 本书适用于逻辑专业学生和研究人员，也可作为教材使用。

绪论
第一章 蕴涵怪论的类型
一、形式（真值）类怪论
二、意义类怪论
三、意义类怪论的消除
第二章 关于实质蕴涵是否怪悖的争论
一、蕴涵怪论——古老的话题
二、蕴涵怪论——新鲜的焦点
三、改造实质蕴涵——我们的观点
第三章 历史上试图解决蕴涵怪论的主要方案
一、罗素与形式蕴涵
二、路易斯的严格蕴涵
三、相干蕴涵与衍推
四、“盘点”诸方案——内容之“药”根治不了形式之“病”
第四章 实质蕴涵探源
一、费罗蕴涵及费罗的主张
二、实质蕴涵与弗雷格的考虑
三、实质蕴涵探源的启示
第五章 经典逻辑难以符合日常推理需要
一、为什么叫它们“实质蕴涵怪论”
二、析取定义无法“庇护”实质蕴涵
三、经典逻辑难以胜任日常推理
四、应从“若，则”句中抽象新蕴涵
第六章 几项理论准备工作
一、形式系统拒斥不了经验性内涵
二、命题真值与命题形式的真值
三、从MP规则的逻辑解读看“├”“→”和“得”
四、适合日常推理的蕴涵的基本要求
第七章 “若，则”的逻辑特征
一、“若，则”句研究概述
二、“若，则”句的真值性逻辑特征与“前件真承诺”
三、“若，则”句的推演性逻辑特征与“必然得出理论”
四、孤立静止状态与思维推理状态下的“若，则”句
第八章 日常蕴涵理论
一、日常蕴涵真值性的刻画
二、日常蕴涵推演性的刻画
三、日常蕴涵可以处理因果类“若，则”句
四、日常蕴涵可以处理虚拟类“若，则”句
五、日常蕴涵刻画了“若，则”句的什么
六、对实质蕴涵再审视
第九章 命题逻辑公理系统GM
一、GM的语法
二、GM部分重要定理的证明
三、GM的语义
四、GM的一致性和完全性
五、从几个问题看GM的特征
第十章 GM系统映照下的实质蕴涵怪论
一、判为非定理的蕴涵怪论及其说明
二、判为定理的蕴涵怪论的证明及其意义
三、再次简评实质蕴涵怪论
第十一章 一阶谓词逻辑W
一、W的语法
二、W定理的证明
三、W可弥补经典谓词逻辑两大遗憾
四、W的语义
五、W的一致性和完全性
第十二章 模态逻辑系统MT
一、MT的语法
二、MT的定理证明
三、MT的语义
四、MT的一致性和完全性
第十三章 总结与展望
一、经典逻辑批判小结
二、日常蕴涵理论小结
三、命题逻辑公理系统GM小结
四、一阶谓词逻辑W与模态逻辑系统MT小结
五、结束语
参考书目
后记