从经典逻辑批判到日常（推理）逻辑的构建_张绍友_9787513095198_湖南知新文化传播有限公司读者荐购服务

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

绪论………………………………………………………………………………001 第一章蕴涵怪论的类型…………………………………………………………008 一、形式（真值）类怪论…………………………………………………………010 二、意义类怪论…………………………………………………………………014 三、意义类怪论的消除…………………………………………………………015 第二章关于实质蕴涵是否怪悖的争论…………………………………………021 一、蕴涵怪论——古老的话题…………………………………………………021 二、蕴涵怪论——新鲜的焦点…………………………………………………028 三、改造实质蕴涵——我们的观点……………………………………………040 第三章历史上试图解决蕴涵怪论的主要方案…………………………………049 一、罗素与形式蕴涵……………………………………………………………050 二、路易斯的严格蕴涵…………………………………………………………053 三、相干蕴涵与衍推……………………………………………………………055 四、“盘点”诸方案——内容之“药”根治不了形式之“病”……………………059 第四章实质蕴涵探源……………………………………………………………062 一、费罗蕴涵及费罗的主张……………………………………………………062 二、实质蕴涵与弗雷格的考虑…………………………………………………064 三、实质蕴涵探源的启示………………………………………………………069 第五章经典逻辑难以符合日常推理需要………………………………………071 一、为什么叫它们“实质蕴涵怪论”……………………………………………071 二、析取定义无法“庇护”实质蕴涵……………………………………………074 三、经典逻辑难以胜任日常推理………………………………………………078 四、应从“若，则”句中抽象新蕴涵……………………………………………085 第六章几项理论准备工作………………………………………………………087 一、形式系统拒斥不了经验性内涵……………………………………………087 二、命题真值与命题形式的真值………………………………………………092 三、从MP 规则的逻辑解读看“├”“→”和“得”………………………………099 四、适合日常推理的蕴涵的基本要求…………………………………………106 第七章“若，则”的逻辑特征………………………………………………………110 一、“若，则”句研究概述………………………………………………………111 二、“若，则”句的真值性逻辑特征与“前件真承诺” …………………………113 三、“若，则”句的推演性逻辑特征与“必然得出理论”………………………124 四、孤立静止状态与思维推理状态下的“若，则”句…………………………135 第八章日常蕴涵理论……………………………………………………………137 一、日常蕴涵真值性的刻画……………………………………………………137 二、日常蕴涵推演性的刻画……………………………………………………149 三、日常蕴涵可以处理因果类“若，则”句……………………………………155 四、日常蕴涵可以处理虚拟类“若，则”句……………………………………160 五、日常蕴涵刻画了“若，则”句的什么………………………………………164 六、对实质蕴涵再审视…………………………………………………………168 第九章命题逻辑公理系统GM …………………………………………………170 一、GM的语法…………………………………………………………………171 二、GM部分重要定理的证明…………………………………………………174 三、GM的语义…………………………………………………………………189 四、GM的一致性和完全性……………………………………………………194 五、从几个问题看GM的特征…………………………………………………196 第十章GM系统映照下的实质蕴涵怪论………………………………………209 一、判为非定理的蕴涵怪论及其说明…………………………………………209 二、判为定理的蕴涵怪论的证明及其意义……………………………………213 三、再次简评实质蕴涵怪论……………………………………………………218 第十一章一阶谓词逻辑W ………………………………………………………220 一、W的语法……………………………………………………………………220 二、W定理的证明………………………………………………………………222 三、W可弥补经典谓词逻辑两大遗憾…………………………………………223 四、W的语义……………………………………………………………………229 五、W的一致性和完全性………………………………………………………230 第十二章模态逻辑系统MT ……………………………………………………232 一、MT的语法…………………………………………………………………232 二、MT的定理证明……………………………………………………………233 三、MT的语义…………………………………………………………………235 四、MT的一致性和完全性……………………………………………………236 第十三章总结与展望……………………………………………………………237 一、经典逻辑批判小结…………………………………………………………237 二、日常蕴涵理论小结…………………………………………………………240 三、命题逻辑公理系统GM小结………………………………………………241 四、一阶谓词逻辑W与模态逻辑系统MT小结………………………………243 五、结束语………………………………………………………………………244 参考书目……………………………………………………………………………245 后记……………………………………………………………………………247

你还可能感兴趣

我要评论