Study on reasoning of generic sentences
作者: 张立英著
出版社:社会科学文献出版社,2013
简介:概称句推理研究近三十年得到了迅猛发展,但由于研究难度较高,至今没有统一的观点。研究概称句的意义不仅在于它是目前国际上的热点问题,更在于它可能带来观念上的转变:(我们日常推理所用到的规律大部分都)不是全称句,而是概称句。
根据研究需要,张立英专著的《概称句推理研究》将概称句推理分为:(1)结论是事实句的概称句推理;(2)结论是概称句的概称句推理,这一部分有时又被称为获得概称句的推理。其中第二类又具体分为:主要通过演绎方式获得概称句的推理:主要通过归纳方式获得概称句的推理。本书首次全面系统地给出了这三种类型的概称句推理形式刻画。本书的主干部分主要应用条件句逻辑、模态逻辑、谓词逻辑、偏好逻辑等逻辑分支中的方法来研究概称句推理,给出了不同的逻辑系统,完全性证明中用到典范模型方法。在逻辑系统基础上,本书引入前提集的排序来最终刻画非单调的概称句推理。以概称句推理研究的结果为基础,本书还进一步分析了概称句推理与归纳推理的关系以及概称句与语义网理论的关联性。