论类比推理形式化

类比推理形式化尽管显示出丰富多样的形式,但并未形成一种较为明确的定义。本文在考察这些类比推理形式化之后,指出类比推理形式化始终无法与经验相关的心理内容扯断联系。这是因为类比推理的经验依赖性和主体依赖性特征所致。一种合理的类比推理形式化应当尽可能的刻画类比推理这些性质。这一点只能通过弱化经典逻辑以及现代逻辑的形式化概念才能完成。这种弱化表现为从形式句法基础上形式语义学相对应的方式转变为直接从语义形式化入手或者涉及到语用方面等方式。