核心代谢修正算子

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

信念修正中的一种新型评价算子研究

本文考察了评价算子,即刻画认知主体如何借助评价依据来理性评价新信息的算子,它放弃新信息中部分不可信信息,但是与传统收缩算子不同,它不指定收缩的信息而只要求评价结果与评价依据相一致。S.O.Hansson认为以单个句子作为新信息的非优先信念修正具有三种模式:决策–修正(Decision-Revision)、整合选择(Integrated Choice)和膨胀–巩固(Expansion-Consolidation)。评价算子单独刻画了非优先复合修正决策–修正模式的决策模块,对于修正模块这里不作探讨。我们先按AGM信念修正模式对评价算子进行了公理性刻画,接着通过不一致核心集和一致保留集分别构造了核心评价算子和部分交评价算子,然后分别证明了这两种算子与公理性刻画之间的表达定理,最后对评价算子和其他相关工作进行了比较。