在皮尔士及其溯因思想的追随者们看来,溯因是一种与演绎和归纳并列的独立的推理方法,它在科学发现中起着创造性作用。由于溯因的形式逻辑刻画会流失溯因的认知特性这些更重要的信息,而且问题求解理论认为从问题到问题解法的这一溯因过程并非逻辑蕴含关系,因而溯因的认知研究对于揭示溯因推理过程有着重要的认识论意义,也有助于为溯因在不同领域的应用提供可能的心智操作的解释。本文通过呈现溯因推理的形式建构的过程,尝试揭示出其中存在的困境:形式逻辑的安全性与溯因的创造性之间的张力;形式逻辑的抽象性与溯因的情境性之间的张力;形式逻辑的静态性与溯因的动态性之间的张力。鉴于形式逻辑刻画存在的问题,以及溯因推理所具有的情境性与合意性的认知特性,本文尝试在认知视角下建构对溯因推理的基本理解。根据“基于模型推理”的认知论题,本文认为,可以把溯因推理理解为心智建模的过程,其中涉及知觉与语义因素。这一理解可以在一定程度上化解形式逻辑刻画所带来的张力。对于溯因推理的心智建模过程,可以做出如下理解:(1)触发:待解释项的泛化与抽象;(2)猜测:认知图式的搜索;(3)解释:例化模型的生成;(4)调适:模型映射与最终解释生成。在此基础上,本文进一步探讨了溯因推理在形象建模、类比建模和模拟建模中的应用,尝试为溯因在科学实践中的应用提供可能的启发。