11月16日，我校成功舉辦2025年中介邏輯發(fā)表四十周年紀(jì)念會(huì)暨中國(guó)邏輯學(xué)會(huì)非經(jīng)典邏輯與計(jì)算專委會(huì)常委會(huì)。本次會(huì)議由中國(guó)邏輯學(xué)會(huì)和我校主辦。中國(guó)邏輯學(xué)會(huì)會(huì)長(zhǎng)杜國(guó)平，副會(huì)長(zhǎng)徐揚(yáng)，非經(jīng)典邏輯與計(jì)算專委會(huì)主任楊義川，人工智能邏輯專委會(huì)主任陳儀香，南開(kāi)大學(xué)數(shù)學(xué)學(xué)院院長(zhǎng)丁龍?jiān)?，我校副校長(zhǎng)徐正揚(yáng)出席本次會(huì)議。非經(jīng)典邏輯與計(jì)算專委會(huì)副主任周紅軍主持開(kāi)幕式，我校計(jì)算機(jī)學(xué)院院長(zhǎng)黃圣君主持閉幕式。

1985年，我校計(jì)算機(jī)學(xué)院朱梧槚教授與合作者肖奚安教授發(fā)表《中介邏輯演算系統(tǒng)》，標(biāo)志著中國(guó)學(xué)者原創(chuàng)的非經(jīng)典邏輯體系正式誕生，為中介邏輯領(lǐng)域的發(fā)展奠定了堅(jiān)實(shí)基礎(chǔ)，被國(guó)際邏輯學(xué)界評(píng)價(jià)為“從哲學(xué)思想到數(shù)學(xué)形式化的開(kāi)創(chuàng)性突破”。在中介邏輯發(fā)表四十周年之際，中國(guó)邏輯學(xué)會(huì)和我校共同主辦此次紀(jì)念活動(dòng)。

徐正揚(yáng)致開(kāi)幕詞，他向蒞臨本次學(xué)術(shù)盛會(huì)的各位領(lǐng)導(dǎo)、專家學(xué)者致以熱烈歡迎。他表示，朱梧槚教授是南航計(jì)算機(jī)科學(xué)研究所創(chuàng)始人，他開(kāi)創(chuàng)的中介邏輯體系四十年來(lái)不斷發(fā)展完善、影響深遠(yuǎn)。南航始終高度重視基礎(chǔ)學(xué)科建設(shè)與交叉學(xué)科發(fā)展，邏輯學(xué)作為思維科學(xué)的核心，為學(xué)校航空航天、計(jì)算機(jī)、人工智能等優(yōu)勢(shì)學(xué)科的創(chuàng)新發(fā)展提供了重要的邏輯支撐。希望以此次會(huì)議為契機(jī)，深入探討中介邏輯及非經(jīng)典邏輯與計(jì)算領(lǐng)域的前沿問(wèn)題，分享最新研究成果，凝聚學(xué)科發(fā)展共識(shí)，推動(dòng)該領(lǐng)域理論創(chuàng)新與實(shí)踐應(yīng)用邁向新高度。

徐揚(yáng)代表學(xué)會(huì)致辭，他對(duì)我校為此次會(huì)議的精心籌備與全力保障表示衷心感謝，期待以此次會(huì)議為紐帶，匯聚學(xué)界力量共促邏輯學(xué)科發(fā)展，也堅(jiān)信學(xué)會(huì)將在推動(dòng)領(lǐng)域創(chuàng)新與合作中持續(xù)發(fā)揮引領(lǐng)作用，邁向更高發(fā)展臺(tái)階。

中國(guó)社會(huì)科學(xué)院大學(xué)杜國(guó)平教授、南開(kāi)大學(xué)丁龍?jiān)平淌?、西南交通大學(xué)徐揚(yáng)教授、江南大學(xué)潘正華教授、華東師范大學(xué)陳儀香教授以及我校朱朝暉教授先后作大會(huì)報(bào)告，分享他們?cè)诙嘀颠壿?、等價(jià)關(guān)系、自動(dòng)定理生成、知識(shí)否定、人工智能邏輯及邏輯轉(zhuǎn)化系統(tǒng)等相關(guān)領(lǐng)域的最新研究進(jìn)展。

為緬懷朱梧槚先生的學(xué)術(shù)貢獻(xiàn)、傳承其治學(xué)精神，會(huì)場(chǎng)特別設(shè)置了紀(jì)念視頻播放環(huán)節(jié)。大會(huì)圓桌論壇環(huán)節(jié)，10位受邀學(xué)者圍繞朱梧槚先生的學(xué)術(shù)成就、突出貢獻(xiàn)以及科學(xué)家精神進(jìn)行了深入研討。