2022年10月28日,第16届全国现代逻辑学术研讨会(NCML 22)在山东济南举行。本次会议由中国逻辑学会现代逻辑专业委员会、山东大学哲学与社会发展学院以及山东大学概念与推理研究所联合举办。会议收到了55篇投稿,通过初审的文章经过了至少三名匿名专家的评审(“三不知”:作者不知评审者、评审者不知作者以及评审者互不知),最后从中录用了19篇常规论文以及4篇学生摘要。(见会议录用论文)。
熊作军副教授的《自反且传递的秘密逻辑系统》被会议收录为常规论文,博士生韩琳琳的《关于知识遗忘与回忆的动态认知逻辑研究》被收录为学生摘要。此外,郭美云教授参与合作的论文Distributed Quantum Vote Based on Quantum Logical Operators, a New Battlefield of the Second Quantum Revolution(第二代量子革命的新战场:基于量子逻辑算子的分布式量子投票)也被收录成了常规论文。
熊作军副教授从极小的秘密逻辑系统ICS与自反秘密逻辑系统ICST出发,介绍了ICST4的公理化证明,讲解了秘密算子作为“知识与无知”叠置算子的逻辑规律与特点,并进一步探讨了秘密逻辑在非正规模态逻辑中的表达力问题。韩琳琳博士生将“记忆与遗忘”引入认知逻辑系统,构建了基于知识记忆与知识遗忘的语义模型,对具体认知行为进行了模型分析,并讨论了这一逻辑语义上的一些有效公式性质等。
(熊作军/供稿、发布;郭美云/审核)