清華新聞網(wǎng)7月18日電 7月8日至14日，清華大學(xué)-阿姆斯特丹大學(xué)邏輯學(xué)聯(lián)合研究中心（簡稱“邏輯學(xué)研究中心”）在清華大學(xué)舉辦了為期一周的第四屆清華邏輯暑期學(xué)校（The Fourth Tsinghua Logic Summer School）。暑期學(xué)校向國內(nèi)外大學(xué)本科生和研究生開放，課程實(shí)行全英文授課，國內(nèi)外近百名學(xué)生參與學(xué)習(xí)。本屆暑期學(xué)校共開設(shè)“模態(tài)μ-演算”和“屜語義學(xué)（team semantics）：語言學(xué)和哲學(xué)中的應(yīng)用”兩門課程。
課程現(xiàn)場
“模態(tài)μ-演算”課程由阿姆斯特丹大學(xué)邏輯、語言和計(jì)算研究院教授維涅瑪（Yde Venema）講授。在課程中，維涅瑪教授詳細(xì)介紹了模態(tài)μ-演算的語法、語義以及相關(guān)的基本結(jié)論。
課程現(xiàn)場
“屜語義學(xué)：語言學(xué)和哲學(xué)中的應(yīng)用”課程由阿姆斯特丹大學(xué)邏輯、語言和計(jì)算研究院的阿洛尼（Maria Aloni）博士講授。在為期一周的課程中，阿洛尼博士首先介紹了屜語義學(xué)的基本概念和方法，然后深入講解了三種基于屜語義學(xué)發(fā)展的邏輯系統(tǒng)，以及它們在分析語言學(xué)和哲學(xué)問題上的應(yīng)用。
研討會(huì)現(xiàn)場
在暑期學(xué)校的間隙，邏輯學(xué)研究中心的博士后研究員閆佳亮博士組織了一場主題為“邏輯與會(huì)話相遇”的研討會(huì)。此次研討會(huì)吸引了來自清華大學(xué)、北京大學(xué)、北京師范大學(xué)、浙江大學(xué)、武漢大學(xué)、哈佛大學(xué)和阿姆斯特丹大學(xué)的十余位學(xué)者齊聚一堂，探討邏輯學(xué)在語言現(xiàn)象分析和應(yīng)用中的前沿問題。會(huì)議期間，各位學(xué)者圍繞自由選擇推理、模態(tài)詞和聯(lián)結(jié)詞、語用推理和因果推理、隱喻現(xiàn)象及道義邏輯等議題進(jìn)行交流。阿洛尼博士作為特邀評(píng)論人參加研討會(huì)。會(huì)議中，來自哲學(xué)系和語言學(xué)系的研究者們積極展開交流，分享各自的研究成果和觀點(diǎn)。
供稿：人文學(xué)院
編輯：陳曉艷
審核：黃思南
