023年10月19日至22日，由中国逻辑学会现代逻辑专业委员会主办，四川大学哲学系，四川大学逻辑、科学与文化研究所承办，四川省逻辑学会协办的“第17届全国现代逻辑学术研讨会”在四川成都召开。来自二十余所高校的一百余名学者参加了会议。
四川大学哲学系与宗教所党总支书记史冰川，四川大学文科讲席教授任晓明，复旦大学副教授杨睿之和清华大学副教授俞珺华依次致开幕辞，各位致辞嘉宾对会议的举办表示祝贺、对参会的各位专家学者表示欢迎和感谢！开幕式由哲学系副教授徐召清主持。
.png)
会议由特邀报告、教学环节报告、常规报告和短报告及海报展示组成，涵盖了逻辑哲学、非古典逻辑和逻辑学与语言学等议题。
大会邀请了南开大学数学学院丁龙云教授，中山大学计算机学院刘咏梅教授和四川大学数学学院张德学教授作特邀报告，并在极具会议特色的教学环节报告部分邀请到复旦大学哲学学院郝兆宽教授作主题报告。丁龙云教授介绍了等价关系、不变量理论和波莱尔规约的概念和它们之间的关系，通过波莱尔规约给出衡量不同等价关系相对复杂度的一种刻画。刘咏梅教授介绍了其团队在探索和提高语言模型在各种推理任务中的能力方面的工作，并指出大语言模型为基于自然语言的知识表示和推理提供了机遇和可能性。张德学教授介绍了多值逻辑和模糊集理论的概念，并使用模糊集理论的方法证明了反证法在某些数学证明中的不可或缺性，说明了模糊集在数学结论和推理规则之关系的研究中的重要作用。郝兆宽教授的教学环节报告通过大量实例说明了逻辑作为概念之理论的观点，并指出概念的本质属性是客观的，由此恢复逻辑与形而上学的关系。
.png)
大会常规报告环节开展了17场报告，报告人通过生动形象的讲解向听众报告了各自的研究成果，并在提问环节同与会者们展开了精彩的学术交锋。来自南京理工大学的王晓乐、阿姆斯特丹大学的褚天祎、伦敦大学学院的张潇之和山西大学郭建萍报告了他们在逻辑哲学方面的研究成果。在非经典逻辑的理论方面，华南师范大学的曹航杰、四川大学的陈昊睿、北京大学的丁一峰、北京大学的钟盛阳、中山大学的黄晨、中国科学院大学的范杰和南开大学的李延军依次报告了他们的工作。逻辑学与语言学也是本次大会报告人们所关切的领域，浙江大学祝文昇、山东大学的谌恺懿和曲阜师范大学的张保垒作相关报告。此外，大会报告中还包含了一些逻辑学应用方面的研究成果，中国人民大学的刘可晗、中山大学的李韵冰、兰州大学的陈佳向大会报告他们的工作。
.png)
.png)
.png)
.png)
大会还收录了14项优秀的研究成果作为学术海报展示项目，涵盖了哲学逻辑、逻辑哲学、逻辑学应用等领域。同时，每项工作由一位代表在大会上作短报告，与会者们在短报告环节和海报展示环节就这些研究成果展开了热烈的讨论和交流。
.png)
10月22日上午11时40分，大会顺利完成了全部议程。中国逻辑学会现代逻辑专业委员会主任、中山大学王轶教授主持闭幕式，他梳理了全国现代逻辑学术研讨会的发展历程，总结了现代逻辑专委会过去一年工作的进步与不足，并向本届研讨会的所有工作人员、报告人和其他参会人员表示了衷心的感谢。华南师范大学熊明教授代表下一届承办方作介绍并致邀请辞。最后，本次大会在与会者热烈的掌声中圆满地落下了帷幕。
.png)