阿托卡·阿丽色达所著的《溯因推理(从逻辑探究发现与解释)/认知哲学译丛》采取逻辑进路，首先探讨了科学哲学、人工智能和认知科学领域中发现的逻辑以及科学方法论中逻辑的作用。其次将溯因作为一种逻辑推论，运用语义树结构框架分析产生这种推理的计算过程。再次将科学哲学中的解释模型怍为一种溯因论证形式，提供了表征结构的逻辑分析。后将溯困与信念修正相联系，表明了溯因与哲学、人工智能及实用主义之间的密切联系，也表明了溯因作为一种逻辑探究的认识过程，自然构成了哲学和人工智能的基础。

本书可供科学哲学、心灵哲学、认知哲学、逻辑学、认知科学、人工智能及心理学领域的研究者和学生阅读。

丛书序

译者序

前言

第一部分 概念框架

 第一章 产生与评价的逻辑

一、导言

二、启示法：古希腊的遗产

三、存在一种发现的逻辑吗？

四、卡尔?波普尔和赫伯特?西蒙

五、科学方法论的逻辑

六、讨论与结论

 第二章 什么是溯因？概述与研究计划

一、导言

二、什么是溯因？

三、创始人：皮尔士

四、科学哲学

五、人工智能

六、更多的应用领域

七、溯因的分类学

第二部分 逻辑基础

 第三章 作为逻辑推论的溯因

一、导言

二、逻辑：划界问题

三、溯因解释论证：逻辑推论

四、溯因解释推论：结构特征概括

五、讨论与结论

 第四章 作为计算的溯因

一、导言

二、语义树结构

三、溯因的语义树结构

四、用树结构计算溯因

五、进一步的逻辑与计算问题

六、讨论与结论

第三部分 应用

 第五章 科学解释

一、导言

二、溯因作为科学解释

三、讨论与结论

 第六章 经验进步

一、导言

二、凯珀斯的经验进步

三、（溯因）语义树结构中的经验进步

四、讨论和结论

 第七章 实用主义

一、导言

二、实用主义

三、溯因与认识论

四、重温实用主义

五、讨论和结论

 第八章 认识变化

一、导言

二、溯因作为认识变化

三、语义树结构再探讨：关于信念修正的一个溯因模式

四、讨论与结论

参考文献

综合图书