在开幕式上，河北大学党委常委、副校长宋凤轩致辞。他介绍了河北大学的办学情况、以及哲学学科的建设成效。中国逻辑学会副会长、形式逻辑专业委员会主任委员、河北大学哲学与社会学学院院长张燕京代表会议主办方致辞，指出人工智能时代逻辑研究与教学既面临新的发展机遇，又面临新的挑战，从开展逻辑学与人工智能的交叉研究、人工智能赋能高等学校逻辑教育教学、人工智能时代更要加强全社会逻辑教育等三个方面提出了AI时代逻辑学研究和教学的思考。河北大学哲学与社会学学院副院长赵贤主持开幕式，宣读了中国逻辑学会原会长、形式逻辑研究会（形式逻辑专业委员会前身）首任会长、北京师范大学吴家国教授对形式逻辑专委会成立45周年和大会召开的贺信。

　　本次会议以AI时代的逻辑研究与教学为主题。大会共安排了26场报告。会议报告内容主要涉及人工智能逻辑、现代逻辑、逻辑哲学、中外逻辑史、人工智能赋能逻辑教育教学等领域，体现了人工智能时代我国逻辑学领域的前沿研究与教学创新。

　　7月4日上午和5日上午是特邀报告和大会报告环节。特邀报告由南开大学翟锦程教授主持，清华大学王路教授作了题为“量词的作用和意义”的特邀报告，从逻辑史的角度深入探讨了弗雷格的量词理论，阐发了量词理论在现代逻辑和语言哲学中的重要作用，强调高校加强现代逻辑教学对于哲学教育和研究的重要意义。在大会报告环节，中国人民大学余俊伟教授、中国社会科学院哲学研究所刘新文教授、浙江大学金立教授、西南大学郭美云教授、南开大学刘叶涛教授、中国社会科学院哲学研究所李章吕教授、中山大学谢耘教授、山西大学郭建萍教授、东北师范大学张萍教授等先后作学术报告。

　　7月4日下午是大会的两个分论坛报告环节，来自全国高校和研究机构的16位中青年学者和博士生作了学术报告，分享了前沿的研究成果。

　　大会闭幕式上，西南大学郭美云教授主持，张燕京作大会总结发言。他指出，本次年会围绕会议主题开展学术交流，学术报告水平高，学术讨论充分，尤其是为中青年学者提供了良好的交流平台，展示了AI时代逻辑研究与教学的新成果。他同时宣布，下一届全国形式逻辑学术研讨会将由中山大学承办。

　　本次大会由中国逻辑学会形式逻辑专业委员会、河北大学哲学与社会学学院联合主办，河北大学现代逻辑与逻辑应用研究所、河北大学燕赵哲学与文化研究中心承办。来自中国社会科学院、清华大学、中国人民大学、河北大学等30多所高校和研究机构的专家学者70余人参加会议。