关于科学发现机器的研究

本文阐述了科学发现的两个判据,在知识存贮有劣性原理的基础上,提出了知识存贮不完全性原理,指出存在一类逻辑上具有非放大性,但认识论上具有放大性的演绎发现机器。在休谟问题逻辑学范围内不可解原理的基础上,论证了不存在通用的归纳发现机器,但建立局部合理的、有效的、完备的归纳发现机器是可行的。最后,本文描述了科学发现机器的结构,并在文献的基础上,描述了一种同时具有发生与评价功能的归纳发现机器并论证了它的合理性。

STUDIES IN THE MACHINE OF SCIENTIFIC DISCOVERY

In this artical, two criterions of scientific Discovery are expressed. The principle of incompleteness of knowldge storge is demonstrated, and it is shown that a deductive machine can be both logically non-ampliative and expistemically ampliative. On the basis of principle of unsolvability of Hume's problem, we elucide that it is fesible to establish a inductive machine of discovery.