“第三屆東亞邏輯、語(yǔ)言和計(jì)算暑期學(xué)?！痹谇迦A大學(xué)舉辦
清華新聞網(wǎng)7月10日電 7月3日-8日，由清華大學(xué)--阿姆斯特丹大學(xué)邏輯學(xué)聯(lián)合研究中心主辦的“第三屆東亞邏輯學(xué)、語(yǔ)言和計(jì)算暑期學(xué)?！保‥ASLLC 2014）在清華舉行。清華大學(xué)交叉信息研究院教授姚期智、牛津大學(xué)教授阿布拉姆斯基（S.Abramsky）擔(dān)任本次暑期學(xué)校的程序委員會(huì)主席（PC Chairs），人文學(xué)院哲學(xué)系教授劉奮榮擔(dān)任組委會(huì)主席。
美國(guó)印第安納大學(xué)教授莫斯（L.Moss），加州大學(xué)圣塔克魯茲分校、IBM研究中心教授考拉提思（P.G. Kolaitis），芬蘭赫爾辛基大學(xué)教授崴納能（J.Väänänen），荷蘭阿姆斯特丹大學(xué)教授司麥慈（S. Smets）和巴塔赫（A. Baltag），牛津大學(xué)教授阿布拉姆斯基，美國(guó)加州大學(xué)伯克利分校教授郝麗岱（W.Holliday）擔(dān)任本次暑期學(xué)校的教師。
暑期學(xué)校共開(kāi)設(shè)6門(mén)課程，分兩個(gè)系列平行進(jìn)行：一個(gè)是“邏輯、數(shù)學(xué)和計(jì)算”，另一個(gè)是“邏輯、語(yǔ)言和哲學(xué)”，前者強(qiáng)調(diào)邏輯學(xué)與數(shù)學(xué)和計(jì)算機(jī)學(xué)科的交叉，而后者則重視邏輯學(xué)與哲學(xué)和語(yǔ)言學(xué)的交叉。每門(mén)課程分5次授課，共10個(gè)小時(shí)教學(xué)和互動(dòng)。本次暑期學(xué)校吸引了來(lái)自美國(guó)、加拿大、英國(guó)、印度、丹麥、荷蘭、芬蘭、伊朗、哥倫比亞等國(guó)家的外國(guó)學(xué)生，還有南開(kāi)大學(xué)、浙江大學(xué)、南京大學(xué)、中山大學(xué)、西南大學(xué)等國(guó)內(nèi)高校、以及北京地區(qū)的高校和研究機(jī)構(gòu)的學(xué)生和青年學(xué)者80余人參加。授課老師通過(guò)5次課程循序漸進(jìn)、從回顧一個(gè)研究領(lǐng)域的背景知識(shí)開(kāi)始逐漸把學(xué)生帶到該領(lǐng)域的前沿研究。學(xué)生們一致表示，這些課程不僅豐富了他們的知識(shí)，而且開(kāi)闊了視野，將對(duì)今后的研究和學(xué)習(xí)產(chǎn)生深遠(yuǎn)的影響。同時(shí)，暑期學(xué)校設(shè)學(xué)生論壇（student session），論文被接受的作者通過(guò)口頭或海報(bào)（poster）的形式對(duì)各自的研究進(jìn)行匯報(bào)，在場(chǎng)專(zhuān)家紛紛提問(wèn)，給予非常有益的反饋，這大大激勵(lì)了學(xué)生們的科研興趣和熱情。
暑期學(xué)校還邀請(qǐng)了邏輯學(xué)界“大師級(jí)”的兩位學(xué)者做晚間報(bào)告（evening lecture）。美國(guó)科學(xué)院院士、工程院院士、加州大學(xué)伯克利分校教授帕帕季米特里烏（ Papadimitriou）作了題為《計(jì)算機(jī)和互聯(lián)網(wǎng)的智識(shí)根基是什么？》（What Are the Intellectual Roots of Computers and the Internet?）的報(bào)告，強(qiáng)調(diào)計(jì)算機(jī)科學(xué)和互聯(lián)網(wǎng)發(fā)展歷程中邏輯學(xué)所扮演的重大作用。 荷蘭皇家科學(xué)院院士、歐洲科學(xué)院院士、阿姆斯特丹大學(xué)和斯坦福大學(xué)教授范丙申（van Benthem）作《決策：博弈中的邏輯》（Make Up One’s Mind: Logic in Games）的報(bào)告, 詳細(xì)分析博弈中玩家如何決策，給出了不同的邏輯模型。這些報(bào)告不僅吸引了暑期學(xué)校的學(xué)員，也吸引了來(lái)自清華不同院系的學(xué)生，大家借機(jī)與這些學(xué)術(shù)大師面對(duì)面交流。
此外，暑期學(xué)校還組織了兩次“初級(jí)漢語(yǔ)課程”和參觀(guān)首都博物館的文化活動(dòng)。參加的外國(guó)學(xué)生和學(xué)者表示，這些文化活動(dòng)使他們進(jìn)一步了解了北京的歷史、中國(guó)的文化，領(lǐng)略了漢語(yǔ)的魅力，對(duì)漢語(yǔ)學(xué)習(xí)產(chǎn)生了濃厚的興趣，希望今后還能常來(lái)清華大學(xué)交流和學(xué)習(xí)。
本次暑期學(xué)校在清華舉辦，有機(jī)會(huì)讓國(guó)外的學(xué)者和學(xué)生了解清華邏輯學(xué)發(fā)展的歷史和現(xiàn)狀，促進(jìn)了國(guó)內(nèi)外學(xué)生和學(xué)者之間的學(xué)術(shù)和文化交流。暑期學(xué)校得到交叉信息研究院、人文學(xué)院、人文學(xué)院哲學(xué)系、北京師范大學(xué)哲學(xué)與社會(huì)學(xué)學(xué)院等單位的大力支持，進(jìn)一步促進(jìn)了哲學(xué)、計(jì)算機(jī)學(xué)科之間的互動(dòng)，也促進(jìn)了邏輯學(xué)作為交叉學(xué)科的發(fā)展。
供稿：人文學(xué)院 編輯：襄樺
