潘沁，女，1974年出生，湖北荆州人，2003年毕业于华中师范大学科技哲学专业，获哲学硕士学位，2011年毕业于南开大学哲学院，获哲学博士学位，现为桂林电子科技大学副教授，主要从事科学方法论研究。参著《科学思维的艺术》《科学辩护的沉思——科学确证与科学接受的方法论辩护》等。发表多篇关于科学方法论、逻辑学、计算机科学哲学文章。

　　《哲学研究论丛：冯·诺伊曼的计算机科学哲学》对计算机逻辑思想的来龙去脉作出了清晰的梳理，在正确把握冯·诺伊曼自动机理论的基本内涵的基础上，从中提炼出科学哲学思想，主要概括为：一是以“毕达哥拉斯主义思想”（宇宙的奥秘在于数学规律之中）为导向，构想自动机的理论模型，并且与后世的“计算主义思想”（宇宙=一台巨型计算机）接轨：二是贯彻亚里土多德“程序目的性”（由生物学哲学家迈尔提炼概括出来，并且认定为亚里士多德“目的论”中最精彩的成分）和维纳控制论的“现代目的论”思想于逻辑机器之中。《哲学研究论丛：冯·诺伊曼的计算机科学哲学》还较系统地探讨了冯·诺伊曼理论对复杂性研究的贡献，分析了这些思想对计算机科学以及相关科学的哲学启示。

　　（1）冯·诺伊曼花了大量篇幅讨论了模拟式一数字式之间的区别，他发现自然自动机是一个混合系统，既包含模拟过程又包含数字过程。例如，基因是数字式的；酶是模拟式的，模拟一种控制功能，控制功能是模拟的。在自然自动机知识的影响下，冯·诺伊曼提出了一个模拟式一数字式的复合计算机模式，这是一个把研究自然系统的结果用于人工系统设计的很好的例子，这种远见是难能可贵的，它为后来的非数字计算机的发展指明了方向。
　　（2）冯·诺伊曼比较了自然自动机和人工自动机两类自动机的元件，比较了它们的大小、速度、能量需求以及可靠性的差异，并把在这些方面的差异与材料的稳定性、自动机的组织之类等因素相联系。他注意到，计算机元件（指冯·诺伊曼时代的计算机元件）比神经元要大得多，而且需要更多的能量，其中的一部分能量因高速运行而消耗。在比较自然和人工元件的相对速度时，他发现自然自动机更倾向于并行运行而人工自动机更倾向于串行运行。借助于所用构造材料的不同力学稳定性可以说明，真空管与神经元在大小方面出现差异的原因。毁坏一个真空管相对较容易，而要修复它则比较困难，与之相反，神经元膜一旦被毁坏就能自行修复。冯·诺伊曼认为，这些差异必然影响两种系统的组织。对自然和人工元件的这些比较都影响了他在计算机元件上的工作。
　　（3）冯·诺伊曼比较了自然自动机与人工自动机的计算组织不同：自然自动机大多是并行运行的，而数字计算机大多是串行运行的。在设计一个自动机或计算时，人们可以选择在什么范围内是并行或串行，但是这存在这一定的局限性——如在一个串行计算中，后面的运算可能依赖于前面的运算，所以不能同时运行，更有可能，这个选择会影响机器的其它方面，尤其是内存方面的要求，因为在后面运行的数据直到它被需要时，必须储存。
　　……

第一章 计算机逻辑思想源流
第一节 莱布尼茨：伟大的梦想
第二节 从乔治·布尔到弗雷格
一、乔治·布尔：把逻辑变成数学
二、弗雷格：创建一种计算机程序语言
第三节 从库尔特·哥德尔到阿兰-图灵
一、哥德尔：计算机程序设计师
二、阿兰·图灵：计算机逻辑理论的奠基人
第四节 冯·诺伊曼：莱布尼茨梦想的实现者
一、冯·诺伊曼其人
二、冯·诺伊曼与“冯·诺伊曼型机”
三、自动机：理论计算机模型

第二章 冯·诺伊曼自动机理论中的毕达哥拉斯主义倾向
第一节 毕达哥拉斯主义的特点及其影响
第二节 “冯·诺伊曼机”结构中体现的数学启发原则
第三节 冯·诺伊曼自动机模型中体现的抽象性原则
第四节 冯·诺伊曼对自动机数学理论的追求

第三章 冯·诺伊曼自动机理论中隐含的生物目的论思想
第一节 目的论思想的源流
一、亚里士多德的目的论思想
二、神学目的论与活力论
三、近代目的论
四、现代目的论
第二节 冯·诺伊曼与目的论思想应用研究
一、对生物信息过程的探究
二、自然自动机与人工自动机之比较
三、冯·诺伊曼计算机：现代目的论的机器实现
第三节 自增殖自动机：目的论的算法实现

第四章 冯·诺伊曼自动机理论中的复杂性问题
第一节 冯·诺伊曼对复杂性问题的关注与论述
一、复杂性问题概述
二、自动机的可靠性与复杂性
三、复杂性与信息论、热力学
第二节 简单规则导致复杂行为的自增殖自动机：元胞自动机
一、对空间、时间关系的形式化
二、元胞的各种“态”与转换规则
第三节 冯·诺伊曼自动机理论对复杂性问题的贡献
一、逻辑深度
二、复杂性分析法——数值方法
三、自下而上的建构方法
四、复杂性的涌现

第五章 冯·诺伊曼自动机理论之意义与影响
第一节 冯·诺伊曼自动机理论对计算主义的影响
一、计算主义思想的理论渊源与发展
二、元胞自动机成为当代计算主义的根隐喻
第二节 冯·诺伊曼计算机理论对研究复杂系统的方法论意义
一、为复杂性研究提供了技术手段
二、为复杂性研究提供了方法——数值方法
三、为复杂系统动力学提供了研究案例
第三节 冯·诺伊曼自增殖自动机理论对人工生命研究的意义
一、从计算的角度理解生命
二、为人工生命研究提供了建构方法
三、为人工生命研究提供了研究路径
结语
参考文献
后记