前言 1
导言 计算机科学哲学的核心理念 3
第一章 目的论的科学一哲学分析 17
第一节 目的论系统的特征和物理模型 17
一、目的论系统的特征 17
二、刻画目的论系统本质的物理模型 19
第二节 目的论系统的判别与界定 21
一、功能/结构判据 21
二、程序/历史判据 24
第三节 目的论陈述和目的论说明 27
一、目的论陈述与科学说明的经典模型 27
二、目的论说明与科学说明的经典模型 29
三、初步的结论 32
第二章 目的论的历史分析 37
第一节 哲学史上的目的论 37
一、亚里士多德的内在目的论 38
二、自然神学的目的论 43
三、康德、黑格尔论目的性 47
第二节 系统科学的目的观 53
一、维纳控制论的目的观及自动机思想 53
二、莫诺的微观控制论与自动机概念 58
三、贝塔朗菲的一般系统论中的目的观 62
第三节 复杂性科学对目的性概念的影响 65
一、耗散结构论、协同学对目的性概念的影响 66
二、复杂性科学其他分支对目的性概念的影响 72
第三章 生物目的性自动机与逻辑机器哲学 79
第一节 生物目的性自动机 79
一、从“机械机器”到“活的机器” 79
二、作为计算模型的自动机 82
三、生物目的性自动机的基本概念 84
四、生物目的性自动机理论的产生与发展 87
第二节 逻辑机器哲学 90
一、逻辑机器哲学的历史脉络 90
二、逻辑机器哲学的主要论题 91
三、简要的评论 95
第三节“人=机器人”论题 96
一、“人=机器人”论题的本质和主要内容 97
二、支持“人=机器人”论题的论据 100
三、简要的评论 103
第四章 人工生命理论源流 107
第一节 人工神经网络模型 107
一、神经活动与数理逻辑 107
二、物理假定和定理 108
三、M-P系统的意义和局限 109
第二节 自再生自动机和细胞自动机 111
一、图灵与图灵机 111
二、冯·诺意曼其人其说 112
三、冯·诺意曼的自再生自动机 115
四、自然自动机与人工自动机 116
五、自动机的模型和理论基础 119
六、复杂性和自再生 123
七、冯·诺意曼的细胞自动机 126
第三节 分子自动机 127
一、分子自动机:从细胞向分子的发展 127
二、分子自动机的自描述 128
三、分子自动机的自再生 129
第四节 生物发育的L-系统 131
一、生物发育的细胞增殖模型 131
二、L-系统的定义 132
三、生物发育的各种系统 133
第五节 进化的逻辑和分类符系统 138
一、进化的逻辑:从静态到动态的发展 139
二、基本分类符系统 141
三、组桶式学习算法 145
四、组桶式分类器 146
五、遗传算法及其哲学意义 147
第五章 人工生命理论及其哲学问题 155
第一节 人工生命的兴起 155
一、人工生命的历史渊源 155
二、逻辑机器哲学与人工生命哲学 157
三、人工生命哲学的研究视野 158
第二节 从人工生命理论看生命的本质 163
一、关于生命本质的不同看法 163
二、人工生命研究者对生命本质的看法 166
三、生命究竟是什么 167
第三节 数字生命的哲学思考 169
一、数字生命世界 169
二、创建数字生命的方法 173
三、简要的评论 174
第四节 虚拟生物的哲学思考 175
一、虚拟植物与虚拟动物 175
二、基因网络模型 177
三、虚拟生物研究的意义 179
第五节 人工智能与人工生命 180
一、人工智能的困境 180
二、人工生命与人工智能 181
三、关于人工生命的哲学争论 183
第六章 计算机科学的哲学省思 189
第一节 计算机科学的哲学理念 189
一、计算机科学研究中的毕达哥拉斯主义倾向 189
二、目的论传统与目的性自动机 197
三、目的论与进化论 200
第二节 逻辑派与认知派:计算机模拟的方法论 203
一、启发式搜索:AI认知学派的方法论启示 203
二、归纳机械化:AI逻辑学派的追求 206
三、辩证的分析:Prolog的非单调推理性质 208
第三节 计算主义纲领的贡献和局限 210
一、计算主义的理论渊源 211
二、“认知=计算”的论题 212
三、计算主义的基本假定 216
四、评价与分析 217
五、挑战与回应 220
第四节 期望与梦想 229
一、下一步应该做什么 229
二、人工生命研究的自然化 230
三、人工生命的进化观 233
四、从复杂系统理论的视角看人工生命 236
五、结束语 239
参考文献 241
人名英汉对照 246
内容术语英汉对照 249
后记 253