前弗雷格时期的思维形式化 |
| |
引用本文: | 陈自富.前弗雷格时期的思维形式化[J].上海交通大学学报(哲学社会科学版),2014(1). |
| |
作者姓名: | 陈自富 |
| |
作者单位: | 上海交通大学科学史与科学文化研究院; |
| |
摘 要: | 思维形式化是人工智能(以下简称AI)中符号主义研究纲领的核心假设,虽然其具体含义、发展脉络尚待精确描述和梳理,但包括物理符号系统假设、逻辑主义在内的符号主义,不仅主导着AI这门年轻学科的早期发展脉络,而且迄今仍是核心纲领之一。弗雷格所建立的一阶逻辑是前AI时期思维形式化发展的一个重要里程碑,因此对弗雷格之前的思维形式化从观念和实践上进行历史考察,不仅有助于理解AI主要纲领的思想来源和发生过程,而且为该学科当下竞争的不同研究纲领和未来发展方向提供了一个评判视角。
|
关 键 词: | 思维形式化 人工智能 符号主义 物理符号系统假设 弗雷格 |
本文献已被 CNKI 等数据库收录! |
|