在线期刊

更新模型下一类推理难题的形式化解释

作者:郭佳宏

关键字:公共宣称推理难题不成功更新更新模型更新逻辑

摘要/Abstract

近几十年来,逻辑学家们的兴趣发生了较大的变化,他们已经把认知动作和过程作为中心问题来研究,即所谓的“动态转向”。其中主要的流派有动态认知逻辑、更新逻辑、信念修正和分支时间等。van Benthem等[vBen01],[vBen03]研究了“公共宣称”的转换模式;Baltag等[BMS98], [BMS03]提出了更新积模型,并且首次引入了状态模型之间“更新关系”及更新模态算子。本文并不打算对相关的理论作详细的介绍,而是试图用其中的“转换模式”和认知更新模型对日常生活中某些涉及知识变化的直观推理难题作一番精确的分析,从而试图表明这样的模型还是能够比较好地刻画生活中某个局部知识更新的直观意义的。其间,那些涉及“不成功更新”的推理难题得到了严格地解决,并且某些隐含的问题被挖掘出来,比如冗余性和时态等。在上述动态模型下,这类推理难题的结构被清晰地展现出来。

版权声明:社科网的所有在线期刊内容均由各期刊编辑部根据协议提供。 任何个人、机构、网站如未经本网书面授权,私自复制或转载本网中的图片、文字,均将被视为侵权行为。此类行为一经发现,本网将依据《中国人民共和国版权法》和《互联网管理条例》,追究侵权者的责任。