从经典逻辑批判到日常(推理)逻辑的构建

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




本书适用于逻辑专业学生和研究人员，也可作为教材使用。

绪论

第一章 蕴涵怪论的类型

一、形式（真值）类怪论

二、意义类怪论

三、意义类怪论的消除

第二章 关于实质蕴涵是否怪悖的争论

一、蕴涵怪论——古老的话题

二、蕴涵怪论——新鲜的焦点

三、改造实质蕴涵——我们的观点

第三章 历史上试图解决蕴涵怪论的主要方案

一、罗素与形式蕴涵

二、路易斯的严格蕴涵

三、相干蕴涵与衍推

四、“盘点”诸方案——内容之“药”根治不了形式之“病”

第四章 实质蕴涵探源

一、费罗蕴涵及费罗的主张

二、实质蕴涵与弗雷格的考虑

三、实质蕴涵探源的启示

第五章 经典逻辑难以符合日常推理需要

……