丛书序
译者序
前言
第一部分  概念框架
第一章  产生与评价的逻辑
一、导言
二、启示法：古希腊的遗产
三、存在一种发现的逻辑吗？
四、卡尔?波普尔和赫伯特?西蒙
五、科学方法论的逻辑
六、讨论与结论
第二章  什么是溯因？概述与研究计划
一、导言
二、什么是溯因？
三、创始人：皮尔士
四、科学哲学
五、人工智能
六、更多的应用领域
七、溯因的分类学
第二部分  逻辑基础
第三章  作为逻辑推论的溯因
一、导言
二、逻辑：划界问题
三、溯因解释论证：逻辑推论
四、溯因解释推论：结构特征概括
五、讨论与结论
第四章  作为计算的溯因
一、导言
二、语义树结构
三、溯因的语义树结构
四、用树结构计算溯因
五、进一步的逻辑与计算问题
六、讨论与结论
第三部分  应用
第五章  科学解释
一、导言
二、溯因作为科学解释
三、讨论与结论
第六章  经验进步
一、导言
二、凯珀斯的经验进步
三、（溯因）语义树结构中的经验进步
四、讨论和结论
第七章  实用主义
一、导言
二、实用主义
三、溯因与认识论
四、重温实用主义
五、讨论和结论
第八章  认识变化
一、导言
二、溯因作为认识变化
三、语义树结构再探讨：关于信念修正的一个溯因模式
四、讨论与结论
参考文献
综合图书

本书采取逻辑进路，首先探讨了科学哲学、人工智能和认知科学领域中发现的逻辑以及科学方法论中逻辑的作用。其次，将溯因作为一种逻辑推论，运用语义树结构框架分析产生这种推理的计算过程。第三，将科学哲学中的解释模型作为一种溯因论证形式，提供了表征结构的逻辑分析。最