2026年10月23日至25日,第20届现代逻辑学术研讨会暨中国逻辑学会现代逻辑专业委员会成立30周年座谈会在北京举行。其中,23日下午的纪念座谈会在海淀区中国科学院哲学研究所举行,24日至25日的学术报告在怀柔区中国科学院大学雁栖湖校区举行。会议由中国逻辑学会现代逻辑专业委员会主办,中国科学院哲学研究所承办,组委会成员来自中国科学院哲学研究所和中国科学院大学人文学院,张立英担任组委会主席。中心熊作军副教授、王一廷博士、潘易欣博士参会。会议期间,潘易欣作常规学术报告,熊作军、王一廷分别担任常规报告和海报论文报告环节的主持人。



10月23日下午,现代逻辑专业委员会成立30周年座谈会在中国科学院哲学研究所举行。刘壮虎、王路作主题发言,刘晓力、张燕京、周北海、刘新文等多位学者参加座谈交流。与会学者共同回顾中国现代逻辑学的发展历程和专业委员会成立30年来的工作,围绕学术传承、学科建设、人才培养及交叉融合等议题展开讨论。作为本次会议的重要组成部分,座谈会汇聚了不同代际的逻辑学研究者,在回顾学科发展与学术传统的同时,共同探讨中国现代逻辑研究的未来方向。
10月24日至25日,学术报告在中国科学院大学雁栖湖校区举行。会议设置特邀报告、常规报告和海报论文报告等环节,内容涉及认知逻辑、模态逻辑、数理逻辑、逻辑哲学以及逻辑与人工智能交叉研究等领域。周北海、蔡少伟、刘路分别作题为《认知逻辑与认知主义:认知科学时代逻辑学的新面向》《大模型辅助的命题逻辑可满足性研究:复杂性与求解器》和“Complexity of Variable Word Theorems”的特邀报告。
(潘易欣/文,泮新璐/发布)