第一部分 概念框架 3
第一章 产生与评价的逻辑 3
一、导言 3
二、启示法:古希腊的遗产 4
三、存在一种发现的逻辑吗? 5
四、卡尔·波普尔和赫伯特·西蒙 10
五、科学方法论的逻辑 17
六、讨论与结论 19
第二章 什么是溯因?概述与研究计划 21
一、导言 21
二、什么是溯因? 21
三、创始人:皮尔士 27
四、科学哲学 29
五、人工智能 30
六、更多的应用领域 34
七、溯因的分类学 36
第二部分 逻辑基础 43
第三章 作为逻辑推论的溯因 43
一、导言 43
二、逻辑:划界问题 44
三、溯因解释论证:逻辑推论 52
四、溯因解释推论:结构特征概括 60
五、讨论与结论 72
第四章 作为计算的溯因 78
一、导言 78
二、语义树结构 80
三、溯因的语义树结构 86
四、用树结构计算溯因 90
五、进一步的逻辑与计算问题 97
六、讨论与结论 106
第三部分 应用 111
第五章 科学解释 111
一、导言 111
二、溯因作为科学解释 111
三、讨论与结论 120
第六章 经验进步 124
一、导言 124
二、凯珀斯的经验进步 126
三、(溯因)语义树结构中的经验进步 130
四、讨论和结论 133
第七章 实用主义 136
一、导言 136
二、实用主义 136
三、溯因与认识论 139
四、重温实用主义 142
五、讨论和结论 144
第八章 认识变化 146
一、导言 146
二、溯因作为认识变化 147
三、语义树结构再探讨:关于信念修正的一个溯因模式 152
四、讨论与结论 161
参考文献 165
综合图书 180