计算知识论研究进展

摘要

计算知识论的基本理念既有哲学来源又有语言学来源。通过不同学者的解读和充实,计算知识论成为了一个以归纳问题可解性和归纳方法逻辑可信赖性为核心问题、以可计算理论为分析工具的完整理论体系,为科学推理研究提供了抽象的分析框架。在该框架之下,各种版本的归纳问题得到了重新审视;对可学习性的关注又促成了计算知识论理念与认知逻辑的结合。计算知识论的全新视角及其初显的解题功能都表明:对计算知识论的进一步研究会为科学哲学和知识论领域带来更多有益成果。