计算主义及其理论难题研究PDF电子书下载

导论 1

一 问题的缘起 1

二 国内外的研究现状 2

1.国外研究现状 2

2.国内研究现状 10

三 本研究的主要目的 20

四 本研究的主要内容 21

五 研究内容及方法的创新程度、突出特色和主要建树 25

1.成果研究内容及方法的创新程度 25

2.突出特色 26

3.主要建树 26

六 本研究的学术价值、应用价值 27

第一章 计算主义的兴起和发展 29

一 计算主义思想的孕育 29

1.灵魂的数学特性 30

2.物质世界的数学化 32

3.图灵的贡献 35

二 计算机功能主义 36

1.计算机功能主义产生的背景 37

2.计算机功能主义的提出 42

3.本体论地位探讨 48

三 计算主义的六个里程碑 53

1.图灵命题 53

2.强人工智能 55

3.机器功能主义 56

4.物理符号系统 57

5.思想语言假说 59

6.联结主义 59

四 神经与计算的新观点 62

1.知觉的可塑性 63

2.对经典计算观点的批评 65

3.一种神经计算的观点 67

4.神经科学概念框架下知觉的发展 70

第二章 计算主义面临的难题 74

一 计算主义面临的挑战：难题出现 74

1.基于哥德尔不完全性定理的挑战 74

2.来自塞尔“中文屋”论证的挑战 78

3.基于不完全性定理的挑战与“中文屋”批判的共通之处 83

4.现象学与“4E＋S”纲领的挑战 84

5.意识“难问题”：感受性与自由意志等 90

二 计算主义难题的分析与归类：计算主义中心难题的出现 93

第三章 形式系统难题与应对 95

一 哥德尔不完全性定理 95

1.形式主义渊源：希尔伯特纲领 95

2.哥德尔不完全性定理：卢卡斯、彭罗斯的解读 96

二 数学证明与哲学猜想：哥德尔本人的观点 99

1.哥德尔的数学证明 99

2.哥德尔的哲学猜想 103

3.小结 108

三 哥德尔不完全性定理并未驳倒计算主义 108

第四章 意义难题（一）：“中文屋”论证及反驳 111

一 “中文屋”论证及其影响 111

1.计算是纯粹句法的 111

2.句法对语义是不充分的 113

3.计算机永远不会具有意向性 117

二 批评与回应：其他学者与塞尔的分歧 122

1.系统应答 122

2.机器人应答 124

3.大脑模拟者应答 126

4.联合应答 127

三 “中文屋”论证中的错误分析 128

1.塞尔“中文屋”论证的前提错误 128

2.塞尔“中文屋”论证的概念混淆 130

3.塞尔“中文屋”论证的结论错误 132

第五章 意义难题（二）：意义的结构 135

一 形式系统难题的解答：计算、形式与意义 136

1.计算系统不等于纯粹的形式系统 136

2.形式与意义不可分 140

二 意义获取难题的解答：同构与分层 143

1.同构是意义产生的关键 144

2.系统的分层可以产生意义 149

第六章 意义难题（三）：语义引擎策略 160

一 自动形式系统 160

二 语义基础 162

三 意向之谜 164

四 语义引擎的生物机制 167

1.原初意向性的设想 167

2.意识的功能设计 169

3.语义的竞争与涌现机制 172

第七章 意识难题与功能建构 176

一 意识难题 176

1.大脑中的剧场 176

2.笛卡尔的构造 178

3.难以消解的第一人称经验 180

4.鸿沟：现象与基础之间 182

5.功能建构中的小人 184

二 认知之轮：跨越鸿沟 187

1.认知之轮 187

2.双重描述 189

三 多重草稿机制 191

1.群魔混战模型 191

2.自我感：一种后设 194

第八章 “4E＋S”认知对计算主义的挑战 197

一“4E＋S”的内涵、思想来源及其核心观点 198

1.“4E＋S”的内涵 198

2.“4E＋S”的思想来源 199

3.“4E＋S”的核心观点 199

二 我们能将“4E＋S”整合为一个新的认知模型吗？ 200

三 “4E＋S”相对于计算主义究竟是不是一场新的革命？ 203

结语 208

附录 213

图灵测试：五十年之后 213

1.导言 213

2.图灵的“计算机器与智能” 215

3.从模拟游戏到图灵测试 225

4.纸上谈兵的哲学：80年代和90年代 231

5.图灵测试与社会科学 252

6.聊天机器人 257

7.探讨与结论 266

参考文献 278

阶段性研究成果 294