西方数学文化视野下的数字化革命

数字改变了世界：数字化思想与数字化生存

概述

第一章希腊哲学的数学背景及本体观念的形成

第一节古希腊哲学家对本体问题的探讨与认识

一、伊奥尼亚学派对本体问题的认识

二、毕达哥拉斯学派的数本原说

三、抽象本体概念的提出：埃利亚学派

1．巴门尼德的“存在”论

2．芝诺悖论

四、原子论对本体观念的新贡献

1．原子论的前期理论

2．原子论

第二节古希腊哲学的集大成者：柏拉图与亚里士多德

一、柏拉图的哲学

1．柏拉图哲学的背景

2．理念论

3．柏拉图思想与当时数学之间的关系及影响

二、亚里士多德的哲学

1．形而上学出现的条件及其性质分析

2．亚里士多德的数学思想

3．亚里士多德的形式逻辑

第二章近代科学思维方法的形成及其哲学背景

第一节文艺复兴时期科学研究思维方式的确立

一、哥白尼的日心说

二、开普勒的行星运动三定律

三、伽利略对科学研究方法的确立

第二节依撒克.牛顿的自然哲学思想

一、牛顿对以前的实验科学思维方法的继承与发展

二、科学应当“拯救现象”还是要“摹写实在”

三、原子论的时空化：牛顿的绝对时空观及宗教观

四、牛顿的线性因果决定论

五、牛顿的无穷观

第三节笛卡儿的哲学及数学思想

一、从普遍怀疑到二元本体论

二、直觉主义的方法论

三、笛卡儿的数学思想

第四节莱布尼茨的哲学及数学逻辑思想

一、莱布尼茨的单子论

二、莱布尼茨的逻辑学思想

三、莱布尼茨与牛顿数学思想的比较

第五节贝克莱的哲学思想

一、“物是观念的集合”

二、“存在就在于被感知”

三、微积分的简明发展过程

四、第二次数学危机与贝克莱的数学思想

五、对贝克莱思想的评论

第六节休谟的哲学思想

一、印象与观念

二、不具必然性的因果观

三、怀疑主义和不可知论

第七节康德的哲学与数学思想

一、康德哲学的背景

二、康德的时空观

三、康德的逻辑思想

四、“人为自然界立法”

五、康德的数学哲学思想

第三章现代数学与哲学对数字化世界的作用和影响

第一节非欧几何及现代数学的出现

一、非欧几何的出现及其意义

二、康托尔的集合论与无限观

第二节数学悖论与数学基础之争

一、集合论悖论的出现

二、逻辑主义学派

三、直觉主义学派

四、形式主义学派

五、哥德尔不完全性定理

第三节计算机与数学基础及其他数学问题

一、三大学派与计算机

二、图灵理想机的意义

三、哥德尔不完全性定理及图灵理想机中的有圈无限矛盾的哲学意义

四、与计算机有关的数学问题

1．四色地图的机器证明

2．关于拷机所获得的素数

3．NP计算问题

第四节数理逻辑的哲学起源背景

一、弗雷格逻辑哲学及数学哲学思想

1．关于概念文字

2．关于心理表象的主观性与逻辑和数学的客观性

3．弗雷格的数学哲学思想

4．弗雷格对“数”的哲学的评述

二、伯特兰.罗素数学哲学及逻辑哲学思想分析

1．数学哲学思想与关系论

2．逻辑原子论与外在关系说

三、维特根斯坦的逻辑哲学及数学思想研究

1．逻辑原子论

2．关于重言式

3．逻辑图像论

4．关于逻辑的性质

第五节信息论、控制论和系统论

一、信息论

1．热力学与熵

2．熵与信息

3．宇宙热寂说

4．麦克斯韦妖

5．生物系统与熵

6．信息到底是什么

二、控制论

1．什么是控制

2．什么是反馈

3．行为主义与计算机中“拯救现象”的方法

三、系统论

1．系统论的基本原则

2．生成论与预成论

第四章数字化世界技术原理的社会文化特性

第一节数字化世界的类型层次及其特性

一、数字化世界的类型和空间

1．数字化世界的基本类型

2．计算机的基本硬件系统分析

3．计算机的软件组织系统

4．网络和虚拟空间的基本特点

二、数字化世界的知识特性与社会性

1．数字化世界的结构层次与人类知识世界的对应性

2．虚拟空间中的知识与智能的动态性

3．网络的社会性

第二节人工智能

一、人工智能的定义

二、形式系统计算机的文化实质

三、形式系统计算机(人工智能的文化层面)的历史发展

1．计算机的历史由来

2．晶体管的发明过程

3．晶体管生产与信息产业的崛起

4．未来形式系统计算机的各种类型

四、人工智能的生理层面：神经网络机和基因芯片

1．神经网络机的发展历程

2．神经网络机的优势与劣势

3．基因芯片与未来的生物计算机

五、人工智能的具体实践

1．图灵三人游戏

2．芯片之外的人工智能

3．“深蓝”揭谜

4．“人工生命”与计算主义

　　本书从“数字化”这种独特的视角，揭示了西方人自古希腊以来对数字极力推崇和深刻反思的历程，特别是结合当代数学和逻辑学以及现代科学中的“三论”和人工智能的发展，表明了现代科学的进步正是人类对数字化认识不断深入的结果。更为重要的是，作者把西方的数字观念和数学思想与西方的哲学发展紧密结合起来，从哲学的层面揭示了西方数字化以及由此带来的科学技术革命背后隐藏的深刻的思想根源。