读逻辑 RL 与任意读逻辑 AL.pdfVIP

逻辑学研究 2016 年第4 期，110–125 文章编号：1674-3202(2016)-04-0110-16 读逻辑 与任意读逻辑* 林渊雷 肇庆学院政法学院 linyuanlei@126.com 摘 要：本文认为文献（van Ditmarsch et.al., 2007）对认知行动“读”形式化时，语 法与语义混淆，给出的语法和语义不够直观、自然。本文在形式化认知行动“读”时， 严格区分语法和语义，在形式上更直观自然、更易理解；在此基础上，给出读逻辑 的公理系统，并证明其可靠性和完全性。另外，本文还对认知行动“读”的量化进行研 究，给出了这个量化逻辑 的形式化。在表达力方面，本文还得到如下结果：(1) 读 逻辑、公开宣告逻辑、认知逻辑以及单认知主体的任意读逻辑 表达力相等；(2) 多认知主体的任意读逻辑 的表达力要严格大于认知逻辑、读逻辑和公开宣告逻辑。 关键词：读；认知行动量化；知识更新 中图分类号：B81 文献标识码：A 1 引言