摘要
纯粹归纳逻辑是卡尔纳普进路归纳逻辑的一种复兴,其基本的目标是把归纳当作数理逻辑的一个分支来研究。在纯粹归纳逻辑的框架下,类比推理被建立在一阶逻辑的基础之上,其理论的核心是用距离函数来刻画相似性,并且以相关性函数作为推理基础。因此,在某种意义上,可以把它看作是实例相关函数的一种延伸。而在实践的意义上,则反映了人工智能对类比推理形式化的需求。
Pure induction logic is a revival of the Carnap’s inductive logic approach. Its basicgoal is to study induction as a branch of mathematical logic. In the framework of pureinduction logic, analogical reasoning is based on first-order logic, and its central idea isto use the distance function to measure similarity, and the relevance function is a toolof reasoning for it. Therefore, in a certain sense, analogical reasoning can be seen as anextension of relevance function. In practical, it reflects the need of artificial intelligence for the formalization of analogical reasoning.
出处
《逻辑学研究》
CSSCI
2019年第4期17-37,共21页
Studies in Logic
基金
国家社科基金重大项目“现代归纳逻辑的新发展、理论前沿与应用研究”(15ZDB018)