第一章 假说形成 3
1．回想、隐式知识和图式论 3
2．假说形成和检验 15
第二章 理论溯因 21
1．什么是溯因推理？ 21
1.1 溯因推理和逆向推理 21
1.2 ST—模型和三段论推理框架 24
1.3 作为假说生成的溯因与作为假说生成和评价的溯因 31
2．语句框架 36
2.1 逻辑编程中的溯因和归纳 43
3．基于模型的创造性溯因 46
3.1 科学中的概念变化和创造性推理 46
3.2 基于模型的溯因 50
4．基于模型的启发式和演绎推理 57
5．自动溯因的科学家 58
第三章 操作性溯因 65
1．科学发现中的操作性溯因 65
2．认识调节器和操作性推理 72
3．分隔的知识和“纸上的世界” 76
4．非概念能力和空间能力 81
第四章 诊断推理 88
1．医学推理是否是溯因推理？ 88
2．认知模型 93
3．医疗KBS的认识论建构的必要性 98
4．NEOANEMIA 102
5．基础科学推理和临床推理的结合 106
6．认知模型和医学教育 109
7．溯因的中心性 113
第五章 视觉溯因与时态溯因 117
1．视觉溯因 117
1.1 视觉形象 117
1.2 知识表达图式 118
1.3 形象和问题求解 126
1.4 视觉溯因 128
2．时态溯因 138
2.1 时间坐标 138
2.2 科学和时间：忘记的维度 139
2.3 时间的计算哲学 142
第六章 驾驭不一致性 151
1．通向理论系统的变化之路 151
2．驾驭溯因推理中的不一致性 155
2.1 发现不一致性Ⅰ：经验反常 157
2.2 发现不一致性Ⅱ：概念反常 159
2.3 根本变革产生的不一致性 161
2.4 维护不一致性 163
2.5 矛盾，冲突，失败 164
2.6 不一致性和话语溯因 166
3．前发明形式，否证证据，未预期的发现 167
第七章 撤销科学假说 175
1．撤销不可证伪假说 175
1.1 查询计算中的失败否定 175
1.2 撤销构建 179
1.3 撤销约定 186
2．消除理论反常 192
2.1 科学概念形成与空间思维 192
2.2 反常消除和空间推理 194
参考文献 200
人名索引 248
术语索引 264