纯粹归纳逻辑框架下的类比推理

逻辑学研究 2019 年第 4 期， 17–37                        文章编号： 1674-3202(2019)-04-0017-21

作者：梁贤华

摘要：纯粹归纳逻辑是卡尔纳普进路归纳逻辑的一种复兴，其基本的目标是把归纳当作数理逻辑的一个分支来研究。在纯粹归纳逻辑的框架下，类比推理被建立在一阶逻辑的基础之上，其理论的核心是用距离函数来刻画相似性，并且以相关性函数作为推理基础。因此，在某种意义上，可以把它看作是实例相关函数的一种延伸。而在实践的意义上，则反映了人工智能对类比推理形式化的需求。

关键词：纯粹归纳逻辑；类比；卡尔纳普

中图分类号： B81                                文献标识码： A