研究主体信念修正的不同路径

作者:郭佳宏 刊名:暨南学报(哲学社会科学版) 上传者:戴璐

【摘要】刻画主体知识(信念)推理的认知(信念)逻辑,一直是学者们研究的热点问题之一。而知识(信念)本身并非一成不变,作为人们信息交流中的重要内容,对它们变化规律的研究,不但可以促进原来的认知(信念)逻辑的发展,更重要的是可以为进一步研究一般的主体信息变化逻辑提供扎实的基础和切入点。信念修正理论则是刻画信念(知识)变化的有力的逻辑工具之一。

全文阅读

一、AGM传统及相应的语义表达我们面临着无时不在变化的世界,新的信息不断地冲击着主体原有的信念系统,主体不可能对新出现的各种信息无动于衷。有时主体可能不假思索地接受新信息;有时为了接受新信息会产生很多麻烦,不得不对自己原有的信念状态做出调整;有时主体有很强的免疫力,甚至抛弃新信息。上述变化过程总体上说是复杂的,所以研究主体信念修正的过程和规律是有趣且有意义的。经典的信念修正理论由Alchourrn,Gardenfors,Makinson(简称为AGM)等提出和发展[1-3]。在AGM传统中,关于世界知识的理性主体信念修正主要可以分为三类变化过程:膨胀、收缩和修正。膨胀(expansion):主体在不放弃任何旧信念的基础上直接把新信息,比如A,加到它的信念库中,然后再得到一个在逻辑后承下封闭的信念集。如果G是主体原来的旧信念集,那么用G+A来表示用A膨胀G后的信念集。形式地,G+A=Cn(GA)。不难看出,如果A在G中,那么G+A是不一致的。而在修正中总是想尽力得到一致的结果。所以还需要有别的办法来克服不一致的困难。收缩(contraction):主体放弃原来相信的信息,比如命题A。在通常情况下,为了放弃A还需要放弃其他更多的旧信念,比如那些逻辑地蕴涵A的信念。我们用GA表示主体在原来信念集G的基础上放弃A后的信念状态。修正(revision):主体接受新的信息比如A,在A一致的情况下它获得一致的新的信念状态。我们把整个变化过程看作是信念修正。AGM传统预设了“新信息优先原则”,即在主体接受新信息的情况下考察修正。另外,为了给新信息A腾出位置,旧信念状态的改变要尽可能的小。这也称之为“信息经济原则”。用G*A表示用A修正G后的信念状态。可见,膨胀比较简单,而收缩和修正相对复杂。我们希望有桥梁来连接这三种过程。以下定义中的两个等式使得收缩和修正成为了一个硬币的两面。定义1:令G为信念集,A为新信息。符号,+,*分别表示“收缩”、“膨胀”和“修正”,那么有(合取虚空,Conjunctivevacuity)在AGM中,前六条是基本公设而后两条是附加公设。为了更加直观地理解上述公设,学者们提出了许多相应的语义理论,比如“球包系统(spheresystems)”和“认知牢固序(epistemicentrench-mentorderings)”等。前者来自于Grove[4],而后者由Gaerdenfors和Makinson[3]提出。值得注意的是,传统的修正仅仅涉及改变主体的信念状态,而客观世界则保持不变。不过在现实情况下,世界也是可以改变的。相应地,研究涉及世界变化的信息变化理论称为“更新”。Kotsuno和Mendelson对修正和更新作了详细的区分[5]。二、动态信念逻辑(DDL)关于信念修正的模态逻辑做法较早可见于文献[6-7]。在那里作者用模态的方法研究正规性条件句逻辑,然后又为缺省推理和信念修正构建了一个统一的模态方法。后来ArlCosta则用迭代(iterated)的条件句逻辑来考察信念修正[8]。动态信念逻辑也是新近模态逻辑发展出来的分支,这一想法的先驱者是Seger-berg。他是为信念变化建立动态逻辑系统的最早学者之一,比如他的“不可撤消的动态信念逻辑”,详细内容请参阅[9-10]等文献。Lindstrm和Rabinowicz在关于修正的动态信念逻辑方面写了一系列文章[11-12]。他们试图解决“自省主体的信念修正”问题。在上述文章中,他们首先构造了一个没有限制的动态信念逻辑系统(DDL-unlimited),用来刻画“信念变化”的各类过程

参考文献

引证文献

问答

我要提问