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