《科学哲学》第五十二节

程式化理想的两大来源是柏拉图传统与电子计算机，两者的结合产生了用计算自动处理一切推理的设想。

程式化理想的两大来源是柏拉图传统与电子计算机，两者的结合产生了用计算自动处理一切推理的设想。从1958年的几何定理证明机、1959年的下棋程序，到六十年代的智能机器人、七十年代的仿真机器人，再到后来的专家系统，计算机在模拟人类思维上成果显著。但人类智能可分为刺激—反应、数学思维、复杂—形式化系统、非形式化行为四类，后两类难以完全形式化，因此计算机目前只是扩大而非取代人的智能。关于智能机器人能否超越工具职能而具有自主性，人们看法不一；西蒙等人认为机器人终将掌握学习能力，模拟人的各种思维模式。

在方法论史上，程式化努力有几个里程碑。亚里士多德建立了以演绎逻辑为核心的科学方法论，奠定了形式逻辑的基础；培根转向科学发现的程序，开创归纳逻辑，后由穆勒以“穆勒五法”完成；二十世纪的现代归纳主义运用符号逻辑，卡尔纳普提出归纳确证的概率观点并建立归纳测度函数，赖欣巴哈则把方法论问题化为概率逻辑。这一努力后来因确证度计算难以实际应用、可证实性原则存疑等困难而衰落。与此同时，电子计算机使思维程式化成为可能，人工智能由此成为方法论程式化努力的新阶段，因为程式意味着方法的凝结，可为人类直接继承利用。