2023年9月16日，“邏輯與社會發展”學術研讨會在上海大學樂乎新樓大學廳召開。本次研讨會由上海市邏輯學會、BETVLCTOR伟德官方网站、上海大學哲學系共同舉辦，來自上海市各個高校、科研機構的30餘位學會會員、專家學者以及上海市社聯學會管理處盧紅青調研員等特邀嘉賓參加了學術交流。本次活動也是上海市社聯所屬學會2023年學術活動合作項目。

研讨會開幕式由上海市邏輯學會副會長、上海交通大學黃偉力教授主持。BETVLCTOR伟德官方网站主持工作副院長葉海濤教授緻辭，他指出，我們所處的時代比任何時候都更加需要邏輯的參與和引導作用，BETVLCTOR伟德官方网站高度重視邏輯學的教育與研究，大力支持邏輯學的人才培養和學術研究工作。上海大學哲學系主任劉小濤教授緻辭，他介紹了哲學系為全校人文大類學生開設了邏輯學公共基礎課、研讨課和通識課，以及為專業學生開設的邏輯學必修課和選修課情況。上海市邏輯學會會長、上海大學甯莉娜教授緻辭，她指出，此次研讨會的目的在于，使邏輯學研究與社會發展之間的關聯性能夠進一步受到重視，其主要動意有三個方面：一是增強邏輯研究與現實關切的主體意識。通過探究邏輯的基礎理論、關注邏輯的學術前沿，充分發揮邏輯對社會發展的重要作用，進一步推進邏輯學研究走向當代社會發展深處。二是凸顯邏輯學及其相關研究的重要學理價值和應用價值。上海市邏輯學會作為學術團體，就是要為大家搭建好學術交流的平台，呈現高水平的、創新性的研究成果，并觀照社會現實問題。三是擴大邏輯學的普及和影響範圍。作為邏輯學的教育者和研究者，有責任、有義務開展邏輯學的普及推廣工作，讓更多人了解并運用邏輯方法去參與社會生活。

第一場學術報告由上海市邏輯學會副會長、複旦大學陳偉副教授主持。華東師範大學晉榮東教授在題為“我所理解的中國邏輯——推類論述新解”的報告中提出，如果把邏輯理解為對推理的規範性研究，旨在提出區分推理好壞的原則或方法，那麼實際存在于中國古代、具有相對系統形态的本土邏輯是以三物論說為核心的推類論述。上海交通大學李主斌副教授的報告“何為使真者”，主張通過引入“本體論根源”和“典範描述”概念來給予使真者一個新的定義。這個定義如果成功，那麼它将對一系列使真者的論題産生重要理論後果。華東師範大學青年博士魏宇在題為“一種‘充分知道’的邏輯研究”的報告中提出，一個關于科學語境中充分知道為何的認知邏輯框架，并給出了一個可靠完全且可判定的公理化系統。上海對外經貿大學副教授李秀敏、上海大學教授劉小濤、上海電機學院教師張文琴分别對上述三個報告進行了評論。

第二場學術報告由上海市邏輯學會副會長、華東政法大學缪四平副教授主持。上海大學曹青春副教授在題為“基于非演繹邏輯的人工智能問題思考”的報告中提出，人工智能邏輯的發展離不開邏輯，要在演繹主義與非演繹主義之間探尋合理的張力，保持動态平衡。華東政法大學梅祥副教授的報告“論似真性與似真性證據理論”主張，把獲得似真性證據和進行似真推理的過程，看作是人的一種動态認知過程，并通過三角測量模型體現出來。上海師範大學青年博士宋鵬飛在題為“信念庫語義對認知邏輯的重構”的報告中建立了從命題覺知邏輯到該邏輯的多項式嵌入，以及從該邏輯到一般覺知邏輯的多項式嵌入，通過後一個嵌入，證明了檢測該邏輯公式可滿足性的問題是PSPACE完全的。華東師範大學賈國恒副教授、華東政法大學杜文靜副教授、華東師範大學郝旭東副教授對上述三個報告進行了評論。

自由發言階段，由上海市邏輯學會副會長、華東師範大學晉榮東教授主持。與會學者圍繞：中國古代邏輯的規範與形式之間的區别、中國古代邏輯的擔保機制；推類中的“故”、“理”、“類”、“辭”既是結構也是形式；使真者概念、把似真性還原為概率與計算，還是把概率與計算還原為似真性、命題态度與信念态度的區别等問題展開了熱烈讨論。

最後，上海市邏輯學會副會長、華東師範大學張留華教授做了會議總結，他肯定了上述精彩報告和中肯的點評，感謝會議主辦方的辛勤付出。本次學術研讨會取得圓滿成功。（供稿：曹青春）