语用推理是语用学领域研究的焦点之一。Grice在其名篇Logic & Conversation中对语用推理的论述奠定了推理语用学的基础。Sperber & Wilson提出的关联理论,从认知科学的视角来审视语用推理,确立了认知与语用研究相结合的基石。但从关联理论的本质属性出发,对语用推理的认知机制进行形式刻画却鲜有尝试。本文以关联理论语用推理的溯因属性为出发点,理清皮尔士(Peirce)早晚期溯因逻辑的区别与联系,将早期溯因逻辑整合为后期溯因逻辑的一种特殊形式,并尝试性地构建溯因推理的认知机制;同时,在皮尔士后期逻辑框架下对归纳做出新的阐释,以便统一皮尔士后期科学发现模式中溯因、演绎、归纳三种逻辑手段在语用推理认知机制中的应用。交际者将这一逻辑整合模型运用于语用推理之中,如果听者听到言者所说出乎意料,便用溯因推理构建假说,即找出言者为什么会做出非常规非直接回答的原因;以此溯因推理结论为前提,联合明示话语演绎出预测结果,最后由归纳检验预测的结果是否与事实一致;如果与事实相悖,重新溯因,直至找到满意解释为止。本项研究运用我们重新解释后的皮尔士逻辑整合论尝试性地仿真语用推理的认知机制,目的在于探究交际中交际者的思维方式;论述中发现在自然语言研究中非形式逻辑在某些时候较有利于形式逻辑,但对这一开放性问题的论证值得进一步拓展。