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