國際研討會會議總結範文

X年11月2日至4日，由XX大學邏輯與認知研究所與澳大利亞墨爾本大學哲學系聯合主辦的20xx年邏輯與認知國際會議與XX大學南校區隆重召開。XX大學邏輯認知研究所所長鞠實兒及墨爾本大學哲學系教授Greg Restall擔任本次會議的主席。邏輯與認知國際會議自20xx年開始每年舉辦一次，本次會議強調加強亞太地區邏輯學研究人員之間的合作與交流，邀請了來自澳大利亞、日本、新西蘭、印度、中國台灣及中國香港等地的學者參加。

本次會議的主題包括：邏輯與認知科學、邏輯與計算機科學。哲學邏輯、邏輯與文化。會議共收到國內外論文13篇，其中國內包括台灣、香港5篇，國外學者論文8篇。

日本著名邏輯學家Hiroakira Ono教授作了題為“Completions, distributivity and algebraic completeness”的報告。探究完全格擴充的性質，特別是何種形式的分配律在這種完全性下是被保持的，並以此來證明非經典謂詞邏輯的代數完全性。該論文在計算機科學及數理邏輯的研究具有重要意義。

墨爾本大學教授Greg Restall的論文題目為“Derivation and Definition”。從證明論的角度重新來考察證明的概念。在次基礎上考察一階邏輯、二階邏輯的界限，指示及虛擬推理及探究證明的更合適的邏輯定義。作為邏輯基礎問題的探究，該文章做了很多的工作。

印度加爾各答大學數學系M. K. Chakraborty教授的報告題為“Discerning levels: a study in the metalogical notions in somelogics of vagueness”，在元邏輯的層次上討論模糊性及多值的概念。並且重新對邏輯的基本概念如後承、完全性、一致進行分級定義。該文章的意義在於在元語言的層次上考察模糊性而不是對象語言。並在次基礎上來定義不同的邏輯。

來自西澳大利亞大學Mark Reynolds教授的報告題為“Dense Time Temporal Logic”，在稠密的實數時間模型上考察時態邏輯。威靈頓維多利亞大學Edwin Mares教授做了題為“Information and Relevance”的報告，他將邏輯後承關係定義在信息保持而非保真的概念上，從而考察相干邏輯等的性質。奧克蘭大學Jerry Seligman教授的報告為“The Logic of Relative Certainty”，他借鑑概率論的思想提出在定義有效性時的相對確定，並給出了一個關於相對確定的邏輯。

在本次會議上，XX大學邏輯與認知研究所的老師和學生也積極參與討論。邏輯所副教授劉虎做了題為“Simulative Belief Logics”，考察了用邏輯刻畫主體如何模擬他人的信念。邏輯所講師文學鋒的報告“偏邏輯的語義博弈”給出了偏邏輯的一個博弈語義，並考察了它的性質。另外香港城市大學王瑩瑩博士後原邏輯所博士做了題為動態語境中的條件句。邏輯所碩士生做了“開放世界和信息更新”的報告。

三天的會議取得了圓滿成功。國內外學者就諸多邏輯學的前沿問題進行了深入的交流和探討。特別是對我所的年輕學者及學生來説，拓寬了研究思路，有利於把握最新的學術前沿問題，為將來的研究工作注入新的活力。