算法的认识论逻辑

作为计算机科学、数据科学和人工智能基本内核的算法显现出独特的内在演进逻辑。对这种逻辑的分析和阐明不仅有助于澄清算法的认识论本质，而且有必要和可能建构某种算法认识论来深入思考它的发展和变革。基于不同理论框架对算法所作的一些定义、解释和反思已经提出了关于算法的三个重要认识论问题。第一，算法无论是作为结构化编程还是一种社会-技术系统，为何都存在着认识不透明性。第二，AlphaFold的出现是否表明算法完全可以成为一种科学发现新逻辑。第三，算法的形式化推理能否超越像常识这样的非形式逻辑而变得更加“智能”。从对这三个问题的分析和论证中可以得出算法认识论的三个基本论题：局部认识透明性、算法发现逻辑和常识融合方法。