哲学证成与机器编程

图书标准信息

• 作者 徐英瑾
• 出版社 复旦大学出版社
• 出版时间 2023-07
• 版次 1
• ISBN 9787309160574
• 定价 59.00元
• 装帧 其他
• 开本 16开
• 纸张 胶版纸
• 页数 268页
• 字数 283千字

【内容简介】

随着人工智能学科的发展，人工智能与人文学科进行跨学科交流的必要性也正在日益增加。在这种跨学科交流当中，哲学当中的知识论研究，就会扮演越来越重要的角色，知识论研究的重点在于“证成”（justification），即要找到合理的根据使得目标论断能够得到确定。从人工智能的立场来看，证成本身就对于计算机程序的“可说明性”（accountability）提出要求，而目前基于深度学习的计算机程序恰恰缺乏可说明性。本书试图打通知识论的证成研究和计算机的编程研究之间的界限，使得我们能够用计算机的眼光澄清知识论研究中的一些模糊之处，反过来也用知识论观点来使得计算机领域的人工智能研究的可说明性得到提高。

【作者简介】

徐英瑾，1978年出生于上海，哲学博士，现为复旦大学哲学学院教授、博士生导师。专长为分析哲学史、心灵哲学、人工智能哲学以及分析哲学与欧陆哲学比较研究。著有《用得上的哲学：破解日常难题的99种思考方法》与《人工智能哲学十五讲》等。业余爱好中外各国历史，在学术研究之余，创作并出版了长篇历史小说《坚》。

【目录】

导论 何为“基于编程思想的知识论研究”？

一、战后西方主流知识论究竞在研究什么？

二、为何要从“编程”的角度看“证成”？

三、儒家也有话要说！

四、心智处理信息的7个层次

五、国际主流的信息知识论研究概况

六、本书的研究路线图概览

第一章 知识建模的计算平台：通用人工智能刍议

一、主流人工智能并不真正“通用”

二、如何向自然智能学习？

三、再谈“强人工智能”与“超级人工智能”

四、本章拓展 联结主义-深度学习技术简说

第二章 通用人工智能需要先学会一门“私人语言”吗？

一、“第一人称视角”的知识构成思路

二、大森庄藏是如何既吃维特根斯坦的饭，又砸他的锅的？

三、纳思系统中的“私人语言”

四、本章小结

……

内容摘要
随着人工智能学科的发展，人工智能与人文学科进行跨学科交流的必要性也正在日益增加。在这种跨学科交流当中，哲学当中的知识论研究，就会扮演越来越重要的角色，知识论研究的重点在于“证成”（justification），即要找到合理的根据使得目标论断能够得到确定。从人工智能的立场来看，证成本身就对于计算机程序的“可说明性”（accountability）提出要求，而目前基于深度学习的计算机程序恰恰缺乏可说明性。本书试图打通知识论的证成研究和计算机的编程研究之间的界限，使得我们能够用计算机的眼光澄清知识论研究中的一些模糊之处，反过来也用知识论观点来使得计算机领域的人工智能研究的可说明性得到提高。

主编推荐
null