作者：【墨】阿托卡·阿里色达
页数：193
出版社：科学出版社
出版日期：2016
ISBN：9787030477392
电子书格式：pdf/epub/txt
内容简介
本书采取逻辑进路, 首先探讨了科学哲学、人工智能和认知科学领域中发现的逻辑以及科学方法论中逻辑的作用。其次将溯因作为一种逻辑推论, 运用语义树结构框架分析产生这种推理的计算过程。再次将科学哲学中的解释模型作为一种溯因论证形式, 提供了表征结构的逻辑分析。最后将
目录
目录
丛书序 （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
丛书序 （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
