容忍例外的知识

涉及经验的知识总是容忍例外的。与容忍例外的知识共生既是人们不得不接受的现实，也是人们进行知识迁移和创新的重要途径。如何刻画这些知识以及包含这些知识的非单调推理，是当下认知科学、逻辑学、人工智能等领域关注的重点之一。本书围绕“容忍例外”这一关键词，系统整理了作者近20年来在常识推理、科学定律的形式表达、含糊性问题、非单调推理、可推翻论证、类比与隐喻等领域的所学、所思、所写。其中既包含了应用逻辑学方法的形式分析与刻画，也包含了把以上研究关联起来的整体性思考。

我们的常识通常是由容忍例外的概称句来表达的，要探索日常推理的规律，首先要思考如何解释概称句。本书梳理了解释概称句的多个研究进路，最终认为引入两个正常模态算子的双正常语义能够较好地解释概称句。不过研究概称句不止是形式处理上的突破，更在于看待世界的观念上的改变：我们的常识不是全称句，而是概称句。由这一观念出发，很多经典恒远的问题都可以有新的理解和研究思路。比如涉及经验的科学定律是容忍例外的，可以被看作特殊类型的概称句，进而概称句角度的研究成果还可以被应用于科学定律的形式表达研究中去。比如，自凯恩斯给出第一个现代归纳逻辑系统以来，归纳推理一直和概率解释捆绑在一起，但如果跳出来看，会发现概率只是用来表达不确定的一种方式而已，而归纳推理恰恰可以看成概称句的推理。一旦明白这一点，概称句研究领域的很多研究进路（也包括概率研究进路）都可以被应用于归纳推理研究之中。除了常识和科学定律，高、矮、胖、瘦、贵、贱、红色的、聪明等非常日常的表达中还包含着含糊的因素，当我们判断某人高矮、某物贵贱的时候，判断某种颜色是否是红色时，总存在边界例子和临界点，我们不好判断其真假；如何刻画和解释这样的现象，其中既涉及认知，也涉及概念的结构。容忍例外的知识其推理是非单调的，前提增加时，结论可能会被收回。本书也从宏观和中观的不同角度，结合概称句推理研究的结果探究了非单调推理的本质。

正如非单调的推理和人类认知的进程一样，这些研究并没有所谓的最终结论，始终都在不断地优化演进中。但我希望我的所思所想是能让读者有所启发的。希望这些研究对于探究人类日常和科学认知的思维规律有所促进，同时也能对哲学、语言学、认知科学、人工智能等领域的研究有所助益。

涉及经验的知识总是容忍例外的，与容忍例外的知识共生是人们不得不接受的现实，也是人们进行知识迁移和创新的重要途经。本书系统阐述了对概称句的不同解释方案，并通过引入前提集的排序来刻画非单调的概称句推理，围绕容忍例外这一关键词，系统整理了作者近20年来在常识推理、科学定律的形式表达、含糊性问题、非单调推理、可推翻论证、类比与隐喻等领域的所学、所思、所写，其中既包含了应用逻辑学方法的形式分析与刻画，也包含了把以上研究关联起来的整体性思考。

张立英，中国科学院大学、中国科学院哲学研究所教授，博导，北京大学哲学博士，荷兰阿姆斯特丹大学逻辑、语言与计算研究所访问学者，美国匹兹堡大学科学哲学中心访问学者。主要研究方向为哲学逻辑，主要研究兴趣在日常推理，如概称句推理及其应用、含糊性问题等。主持国家级、省部级课题多项，著有《概称句推理研究》《给青少年的漫画逻辑学》等。曾获“金岳霖学术奖一等奖”“北京市哲学社会科学优秀成果奖二等奖” “北京大学优秀博士论文二等奖”等。

前 言 / 001 

第一章 总论 / 001 

• 1.1 内容总览 / 001


• 1.2 框架结构 / 004

第二章 概称句 / 006 

• 2.1 概称句分类及其特点 / 006


• 2.1.1 概称句的分类 / 006


• 2.1.2 概称句的七个特点 / 009


• 2.2 概称句的解释 / 013


• 2.2.1 成规说 / 013


• 2.2.2 规则说 / 014


• 2.2.3 对全称句作限制 / 016


• 2.2.4 涵义语义 / 027


• 2.2.5 概率方向 / 028


• 2.2.6 因果解释 / 033

第三章 其他情况均同律 / 035 

• 3.1 CP 定律及其解释 / 036


• 3.1.1 CP 定律的分类 / 038


• 3.1.2 CP 定律的解释 / 039


• 3.2 CP 定律的经济学起源 / 040


• 3.2.1 CP 定律的经济学起源 / 040


• 3.2.2 CP 定律解释的经济学探源 / 041


• 3.3 排除式 CP 定律的形式刻画 / 043


• 3.3.1 “完成者”尝试 / 044


• 3.3.2 趋向性解释 / 045


• 3.3.3 不变性和稳定性理论 / 046


• 3.3.4 正常性理论 / 047


• 3.4 排除式 CP 定律的概称句解释 / 048


• 3.4.1 双正常性语义 / 049


• 3.4.2 划界说 / 049


