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

Formalization of Thought in Pre-Frege's Times

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

Formalization of thought is the key assumption of symbolism research programme in the field of artificial intelligence （AI）. Although its definition and historical development need more deliberate investigations and reviews, the symbolism which encompasses physical symbolic system hypothesis （PSSH） and logicism has played a key role in the early history of AI, and it is still one of the mainstream programmes in this field. The first order logic built by Frege was the key milestone of formalization of thought before AI was coined. Therefore, exploration into the formalization of thought in pre-Frege＇s times based on ideas and practices not only contributes to the understanding of the sources and development of the key programme of AI, but also provides reviewing evaluation perspective for current various competitive research programmes and ideas about its development in the future.