区别于“理想”形式的数学推理，日常甚至科学研究中的推理往往是非单调的，即当加入新前提后，原结论可能会被收回。如何刻画这种非单调推理？近几十年来逻辑学、人工智能、语言学、心理学等领域的学者纷纷聚焦于此，发展出规则说、相关限制理论、划界说、典型说、模态条件句解释等研究。这些研究大多以“鸟会飞”、“企鹅是鸟”但“企鹅不会飞”这样的经典非单调推理案例入手，通过对推理规则或者对“鸟会飞”这样的常识做出某种限制来达到刻画非单调推理的目标。《概称句推理研究》一书，把“鸟会飞”这样的常识解释为容忍例外的概称句，并以模态条件句研究进路下对概称句进行的形式化语义分析为基础，全面系统地刻画了不同类型的概称句推理，是国内第一部全面研究概称句推理的专著。
这本书首先通过形式化方法解析了各主要概称句语义解释方法的本质，最终选取了模态条件句进路下的双正常语义作为本书研究概称句推理的起点（第二章）。在双正常语义下，作者将概称句推理细分为结论是事实句的推理和结论是概称句的推理，而结论是概称句的推理，又细分为演绎方式和归纳方式两种。在这样的框架下，这本书在形式化语言下系统地考察了这三类概称句推理类型：首先是给出刻画不同类型概称句推理的基础逻辑（第三、四章），与经典逻辑可以直接刻画所研究的推理不同，这些逻辑系统刻画的是局部推理，换言之，这些逻辑系统刻画的是一步一步的推理过程，每一步推理所得的局部结论之间可能会产生“矛盾”，在书中，这些“矛盾”通过在推理前提集上定义的排序来消解（第五章），进而得到最终的结论。本质上，逻辑系统的内定理表示的是前提集为空或不包含相反的先入之见时的推理规律，而加入前提集的排序后的推理，才最终还原出日常推理的模式。在对概称句推理进行了全面的研究和形式刻画之后，书中以此为基础继续探讨了概称句推理与归纳推理的关系（第六章），并提出如下观点：书中给出的概称句推理的处理方式可用来研究归纳推理；而归纳推理的概率解释只是诸多可能用来处理归纳推理的方式中的一种。
从研究方法上看，书中应用了模态条件句逻辑和排序理论的技术手段，并根据研究需要适当改良。在语义解释部分，书中引入了两个二元模态算子（语义上给出集选函数和正常个体选择函数对应）来刻画容忍例外的概称句；主体研究部分，作者在一阶模态语言下独立给出五个基于不同直观的逻辑系统，并分别证明了它们的可靠性和完全性；对不同类型的非单调的概称句推理给出严格的逻辑后承定义和特殊优先序规则，并进行验证。完全性证明中用到了Henkin典范模型方法。在刻画推理时，作者通过形式化方法严格定义了一般优先序、合常理、（概称）后承集等概念，并给出不同类型的概称句推理的特殊优先序规则。
这本书具有相当程度的创新性，作者难能可贵地跳出了惯常的思维定式，观念上的改变，自然而然带动了理论结果的创新。观点创新方面，作者提出应该用概称句替代（以往惯常使用的）全称句来表示常识，这种提法既符合实际，同时也将带来观念上的重大改变；与此同时，书中透过概称句推理的视角重新看待归纳推理，指出概率解释只是用来刻画归纳推理的方法之一，这一审慎的结论打破的是归纳与概率双生的思维定式。理论创新方面：这本书独立研究了结论是概称句的推理（演绎部分，归纳部分）、概称句推理与归纳推理的关系以及概称句视角下的休谟问题等。其中概称句推理部分独立给出五个有不同直观的逻辑系统。在刻画非单调推理的部分，作者独立给出了结论是概称句的推理的特殊优先序。
如果说以全称句表达为基础的一阶逻辑刻画了数学推理，概称句推理所关注的则是自然科学定律以及常识推理的规律，而这些推理背后蕴藏着人类知识获取、智力演进的模式，这一研究本身对更好的理解人类的思维和推理过程有重要的意义，同时，观念上的转变将会促进逻辑学等多学科在智能时代的发展转向。
这本书思路晓畅，结构清晰，有理有据，有骨有肉，是一部有功底、有思想、有创新的优秀著作。
（文化与传媒学院张立英教授）