前弗雷格时期的思维形式化_《上海交通大学学报(哲学社会科学版)》

摘要：

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

引言：

【引言】思维形式化是一个目前在ＡＩ及其相关学科广泛使用，但未得到清晰定义的概念，例如在２０１１年《人工智能》杂志为纪念ＡＩ主要奠基者约翰·麦卡锡的专辑中这样表述：“……在逻辑语言范围内形式化人类思维的尝试，尤其是提供确定观点是否有效的具体方法，可远溯至亚里斯多德和斯多亚学派”。在国内，马希文在《计算机不能做什么》中译本的序言中较早讨论了形式化，刘西瑞、王汉琦对形式化的概念进行了初步辨析，区分了狭义形式化和广义形式化。

作者：

陈自富

作者单位：

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