-
题名读逻辑RL与任意读逻辑AL
- 1
-
-
作者
林渊雷
-
机构
肇庆学院政法学院
-
出处
《逻辑学研究》
CSSCI
2016年第4期110-125,共16页
-
基金
教育部人文社会科学研究青年基金项目(11YJC72040001)
广东省哲学社会科学"十二五"规划青年项目(GD11YZX03)
-
文摘
本文认为文献(van Ditmarsch et.al.,2007)对认知行动"读"形式化时,语法与语义混淆,给出的语法和语义不够直观、自然。本文在形式化认知行动"读"时,严格区分语法和语义,在形式上更直观自然、更易理解;在此基础上,给出读逻辑RL的公理系统,并证明其可靠性和完全性。另外,本文还对认知行动"读"的量化进行研究,给出了这个量化逻辑AL的形式化。在表达力方面,本文还得到如下结果:(1)读逻辑RL、公开宣告逻辑、认知逻辑以及单认知主体的任意读逻辑AL表达力相等;(2)多认知主体的任意读逻辑AL的表达力要严格大于认知逻辑、读逻辑和公开宣告逻辑。
-
关键词
读
认知行动量化
知识更新
-
分类号
B815.3
[哲学宗教—逻辑学]
-