本书稿的研究对象是人工智能语境下科学表征的方法论。人工智能新技术的发展带来了科学哲学研究范式的变化，随之也导致了传统科学表征的方法论困境;认知进路问题的解决需要对传统路径在新的技术语境下所面临的挑战进行分析。科学表征在语境化的过程中，需要建立一个适用于人工智能时代的新范式--计算模拟，这就为逻辑方法和计算方法的部分综合创造了可能性，同时也为语境分析方法的发展指明了方向，即模型化、形式化和可计算化，使得一种以语境为基底、以计算杨烨阳，哲学博士，毕业于山西大学科学技术哲学研究中心，现为山西医科大学马克思主义学院副教授，研究方向为人工智能哲学，马克思主义与当代社会思潮。近年来，在《哲学研究》《自然辩证法研究》《科学技术哲学研究》等核心期刊发表论文多篇，累计10余万字;主持人文社会科学基金项目1项:主持省级科研项目9项，参与国家级科研项目5项，参与省级项目10项。为特征的科学哲学研究的现代性范式成为可能。

杨烨阳，哲学博士，毕业于山西大学科学技术哲学研究中心，现为山西医科大学马克思主义学院副教授，研究方向为人工智能哲学，马克思主义与当代社会思潮。近年来，在《哲学研究》《自然辩证法研究》《科学技术哲学研究》等核心期刊发表论文多篇，累计10余万字;主持人文社会科学基金项目1项:主持省级科研项目9项，参与国家级科研项目5项，参与省级项目10项。

绪论

第一部分科学表征的方法论困境
第一章科学表征的意义建构与知识鸿沟
第一节科学表征的意义建构
第二节科学表征的模型系统
第三节意义建构与模型系统之间的表征鸿沟
小结
第二章基于隐喻建模的科学表征范式
第一节基于隐喻思维的科学表征
第二节隐喻建模的语境相关特征
第三节基于语境实在的隐喻建模
小结
第三章智能建模与传统建模之间的动态博弈
第一节计算模拟的合理性问题
第二节计算模拟的规范性问题
第三节计算模拟的复杂性问题
小结

第二部分科学表征的理想化特征
第四章科学表征中的理想化建模
第一节科学表征与理想化假设
第二节理想化的方法论特征
第三节理想化与反设事实
小结
第五章理想化表征的逻辑特征
第一节理想化表征的逻辑基础
第二节理想化的逻辑推理系统
第三节理想化逻辑的非经典性
第四节可能世界的完备性
小结
第六章理想化假设的可确证性分析
第一节理想化与认知进路问题
第二节贝叶斯的确证理论
第三节理想化与最佳解释推理
小结

第三部分科学表征的方法论趋向
第七章计算模拟与可强化的建模框架
第一节计算模拟的合理性反思
第二节计算模拟的可强化框架
第三节计算模拟的合理性原则
小结
第八章计算模拟与可测量的建模过程
第一节计算模拟的规范性反思
第二节计算模拟的可测量性
第三节计算模拟的规范性标准
小结
第九章计算模拟与可确证的建模结果
第一节计算模拟的复杂性反思
第二节计算模拟的可确证性
第三节计算模拟的复杂性系统
小结

结束语

参考文献