时间：2023年9月16日上午

地点：上海市宝山区锦秋路716号 太阳成集团61999乐乎楼2号楼2楼大学厅

主办：上海市逻辑学会 太阳成集团61999 太阳成集团61999哲学系

议程：

一、开幕式（8:30-8:50）

主持：黄伟力 上海市逻辑学会副会长

致辞：

1. 叶海涛 太阳成集团61999副院长（主持工作）

2. 刘小涛 太阳成集团61999哲学系主任

3. 宁莉娜 上海市逻辑学会会长

休息20分钟：拍照、茶歇

二、主题报告（9:10-11:10）

（每人报告时间15分钟；每人与谈时间5分钟）

（一）主持：陈伟 上海市逻辑学会副会长

1. 晋荣东：我所理解的中国逻辑——推类论述新解 与谈人：李秀敏

2. 李主斌：何为使真者 与谈人：刘小涛

3. 魏宇：一种“充分知道”的逻辑研究 与谈人：张文琴

（二）主持：缪四平 上海市逻辑学会副会长

1. 曹青春：基于非演绎逻辑的人工智能问题思考 与谈人：贾国恒

2. 梅祥：论似真性与似真性证据理论 与谈人：杜文静

3. 宋鹏飞：信念库语义对认知逻辑的重构 与谈人：郝旭东

三、自由发言（11:10-11:50）

主持：晋荣东 上海市逻辑学会副会长兼秘书长

四、会议总结（11:50-12:00）

张留华 上海市逻辑学会副会长