亨普尔确证理论新阐释——以ILP的问题背景为视角

New Interpretation of Hempel's Confirmation Theory——A Perspective of ILP Problem Setting

科学确证理论是科学哲学研究的核心问题之一,它探讨科学理论(假说)的真理性并为科学假说提出辩护。随着归纳逻辑程序设计新问题背景的出现,为科学假说提供解释和确证这一核心议题重新得到阐释。一般认为,传统的归纳逻辑程序设计问题背景对应于由皮尔斯对科学假说进行解释的回溯推理,而新的问题背景则对应亨普尔确证归纳假说的推理。用归纳逻辑程序设计的问题背景重新分析科学确证与科学解释,为亨普尔的"确证悖论"提供了一个新的解决方案,可以看作是人工智能对科学哲学的一个贡献。

Science confirmation theory is one of the central issues in the study of philosophy of science. It examines the truth of scientific hypothesis and provides a defense for hypothesis. Along with an alternative to the traditional ILP setting,a new interpretation for confirmation theory comes into view. It is generally thought that the traditional ILP setting corresponds to Peirce＇s abductive inference and the alternative setting corresponds to Hempel＇s inference of confirmed hypotheses. Using ILP setting to investigate scientific confirmation and scientific explanation provides a new solution scheme for Hempel＇s confirmation paradox. It can be viewed as a contribution from artificial intelligence to philosophy of science.