计算主义及其理论难题研究

Description

本书是北师大哲学与文化丛书。也是国家社会科学基金一般项目成果（项目名称：当代计算主义的理论难题研究；项目批准号：10BZX022）。 本研究从反计算或非计算主义者对计算主义的批评入手，试图在反计算或非计算主义和计算主义观点之间保持一种必要的张力，通过对计算主义挑战所带来的“难题”进行梳理和分析，在诸多难题中寻找联系和共同点，试图将其归结为一个中心问题，从而找出纷繁意见中的要点，使得计算主义所面临的难题得到澄清和突显。在此基础之上，对与中心难题密切相关的挑战进行反驳，为计算主义理论的存续提供辩护,并为计算主义“难题”的解答提供可能的思路。 封面 书名 版权 前言 目录 导论 一 问题的缘起 二 国内外的研究现状 1.国外研究现状 2.国内研究现状 三 本研究的主要目的 四 本研究的主要内容 五 研究内容及方法的创新程度、突出特色和主要建树 1.成果研究内容及方法的创新程度 2.突出特色 3.主要建树 六 本研究的学术价值、应用价值 第一章 计算主义的兴起和发展 一 计算主义思想的孕育 1.灵魂的数学特性 2.物质世界的数学化 3.图灵的贡献 二 计算机功能主义 1.计算机功能主义产生的背景 2.计算机功能主义的提出 3.本体论地位探讨 三 计算主义的六个里程碑 1.图灵命题 2.强人工智能 3.机器功能主义 4.物理符号系统 5.思想语言假说 6.联结主义 四 神经与计算的新观点 1.知觉的可塑性 2.对经典计算观点的批评 3.一种神经计算的观点 4.神经科学概念框架下知觉的发展 第二章 计算主义面临的难题 一 计算主义面临的挑战：难题出现 1.基于哥德尔不完全性定理的挑战 2.来自塞尔“中文屋”论证的挑战 3.基于不完全性定理的挑战与“中文屋”批判的共通之处 4.现象学与“4E＋S”纲领的挑战 5.意识“难问题”：感受性与自由意志等 二 计算主义难题的分析与归类：计算主义中心难题的出现 第三章 形式系统难题与应对 一 哥德尔不完全性定理 1.形式主义渊源：希尔伯特纲领 2.哥德尔不完全性定理：卢卡斯、彭罗斯的解读 二 数学证明与哲学猜想：哥德尔本人的观点 1.哥德尔的数学证明 2.哥德尔的哲学猜想 3.小结 三 哥德尔不完全性定理并未驳倒计算主义 第四章 意义难题（一）：“中文屋”论证及反驳 一 “中文屋”论证及其影响 1.计算是纯粹句法的 2.句法对语义是不充分的 3.计算机永远不会具有意向性 二 批评与回应：其他学者与塞尔的分歧 1.系统应答 2.机器人应答 3.大脑模拟者应答 4.联合应答 三 “中文屋”论证中的错误分析 1.塞尔“中文屋”论证的前提错误 2.塞尔“中文屋”论证的概念混淆 3.塞尔“中文屋”论证的结论错误 第五章 意义难题（二）：意义的结构 一 形式系统难题的解答：计算、形式与意义 1.计算系统不等于纯粹的形式系统 2.形式与意义不可分 二 意义获取难题的解答：同构与分层 1.同构是意义产生的关键 2.系统的分层可以产生意义 第六章 意义难题（三）：语义引擎策略 一 自动形式系统 二 语义基础 三 意向之谜 四 语义引擎的生物机制 1.原初意向性的设想 2.意识的功能设计 3.语义的竞争与涌现机制 第七章 意识难题与功能建构 一 意识难题 1.大脑中的剧场 2.笛卡尔的构造 3.难以消解的第一人称经验 4.鸿沟：现象与基础之间 5.功能建构中的小人 二 认知之轮：跨越鸿沟 1.认知之轮 2.双重描述 三 多重草稿机制 1.群魔混战模型 2.自我感：一种后设 第八章 “4E＋S”认知对计算主义的挑战 一“4E＋S”的内涵、思想来源及其核心观点 1.“4E＋S”的内涵 2.“4E＋S”的思想来源 3.“4E＋S”的核心观点 二 我们能将“4E＋S”整合为一个新的认知模型吗？ 三 “4E＋S”相对于计算主义究竟是不是一场新的革命？ 结语 附录 图灵测试：五十年之后 1.导言 2.图灵的“计算机器与智能” 3.从模拟游戏到图灵测试 4.纸上谈兵的哲学：80年代和90年代 5.图灵测试与社会科学 6.聊天机器人 7.探讨与结论 参考文献 阶段性研究成果