國(guó)際研討會(huì)會(huì)議總結(jié)范文
X年11月2日至4日，由XX大學(xué)邏輯與認(rèn)知研究所與澳大利亞墨爾本大學(xué)哲學(xué)系聯(lián)合主辦的2009年邏輯與認(rèn)知國(guó)際會(huì)議與XX大學(xué)南校區(qū)隆重召開。XX大學(xué)邏輯認(rèn)知研究所所長(zhǎng)鞠實(shí)兒及墨爾本大學(xué)哲學(xué)系教授Greg Restall擔(dān)任本次會(huì)議的主席。邏輯與認(rèn)知國(guó)際會(huì)議自2002年開始每年舉辦一次，本次會(huì)議強(qiáng)調(diào)加強(qiáng)亞太地區(qū)邏輯學(xué)研究人員之間的合作與交流，邀請(qǐng)了來(lái)自澳大利亞、日本、新西蘭、印度、中國(guó)臺(tái)灣及中國(guó)香港等地的學(xué)者參加。
本次會(huì)議的主題包括：邏輯與認(rèn)知科學(xué)、邏輯與計(jì)算機(jī)科學(xué)。哲學(xué)邏輯、邏輯與文化。會(huì)議共收到國(guó)內(nèi)外論文13篇，其中國(guó)內(nèi)包括臺(tái)灣、香港5篇，國(guó)外學(xué)者論文8篇。
日本著名邏輯學(xué)家Hiroakira Ono教授作了題為“Completions, distributivity and algebraic completeness”的報(bào)告。探究完全格擴(kuò)充的性質(zhì)，特別是何種形式的分配律在這種完全性下是被保持的，并以此來(lái)證明非經(jīng)典謂詞邏輯的代數(shù)完全性。該論文在計(jì)算機(jī)科學(xué)及數(shù)理邏輯的研究具有重要意義。
墨爾本大學(xué)教授Greg Restall的論文題目為“Derivation and Definition”。從證明論的角度重新來(lái)考察證明的`概念。在次基礎(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í)定義。該文章的意義在于在元語(yǔ)言的層次上考察模糊性而不是對(duì)象語(yǔ)言。并在次基礎(chǔ)上來(lái)定義不同的邏輯。
來(lái)自西澳大利亞大學(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)告“偏邏輯的語(yǔ)義博弈”給出了偏邏輯的一個(gè)博弈語(yǔ)義，并考察了它的性質(zhì)。另外香港城市大學(xué)王瑩瑩博士后原邏輯所博士做了題為動(dòng)態(tài)語(yǔ)境中的條件句。邏輯所碩士生做了“開放世界和信息更新”的報(bào)告。
三天的會(huì)議取得了圓滿成功。國(guó)內(nèi)外學(xué)者就諸多邏輯學(xué)的前沿問題進(jìn)行了深入的交流和探討。特別是對(duì)我所的年輕學(xué)者及學(xué)生來(lái)說(shuō)，拓寬了研究思路，有利于把握最新的學(xué)術(shù)前沿問題，為將來(lái)的研究工作注入新的活力。
【國(guó)際研討會(huì)會(huì)議總結(jié)范文】相關(guān)文章：
語(yǔ)文研討會(huì)總結(jié)會(huì)議發(fā)言稿范文08-26
交流研討會(huì)會(huì)議紀(jì)要范文12-08
國(guó)際學(xué)術(shù)研討會(huì)賀信范文5篇11-15
研討會(huì)會(huì)議紀(jì)要范文3篇01-14
國(guó)際學(xué)術(shù)研討會(huì)賀信模板11-15
語(yǔ)文研討會(huì)總結(jié)會(huì)議上發(fā)言稿08-08