自省主体对Moore-型信息的处理与融合
我们的主要任务是考察具有足够推理能力的完全自省主体在信念修正过程中Moore-型信息的处理规律.首先是关于Moore悖论的简单评述,通过更新语义学的帮助展示某种解悖的方案.接着,我们介绍由Lindstrom和Rabinowicz提出的用来刻画自省主体信念修正的动态信念逻辑;在此基础上,再借助vail Benthem和Segerberg等学者的动态认知(信念)逻辑框架,试图给出主体修正过程中融合Moore-型新信息的形式描述.我们保留文献中关于经典信念修正理论中的”新信息优先”原则,但在此基础上呈现的修正方案主要是”非成功”的;尽管绝对的”成功”在上述的修正过程中不成立,但可以总结出某类特殊的”成功”(弱成功)仍然是成立的.最后,通过”弱成功”概念,我们重新考察与上述问题相关的”可学习性”问题.
信念修正、自省主体、Moore-型信息、不成功修正、弱成功
4
B0(哲学理论)
the Youth Project for the Study of Humanities and Social Sciences of China”s Ministry of Education07JC720401
2010-01-15(万方平台首次上网日期,不代表论文的发表时间)
共13页
470-482