時間：2023年9月16日上午

地點：上海市寶山區錦秋路716号 上海大學樂乎樓2号樓2樓大學廳

主辦：上海市邏輯學會 BETVLCTOR伟德官方网站 上海大學哲學系

議程：

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

主持：黃偉力 上海市邏輯學會副會長

緻辭：

1. 葉海濤 BETVLCTOR伟德官方网站副院長（主持工作）

2. 劉小濤 上海大學哲學系主任

3. 甯莉娜 上海市邏輯學會會長

休息20分鐘：拍照、茶歇

二、主題報告（9:10-11:10）

（每人報告時間15分鐘；每人與談時間5分鐘）

（一）主持：陳偉 上海市邏輯學會副會長

1. 晉榮東：我所理解的中國邏輯——推類論述新解 與談人：李秀敏

2. 李主斌：何為使真者 與談人：劉小濤

3. 魏宇：一種“充分知道”的邏輯研究 與談人：張文琴

（二）主持：缪四平 上海市邏輯學會副會長

1. 曹青春：基于非演繹邏輯的人工智能問題思考 與談人：賈國恒

2. 梅祥：論似真性與似真性證據理論 與談人：杜文靜

3. 宋鵬飛：信念庫語義對認知邏輯的重構 與談人：郝旭東

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

主持：晉榮東 上海市邏輯學會副會長兼秘書長

四、會議總結（11:50-12:00）

張留華 上海市邏輯學會副會長