國際研討會會議總結(jié)范文
X年11月2日至4日，由XX大學邏輯與認知研究所與澳大利亞墨爾本大學哲學系聯(lián)合主辦的2009年邏輯與認知國際會議與XX大學南校區(qū)隆重召開。XX大學邏輯認知研究所所長鞠實兒及墨爾本大學哲學系教授Greg Restall擔任本次會議的主席。邏輯與認知國際會議自2002年開始每年舉辦一次，本次會議強調(diào)加強亞太地區(qū)邏輯學研究人員之間的合作與交流，邀請了來自澳大利亞、日本、新西蘭、印度、中國臺灣及中國香港等地的學者參加。
本次會議的主題包括：邏輯與認知科學、邏輯與計算機科學。哲學邏輯、邏輯與文化。會議共收到國內(nèi)外論文13篇，其中國內(nèi)包括臺灣、香港5篇，國外學者論文8篇。
日本著名邏輯學家Hiroakira Ono教授作了題為“Completions, distributivity and algebraic completeness”的報告。探究完全格擴充的性質(zhì)，特別是何種形式的分配律在這種完全性下是被保持的，并以此來證明非經(jīng)典謂詞邏輯的代數(shù)完全性。該論文在計算機科學及數(shù)理邏輯的研究具有重要意義。
墨爾本大學教授Greg Restall的論文題目為“Derivation and Definition”。從證明論的角度重新來考察證明的`概念。在次基礎(chǔ)上考察一階邏輯、二階邏輯的界限，指示及虛擬推理及探究證明的更合適的邏輯定義。作為邏輯基礎(chǔ)問題的探究，該文章做了很多的工作。
印度加爾各答大學數(shù)學系M. K. Chakraborty教授的報告題為“Discerning levels: a study in the metalogical notions in somelogics of vagueness”，在元邏輯的層次上討論模糊性及多值的概念。并且重新對邏輯的基本概念如后承、完全性、一致進行分級定義。該文章的意義在于在元語言的層次上考察模糊性而不是對象語言。并在次基礎(chǔ)上來定義不同的邏輯。
來自西澳大利亞大學Mark Reynolds教授的報告題為“Dense Time Temporal Logic”，在稠密的實數(shù)時間模型上考察時態(tài)邏輯。威靈頓維多利亞大學Edwin Mares教授做了題為“Information and Relevance”的報告，他將邏輯后承關(guān)系定義在信息保持而非保真的概念上，從而考察相干邏輯等的性質(zhì)。奧克蘭大學Jerry Seligman教授的報告為“The Logic of Relative Certainty”，他借鑒概率論的思想提出在定義有效性時的相對確定，并給出了一個關(guān)于相對確定的邏輯。
在本次會議上，XX大學邏輯與認知研究所的老師和學生也積極參與討論。邏輯所副教授劉虎做了題為“Simulative Belief Logics”，考察了用邏輯刻畫主體如何模擬他人的信念。邏輯所講師文學鋒的報告“偏邏輯的語義博弈”給出了偏邏輯的一個博弈語義，并考察了它的性質(zhì)。另外香港城市大學王瑩瑩博士后原邏輯所博士做了題為動態(tài)語境中的條件句。邏輯所碩士生做了“開放世界和信息更新”的報告。
三天的會議取得了圓滿成功。國內(nèi)外學者就諸多邏輯學的前沿問題進行了深入的交流和探討。特別是對我所的年輕學者及學生來說，拓寬了研究思路，有利于把握最新的學術(shù)前沿問題，為將來的研究工作注入新的活力。
【國際研討會會議總結(jié)范文】相關(guān)文章：
交流研討會會議紀要范文12-08
研討會的會議紀要范文12-16
國際學術(shù)研討會賀信范文5篇11-15
研討會會議紀要范文3篇01-14
國際學術(shù)研討會賀信模板11-15
研討會的會議紀要08-18
水電廠技術(shù)改造學習交流研討會會議總結(jié)08-24
標準制研討會會議紀要09-09