2022年10月28日至30日，由中国逻辑学会现代逻辑专业委员会主办、山东大学哲学与社会发展学院和山东大学概念与推理研究承办的“2022年全国现代逻辑学术研讨会”在济南召开，来自全国20余所高等院校及科研单位的以线上线下的方式参加了会议。
山东大学哲学与社会发展学院梁飞副教授主持会议开幕式，中国逻辑学会现代逻辑专业委员会主任、中国社会科学研究院刘新文研究员，本次研讨会程序委员年会主席、北京师范大学哲学院琚凤魁副教授，山东大学哲学与社会发展学院、哲学系系主任吴童立副教授分别致开幕辞。会议由大会特邀报告、常规学术报告、学生报告以及学术技能讲座组成，涉及到数理逻辑、模态逻辑、哲学逻辑、逻辑哲学、逻辑与语言学、逻辑与社会科学等议题。
特邀报告
本届会议邀请到了中山大学逻辑与认知研究所刘虎教授、山东大学哲学与社会发展学院暨山东大学概念与推理研究所的荣立武副教授、清华大学外国语言文学系的刘明明副教授就各自近期研究成果为大会做特邀报告。
刘虎的报告“公式的聚合：从个体信念到舆论生成”从社会选择理论的核心问题出发，将社会选择理论的概念和方法引入到逻辑学研究中，考察如何“公平地”把一组公式聚合成一个公式。他使用命题逻辑的典范合取范式作为工具，定义了M-GOF函数作为群体中的舆论，并结合社会选择理论给出了聚合公式的公平标准——一致同意性、无独裁性、匿名性、中立性、独立性、正反馈性、单调性等。在此基础上证明了聚合函数M-GOF的特征性定理，即它是唯一满足一系列良好性质的群体意见函数。
荣立武报告了与苏庆辉教授合作研究成果——“关于指示条件句的会话假设”。他首先梳理了讨论指示条件句意义的历史脉络，特别地，辩护了将Philo蕴涵作为指示条件句最小语义的合理性。随后，结合实质蕴涵悖论的挑战，荣立武介绍了会话假设与语义假设两种规避实质蕴涵悖论的策略，并讨论了两种策略之间的相互批评与挑战；最后，他利用Carston的观点，即：语义假设中所主张的逻辑小品词所具有的丰富的语义一定会导致内部的不一致因而是不可接受的，为坚持指示条件句的会话假设提供了辩护。
刘明明在报告“形式语义、语用与汉语中的多功能虚词”中提出将形式语义应用到汉语研究中语用的重要作用。特别地，介绍了多功能虚词“都”有关的有关现象，并讨论了“都”的语义核心。刘明明指出，对这些语言现象的分析离不开语用，特别是 Stalnaker 所讨论的预设，Grice 所讨论的会话含义以及 Roberts 所讨论的话语话题，这体现了语用在汉语语法中的重要作用，印证了刘丹青先生的 “语用优先”的汉语语法观。
常规学术报告与学生报告
本次会议共收集到来自全国各地师生投稿55篇，其中常规论文47篇（包括主要作者为学生的论文），学生摘要8篇。最终接收了18篇常规论文和4篇学生摘要作为大会常规学术报告与学生报告。报告内容涵盖了现代逻辑、逻辑与哲学以及逻辑的应用等方向。
在现代逻辑方向里，中国科学院大学范杰简化了“强可能性弱必然性逻辑”的完全性证明，并且在“Axiomatizing Rumsfeld Ignorance”的报告中，给出了刻画了Rumsfeld无知的IRI逻辑和双可及关系的Bi-语义，并构造了其相应的证明系统。泰山学院赵之光介绍了带有量化关系的模态逻辑的萨奎斯特对应理论。中山大学陈霖报告了如何将Ripley关于单调逻辑后承关系的传递性结果推广到非单调逻辑后承关系之上。中国社会科学院贾青借鉴STIT逻辑，提出了完成类连续行动的逻辑CAac及其公理化系统。南开大学赵嘉洁提出了基于模态逻辑DML上概率逻辑(PLDML)，用以刻画概率论中关于连续事件的推理。西南大学熊作军介绍了一个自反且传递的秘密逻辑系统ICST4，其完全性的证明在典范模型的构造上采取了独特的证明思路。华东师范大学魏宇的报告给出了“知道为何”现象的认知逻辑LW和对应的公理系统SLW，并证明了SLW的可靠性、强完全性和可判定性。华南师范大学曾千里则证明了每一个布尔悖论直接自我指称可以在不改变悖论的主要特征的情况下被系统地消除。复旦大学吴近悦在报告“关于布劳威尔消极连续定理的注释”中讨论了关于布劳威尔“消极地连续”(NCP)定理的争论，他认为布劳威尔早期的证明不会基于创造主体这一概念，为此提出了一个以避免引入创造主体和尊重弱否定解读为前提的对NCP的证明。
在逻辑与哲学领域中，西北农林科技大学孙健从溯因推理出发，提出了在对溯因推理的形式刻画中容易忽略溯因推理中的因果关系和心理意义。从心智主义的视角介绍了溯因推理的格式塔结构。南京理工大学王晓乐通过可能事态的考察，讨论了命题的使真者理论所面临的重要的本体论问题。南开大学胡兰双介绍了用于解释“必然真”的两种积极的解决方案，在保留符合论的一元立场情况下，回答符合论解释“必然真”时所面临的困境。河南师范大学王聪讨论了当代模态本质主义认识论及其所面临的问题。
在逻辑学的应用里，之江研究所孙鑫基于量子Toffoli门算子设计了量子逻辑合取运算、量子逻辑析取运算，从而实现了对量子否决式投票、量子提名式投票、量子多数制投票、量子孔多塞式投票。中国人民大学骆犀羚提出了可用于信息提取和冗余消去的类聚逻辑LHG,M。浙江大学程佑提出了一种基于扩展的双极论证框架语义和基于标签语义的等式方法，证明了这两种方法之间的等价性。中国消防救援学院张文彦介绍了事件-状态语义学，并通过分阶段扩张的语言L0-Ls，对时态句做出了形式语义的解释。
本次会议共收录4篇学生摘要，华南师范大学孟惠民发表了对偶然非具体主义以及现实主义的一些看法。中山大学李珮瑜的报告给出了“应该知道”的直观解释，以及基于此解释的应知逻辑。中山大学黄祎妮在认知规范中加入了对道德规范的考量，进而提出了刻画“应该不知道”的逻辑。西南大学韩琳琳通过在主体所在世界上的记忆集中删除或添加元素的方式刻画了遗忘与回忆。
本届会议延续之前传统举办了学术技能讲座，旨在以经验分享的方式促进国内青年学者、学生的学术发展。此次讲座邀请到了来自北京大学哲学系王彦晶教授和北京师范大学哲学院琚凤魁副教授围绕科研项目以及研究生学业发展两个主题与线上、线下的老师和同学进行经验分享。讲座由山东大学哲学与社会发展学院徐超博士主持。通过本次交流一方面使参会的青年学者们认识到真诚申报与参加科研项目的重要性；另一方面也使学生与老师之间有了更深入地交流，与会的各位老师也对学生的科研方向、科研进度以及科研态度方面提出了建设性的意见。
会议闭幕式由山东大学哲学与社会发展学院荣立武副教授主持。中国逻辑学会现代逻辑专委会秘书长、北京大学哲学系王彦晶教授总结了会议进程和内容，对未来四年的工作进行了展望。最后，四川大学哲学系刘佶鑫博士代表下届承办方四川大学哲系致辞并欢迎大家参会。