第五章 逻辑与认知：类比推理形式化的两种尝试

在逻辑学领域，类比推理由于其或然性特性，其形式化相比于演绎推理的形式化难度大得多。尽管逻辑学界并不忽视对类比推理理论和应用的探讨，但是对类比推理形式化的探讨却始终没有给予充分的重视。与逻辑学中的情况不同，认知科学领域对类比推理形式化的探讨却是重要的主题之一。实际上，对于类比推理的关注，到了认知与计算研究蓬勃发展的当下，以类比推理形式化的方式表现出来。当然，这种情况的出现也受到了现代逻辑通过数理技术广泛开拓自己领地的影响。

正如阿托查·阿利西达（Atocha Aliseda）和唐纳德·吉利斯（Donald Gillies）所言：“类比推理的形式化仍是正在成长的研究领域，关于一个类比究竟意味着什么还没有一个明确的概念。”[1]换言之，对于类比推理形式化而言，目前尚未形成一种明确的概念，这就使对类比的形式化研究呈现出多样性。具体体现在不仅有斯坦哈特的隐喻逻辑中的类比形式化，而且有数学类比的形式化、认知科学类比的形式化、溯因推理类比的形式化等非隐喻形式化进路。不仅有进路的多样性，而且有视角的多样性，也就是从不同领域、不同视角对类比推理进行形式化研究。

实际上，这里所说的形式化是广义的形式化，它比经典逻辑系统的形式化宽泛，不仅包括句法（语形）的形式化，而且包括语义视角的形式化，语用视角的形式化。如果按照经典逻辑建构形式系统的严格要求，那么类比推理形式化的道路将步履维艰，面临挑战。

因此，本章要探讨的问题是：什么是类比推理的形式化？为什么类比推理的形式化呈现出这样一种形态？类比推理的形式化面临怎样的机遇和挑战？如何应对这些挑战？