前弗雷格时期的思维形式化

被引：9

作者：

陈自富

机构：

[1] 上海交通大学科学史与科学文化研究院

来源：

上海交通大学学报(哲学社会科学版) | 2014年 / 22卷 / 01期

关键词：

思维形式化; 人工智能; 符号主义; 物理符号系统假设; 弗雷格;

D O I：

10.13806/j.cnki.issn1008-7095.2014.01.010

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

思维形式化是人工智能(以下简称AI)中符号主义研究纲领的核心假设,虽然其具体含义、发展脉络尚待精确描述和梳理,但包括物理符号系统假设、逻辑主义在内的符号主义,不仅主导着AI这门年轻学科的早期发展脉络,而且迄今仍是核心纲领之一。弗雷格所建立的一阶逻辑是前AI时期思维形式化发展的一个重要里程碑,因此对弗雷格之前的思维形式化从观念和实践上进行历史考察,不仅有助于理解AI主要纲领的思想来源和发生过程,而且为该学科当下竞争的不同研究纲领和未来发展方向提供了一个评判视角。

引用

页码：85 / 92

页数：8

共 15 条

[1] John McCarthy's legacy.[J].Leora Morgenstern;Sheila A. McIlraith.Artificial Intelligence.2010, 1
[2] 西方哲学史.[M].叶秀山; 王树人; 总主编.人民出版社.2011,
[3] 人工智能哲学.[M].(英)玛格丽特·A.博登(MargaretA.Boden)编著;刘西瑞;王汉琦译;.上海译文出版社.2006,
[4] 名哲言行录.[M].(古希腊)第欧根尼·拉尔修(DiogenesLaertius)著;马永翔等译;.吉林人民出版社.2003,
[5] 理性与智慧.[M].王路著;.上海三联书店.2000,
[6] 谈谈方法.[M].(法)笛卡尔(ReneDescartes)著;王太庆译;.商务印书馆.2000,
[7] 西方心理学史大纲.[M].唐钺著.北京大学出版社.1994,
[8] 数理逻辑发展史.[M].张家龙著;.社会科学文献出版社.1993,
[9] 吴允曾选集.[M].康奉主编;吴允曾著;.北京科学技术出版社.1991,
[10] 计算机不能做什么.[M].[美国]德雷福斯(Dreyfus;H·L) 著;宁春岩译.三联书店.1986,

← 1 2 →