• 3.4.3 概率方向 / 050


• 3.4.4 排除式 CP 定律刻画的检验标准 / 051


• 3.5 比较式 CP 定律的形式刻画 / 053

第四章 含糊性问题 / 055 

• 4.1 含糊表达及累积悖论 / 056


• 4.1.1 三值逻辑 / 057


• 4.1.2 模糊逻辑 / 059


• 4.1.3 超赋值理论 / 060


• 4.1.4 认知主义 / 061


• 4.1.5 其他解释 / 062目 录 003


• 4.2 含糊表达的一个三值解释 / 063


• 4.2.1 基于人的认知的含糊性问题研究 / 063


• 4.2.2 语义解释 / 064


• 4.2.3 累积悖论的解释 / 068


• 4.2.4 高阶含糊性 / 069


• 4.3 含糊性问题的内涵与外延之辩 / 070


• 4.3.1 引言 / 070


• 4.3.2 含糊性问题的可精确化结构 / 072


• 4.3.3 基于可精确化结构的超赋值语义 / 076


• 4.3.4 基于可精确化结构的布尔多值语义 / 079


• 4.3.5 对两种基于可精确化结构的语义的一般性评价 / 084


• 4.3.6 内涵语义与外延语义之辩 / 085


• 4.3.7 总结与展望 / 094

第五章 非单调推理 / 097 

• 5.1 从经典后承到非单调推理 / 098


• 5.1.1 非单调推理的不可避免性 / 099


• 5.1.2 从经典后承到超经典后承 / 100


• 5.1.3 从超经典后承到非单调推理 / 103


• 5.1.4 总结及进一步的分析 / 104


• 5.2 带排序的非单调推理 / 105


• 5.2.1 通过演绎方式得概称句的推理中的排序 / 106


• 5.2.2 结论是事实句的概称句推理中的排序 / 113


• 5.2.3 通过归纳得到概称句的推理中的排序 / 114


• 5.2.4 小结 / 116


• 5.3 可推翻论证的刻画 / 120


• 5.3.1 非单调推理 / 120


• 5.3.2 可推翻论证逻辑系统 / 121


• 5.3.3 可推翻论证系统各研究分支间的关系 / 123


• 5.3.4 可推翻论证系统与其他非单调推理进路 / 124


• 5.3.5 可推翻论证系统与经典逻辑 / 125


• 5.3.6 小结 / 125

第六章 归纳推理 / 127 

• 6.1 归纳推理研究的演进 / 127


• 6.1.1 归纳推理的界定 / 128


• 6.1.2 用概率方法解释归纳推理 / 130


• 6.2 概称句推理与归纳 / 131


• 6.2.1 概称句推理研究 / 131


• 6.2.2 归纳推理的概称句解释 / 132


• 6.3 概称句解释与概率解释的比较 / 134


• 6.3.1 表达不确定性的方式 / 134


• 6.3.2 处理范围 / 135


• 6.3.3 应用性 / 136


• 6.4 小结及一些说明 / 137目 录 005

第七章 类比与隐喻 / 139 

• 7.1 归纳与类比 / 139


• 7.2 analogy 与类比 / 141


• 7.2.1 类比初探 / 141


• 7.2.2 analogy 是比较 / 143


• 7.2.3 类比包含分类和比较 / 144


• 7.2.4 中西类比差异分析 / 146


• 7.2.5 类的另一种解释 / 148


• 7.3 类比的评估 / 150


• 7.3.1 “教科书模式”的类比评估准则 / 150


• 7.3.2 类比评估准则的延展分析 / 151


• 7.4 类比与隐喻 / 154


• 7.4.1 隐喻是一种比较 / 155


• 7.4.2 类比与隐喻的区分 / 156


• 7.4.3 分类的流动性 / 159


• 7.4.4 隐喻是聚焦模式的比较 / 160

第八章 容忍例外的知识 / 161 

• 8.1 封闭性假设 / 161


• 8.2 容忍例外的知识 / 164

参考文献 / 166

涉及经验的知识总是容忍例外的，与容忍例外的知识共生是人们不得不接受的现实，也是人们进行知识迁移和创新的重要途经。本书系统阐述了对概称句的不同解释方案，并通过引入前提集的排序来刻画非单调的概称句推理，围绕容忍例外这一关键词，系统整理了作者近20年来在常识推理、科学定律的形式表达、含糊性问题、非单调推理、可推翻论证、类比与隐喻等领域的所学、所思、所写，其中既包含了应用逻辑学方法的形式分析与刻画，也包含了把以上研究关联起来的整体性思考。

张立英，中国科学院大学、中国科学院哲学研究所教授，博导，北京大学哲学博士，荷兰阿姆斯特丹大学逻辑、语言与计算研究所访问学者，美国匹兹堡大学科学哲学中心访问学者。主要研究方向为哲学逻辑，主要研究兴趣在日常推理，如概称句推理及其应用、含糊性问题等。主持国家级、省部级课题多项，著有《概称句推理研究》《给青少年的漫画逻辑学》等。曾获“金岳霖学术奖一等奖”“北京市哲学社会科学优秀成果奖二等奖” “北京大学优秀博士论文二等奖”等。