摘要
拉卡托斯的科学研究纲领理论区分了科学理论的硬核和辅助假设。在遭遇反常事实时,认知主体往往不会轻易地触动理论的硬核,而是通过调整硬核的保护带即辅助假设来化解科学危机,并同时保护理论硬核。代谢修正是一种与此理论密切相关的信念修正现象,在代谢修正过程中,认知主体往往由于有限理性的缘故而不能立刻从新信息中区分出不可信信息,进而先接受新信息为新信念,然后在后续认知实践中发现信念冲突,并通过调整非核心信念来剔除造成信念冲突的不可信信息,并同时保护核心信念。核心代谢修正是代谢修正的一种类型,它的公理性刻画与函数式构造之间具有信念修正领域的"完全性定理",即表达定理。