摘要

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