;; 人类改造世界的活动，尤其是人们的物质生产(8)

;;; 其六，形式化趋势。在人类思维发展史上，形式化是晚期出现的成果，它是现代思维艺术的重要标准。所谓形式化，就是用人工语言（表意符号）代替自然语言，描述事物的结构及其规律，并暂时撇开符号代表的意义而仅着眼于形式，把对事物的研究转换为对符号的研究。形式化是思维艺术发展到高级阶段的产物。形式化必须有几个基本前提：首先，人们对于思维规律有比较透彻的把握，能用简洁的符号表达它的复杂的本质联系;其次，有高度完善的公理系统，使形式化及形式系统有运演的逻辑基础;再次，有严整的演绎理论体系，以适应推理方法与符号公式之间的转换，最后，有高水平的语言学研究成果。

;;; 思维的形式化过程，是思维的抽象、概括、一般化的过程，也是思维的分解和深化的过程。现代科学要求语言无歧义地表达概念，用最简明的方式表达事物内部和事物之间的联系，而形式化则满足了这一要求，它用符号准确无误地表达某个概念，用符号化的公理系统清晰地揭示事物内部及事物之间的联系，越过了自然语言的障碍，使思维更加精确化、客观化。现代形式化思维的一个重大成果是数理逻辑的诞生，它为人类思维艺术的发展开拓了一个新的领域。

;;; 形式化思维艺术由于舍弃了符号所代表的意义，而只着眼于形式，又由于它概括了思维的一般形式，因此能被全世界所接受，从而成为人类的共同财富。同时，形式化思维艺术在科学理论的研究甚至科学理论的发现中有重大作用，因此越来越受到人们的重视，成为现代思维艺术发展的主要趋势之一。

;;; 形式化思维还有力地推动了人工智能的发展。思维元素用符号表示，思维过程用形式化的公理系统代替，这样便能输入机，使电子计算机成为能够“思维”的智能机。人工智能的出现，标志着人类思维发展到一个崭新的阶段。

;;; 人类从来没有象今天这样自觉地改造和完善自身的思维艺术。随着社会的进步和科学的发展，思维的社会机制和生理、心理机制被日益清晰地揭示出来，以至于能通过脑电图破译思维语言，能通过射线摄影透视人脑思维的活动过程。人类思维艺术正处于大变革的前夜。我们相信，思维艺术在不断完善的过程中必然会展现出新的前景

责任编辑：科教论文网

注 释：
[1]《爱因斯坦文集》第1卷，商务印书馆，1976年版，第574页。
[2]《马克思恩格斯选集》第3卷，人民出版社，1972年版，第59页。
[3][4] 皮亚杰：《发生认识论原理》，商务印书馆，1981年版，第52页。
[5] 《希腊数学史》第1卷，牛津1921年版，第129页。
[6] 《马克思恩格斯选集》第3卷，人民出版社，1972年版，第63页。
[7] 李约瑟：《技术史》第3卷，科学出版社，1975年版，第337页。
[8]《马克思恩格斯选集》第1卷，人民出版社，1972年版，第30、31页。
[9] 《马克思恩格斯全集》第20卷，人民出版社，1971年版，第526页。
[10] 《马克思恩格斯全集》第20卷，人民出版社，1971年版，第370页。
[11] 亚里士多德：《形而上学》，商务印书馆，1981年版，第5页。

责任编辑：科教论文网