本书采取逻辑进路,首先探讨了科学哲学、人工智能和认知科学领域中发现的逻辑以及科学方法论中逻辑的作用。其次将溯因作为一种逻辑推论,运用语义树结构框架分析产生这种推理的计算过程。再次将科学哲学中的解释模型作为一种溯因论证形式,提供了表征结构的逻辑分析。最后将溯因与信念修正相联系,表明了溯因与哲学、人工智能及实用主义之间的密切联系,也表明了溯因作为一种逻辑探究的认识过程,自然构成了哲学和人工智能的基础。
样章试读
目录
- 目录
丛书序(i)
译者序(vii)
前言(xi)
第一部分概念框架
第一章产生与评价的逻辑3
一、导言3
二、启示法:古希腊的遗产4
三、存在一种发现的逻辑吗?5
四、卡尔.波普尔和赫伯特.西蒙10
五、科学方法论的逻辑17
六、讨论与结论19
第二章什么是溯因?概述与研究计划21
一、导言21
二、什么是溯因?21
三、创始人:皮尔士27
四、科学哲学29
五、人工智能30
六、更多的应用领域34
七、溯因的分类学36
第二部分逻辑基础
第三章作为逻辑推论的溯因43
一、导言43
二、逻辑:划界问题44
三、溯因解释论证:逻辑推论52
四、溯因解释推论:结构特征概括60
五、讨论与结论72
第四章作为计算的溯因78
一、导言78
二、语义树结构80
三、溯因的语义树结构86
四、用树结构计算溯因90
五、进一步的逻辑与计算问题97
六、讨论与结论106
第三部分应用
第五章科学解释111
一、导言111
二、溯因作为科学解释111
三、讨论与结论120
第六章经验进步124
一、导言124
_、凯珀斯的经验进步126
三、(溯因)语义树结构巾的经验进步130
四、讨论和结论133
第七章实用主义136
一、导言136
二、实用主义136
三、溯因与认识论139
四、重温实用主义142
五、讨论和结论144
第八章认识变化146
一、导言146
二、溯因作为认识变化147
三、语义树结构再探讨:关于信念修正的一个溯因模式152
网、讨论与结论161
参考文献165
综合图书180