本網訊（通訊員 謝凱博）5月12日，當代著名邏輯學家、阿姆斯特丹大學邏輯學榮休教授，斯坦福大學哲學講席教授，清華大學哲學系金嶽霖講席教授範本特姆（Johan van Benthem）應我院謝凱博老師的邀請在“邏輯與哲學系列講座”上進行了線下報告。

Van Benthem教授在報告中首先給出了變量間相互依賴關系的抽象定義以及用以刻畫變量間依賴關系的模型。以此為基礎，報告介紹了變量間相互依賴關系在數學與邏輯方面所具有的一般性質。接着，van Benthem教授提出了刻畫變量間依賴關系的邏輯語言及其形式語義，并讨論了該語言的表達力。報告也對變量依賴關系的邏輯系統的公理化、可判定性問題進行了讨論。

在報告的最後部分，主講人結合認知、博弈以及線性代數中的具體實例，生動地展示了如何理解該邏輯系統中函數式依賴的概念及其性質。Van Benthem教授的報告深入淺出，将抽象的邏輯概念與相關學科中的具體概念進行類比，令現場不同學科背景的師生都能從中領會到當代邏輯學前沿的研究思路。報告結束後，我院的陳波教授、程勇教授以及葉茹教授都向主講人進行了現場提問，van Benthem教授也在問答環節中進一步闡釋了其關于函數式依賴邏輯的思想。

（編輯：鄧莉萍   審稿：劉慧）