2023年9月16日，“逻辑与社会发展”学术研讨会在上海大学乐乎新楼大学厅召开。本次研讨会由上海市逻辑学会、金沙检测线路js69、上海大学哲学系共同举办，来自上海市各个高校、科研机构的30余位学会会员、专家学者以及上海市社联学会管理处卢红青调研员等特邀嘉宾参加了学术交流。本次活动也是上海市社联所属学会2023年学术活动合作项目。

研讨会开幕式由上海市逻辑学会副会长、上海交通大学黄伟力教授主持。金沙检测线路js69主持工作副院长叶海涛教授致辞，他指出，我们所处的时代比任何时候都更加需要逻辑的参与和引导作用，金沙检测线路js69高度重视逻辑学的教育与研究，大力支持逻辑学的人才培养和学术研究工作。上海大学哲学系主任刘小涛教授致辞，他介绍了哲学系为全校人文大类学生开设了逻辑学公共基础课、研讨课和通识课，以及为专业学生开设的逻辑学必修课和选修课情况。上海市逻辑学会会长、上海大学宁莉娜教授致辞，她指出，此次研讨会的目的在于，使逻辑学研究与社会发展之间的关联性能够进一步受到重视，其主要动意有三个方面：一是增强逻辑研究与现实关切的主体意识。通过探究逻辑的基础理论、关注逻辑的学术前沿，充分发挥逻辑对社会发展的重要作用，进一步推进逻辑学研究走向当代社会发展深处。二是凸显逻辑学及其相关研究的重要学理价值和应用价值。上海市逻辑学会作为学术团体，就是要为大家搭建好学术交流的平台，呈现高水平的、创新性的研究成果，并观照社会现实问题。三是扩大逻辑学的普及和影响范围。作为逻辑学的教育者和研究者，有责任、有义务开展逻辑学的普及推广工作，让更多人了解并运用逻辑方法去参与社会生活。

第一场学术报告由上海市逻辑学会副会长、复旦大学陈伟副教授主持。华东师范大学晋荣东教授在题为“我所理解的中国逻辑——推类论述新解”的报告中提出，如果把逻辑理解为对推理的规范性研究，旨在提出区分推理好坏的原则或方法，那么实际存在于中国古代、具有相对系统形态的本土逻辑是以三物论说为核心的推类论述。上海交通大学李主斌副教授的报告“何为使真者”，主张通过引入“本体论根源”和“典范描述”概念来给予使真者一个新的定义。这个定义如果成功，那么它将对一系列使真者的论题产生重要理论后果。华东师范大学青年博士魏宇在题为“一种‘充分知道’的逻辑研究”的报告中提出，一个关于科学语境中充分知道为何的认知逻辑框架，并给出了一个可靠完全且可判定的公理化系统。上海对外经贸大学副教授李秀敏、上海大学教授刘小涛、上海电机学院教师张文琴分别对上述三个报告进行了评论。

第二场学术报告由上海市逻辑学会副会长、华东政法大学缪四平副教授主持。上海大学曹青春副教授在题为“基于非演绎逻辑的人工智能问题思考”的报告中提出，人工智能逻辑的发展离不开逻辑，要在演绎主义与非演绎主义之间探寻合理的张力，保持动态平衡。华东政法大学梅祥副教授的报告“论似真性与似真性证据理论”主张，把获得似真性证据和进行似真推理的过程，看作是人的一种动态认知过程，并通过三角测量模型体现出来。上海师范大学青年博士宋鹏飞在题为“信念库语义对认知逻辑的重构”的报告中建立了从命题觉知逻辑到该逻辑的多项式嵌入，以及从该逻辑到一般觉知逻辑的多项式嵌入，通过后一个嵌入，证明了检测该逻辑公式可满足性的问题是PSPACE完全的。华东师范大学贾国恒副教授、华东政法大学杜文静副教授、华东师范大学郝旭东副教授对上述三个报告进行了评论。

自由发言阶段，由上海市逻辑学会副会长、华东师范大学晋荣东教授主持。与会学者围绕：中国古代逻辑的规范与形式之间的区别、中国古代逻辑的担保机制；推类中的“故”、“理”、“类”、“辞”既是结构也是形式；使真者概念、把似真性还原为概率与计算，还是把概率与计算还原为似真性、命题态度与信念态度的区别等问题展开了热烈讨论。

最后，上海市逻辑学会副会长、华东师范大学张留华教授做了会议总结，他肯定了上述精彩报告和中肯的点评，感谢会议主办方的辛勤付出。本次学术研讨会取得圆满成功。（供稿：曹青春）