第1章 认识增强器 1
1.1 外推、转换和益增 1
1.2 独立于人类的科学 4
第2章 科学经验主义 7
2.1 经验主义和可靠探测(Reliable Detection) 7
2.2 稀释论证(Dilution Argument) 10
2.3 准确性、精确性和解析度 14
2.4 重叠论证 16
2.5 性质簇实在论 20
2.6 回归布里奇曼 24
2.7 作为性质探测器的仪器 26
2.8 了解你的仪器 28
2.9 性质 39
2.10 认识安全 43
第3章 计算科学 47
3.1 计算科学的兴起 47
3.2 两条原理 52
3.3 分析单元 55
3.4 计算模板 57
3.5 “相同方程组同解”:对科学的重组 65
3.6 模板的建构 69
3.7 校正集、诠释和正当性论证 74
3.8 选择性实在论 80
3.9 更进一步的推论 82
3.10 模板不总是建立在定律和理论上 85
3.11 主题特定知识在模板建构和评价中的作用 89
3.12 语构很重要 92
3.13 与库恩观点的简要对比 97
3.14 计算模型 99
第4章 计算机模拟 102
4.1 定义 102
4.2 计算机模拟的一些优势 110
4.3 显微镜比喻和技术进步 112
4.4 可观测、可探测、可处理 117
4.5 其他几种模拟 120
4.6 基于主体的建模 124
4.7 模拟的缺陷 128
第5章 进一步的话题 131
5.1 计算机模拟与新毕达哥拉斯主义 131
5.2 抽象和理想化 135
5.3 认识不透明性 141
5.4 逻辑形式和计算形式 144
5.5 实践上,而非原则上 147
5.6 结论 149
References 151
索引 167