国家社会科学基金(06CZX011)
- 作品数：4 被引量：20H指数：3
- 相关作者：徐英瑾更多>>
- 相关机构：复旦大学更多>>
- 发文基金：国家社会科学基金更多>>
- 相关领域：哲学宗教更多>>
- 维特根斯坦关于分析判断与综合判断之间“第三种可能性”的思考被引量：1
- 2006年
- 在维特根斯坦的思想发展历程中,在“分析判断”与“综合判断”之间再开辟出“第三种可能性”的想法曾在上世纪二三十年代之交与他对于其“现象学”观念的思虑纠缠在一起———比如根据他晚年的追溯,科学经验与逻辑之间的中介地带就曾被他描述为“现象学”。就坚持那些构成物理世界的先验法则在被给予范围内的可直观性而言,维氏的“现象学”其实是与胡塞尔的“现象学”颇有可沟通之处的———尽管他在维也纳学圈中的那些学友们更愿意将他视为一面反胡塞尔的旗帜。但他最后却发现,在“直观”这个狭隘的领域内去全面落实为构建整个物理世界所需的先验框架,未免显得过于贪心。这种发现最终导致了“直观”的地位在维氏后期哲学中的相对下降,以及他对于那种奠基于“直观”的“第三种可能性”的全面否弃。
- 徐英瑾
- 关键词：现象学语法色盲
- 一个维特根斯坦主义者眼中的框架问题被引量：8
- 2011年
- 框架问题的核心命意乃是:在对智能体的行动进行表征之时,如何能够在有效地表征出行动的效果之时,避免对于其非效果的表征?对于符号主义路数的人工智能研究来说,框架问题的确非常棘手,因为它的存在使得对于行动的知识刻画必须引入大量的框架公理,并由此使得系统的计算负荷剧增。从历史上看,人工智能界赖以解决这个问题的基本路径主要有两条。第一条是诉诸于"关于惯性的常识律"或缺省逻辑,即在行动表征中预设:没有被表征式牵涉到的"世界其余部分"都将保持惯性。另一条路径则采纳了海耶斯的"素朴物理学"表征方案,即试图把日常物理学知识全部用谓词逻辑公理化,让系统自动推算出哪些动作会导致哪些结果。本文将论证,这两条道路其实都走不通。在此基础上,本文将从维特根斯坦的《论确定性》中寻找灵感,建立一个关于信念网动力学模型——在这个模型中,某些知识节点的激发只会导致某些与之毗邻的节点的激发,因此,对于特定问题求解路径的表征,就能够避免对于一个更大范围内的知识网络的牵涉。框架问题也有望借助于这个模型得到解决。最后,我将利用"非公理推演系统"(NARS)为这个模型提供一种尽量逼真的工程学模拟。
- 徐英瑾
- 关键词：缺省逻辑维特根斯坦
- 人工智能科学在十七、十八世纪欧洲哲学中的观念起源被引量：6
- 2011年
- 尽管人工智能科学是在二战后才在西方科技界涌现的,但其思想根苗至少可以上溯到十七、十八世纪的欧洲哲学。具体而言,人工智能的哲学"基础问题"可被一分为二:第一,建立一个能够展现真正人类智能的纯机械模型,在观念上是否可能?第二,若前述问题的答案是肯定的,怎样的人类心智模型才能够为这种模型的建立提供最佳的参照?本文将论证,笛卡尔和莱布尼茨对上述第一个问题都给出了否定的回答,而霍布斯则给出了肯定的回答。至于第二个问题,休谟关于心智构架的重构工作,就可以被视为当代AI科学中的联结主义进路的先驱,而康德在调和直观和思维时所付出的努力,则为当代AI专家整合"自下而上"进路和"从上至下"进路的种种方案所应和。一言以蔽之,十七、十八世纪的欧洲哲学实乃AI科学的一个潜在的"智库",尽管AI界的主流对此并无清楚之意识。
- 徐英瑾
- 关键词：人工智能联结主义
- 对“汉字屋论证”逻辑结构的五种诊断模式被引量：5
- 2008年
- 美国哲学家J.R.塞尔(Searle)于1980年提出的"汉字屋论证"(Chinese Room Argument,以下简称为CRA)目前早已成为人工智能哲学的经典话题之一。二十七年以来,反驳CRA的学者往往致力于揭露CRA本身的形而上学前设的错误,却不太去检讨CRA本身的逻辑形式。而美国学者郝泽(Hauser)与英国学者丹普尔(Damper)虽然就CRA的逻辑形式提出了总计四种诊断模式,却都没有正确地揭示出CRA的真正错误。本文将在他们的基础上提出对于CRA逻辑结构的第五种诊断模式,并由此论证:CRA之所以失败,乃是因为塞尔并未根据该论证的内在要求而在"汉字屋系统"与"计算机系统"之间建立起一种恰当的同构关系来。
- 徐英瑾
- 关键词：句法学语义学同构关系
