四川外國(guó)語(yǔ)大學(xué)在職研究生科研沙龍?jiān)诓┪臉橇鶚菚?huì)議室如期舉行。本次活動(dòng)由劉玉梅教授主持，特邀中國(guó)邏輯學(xué)會(huì)會(huì)長(zhǎng)、中國(guó)社會(huì)科學(xué)院哲學(xué)所研究員、博士生導(dǎo)師鄒崇理教授參加題為“邏輯、語(yǔ)言和計(jì)算的交叉與創(chuàng)新”的學(xué)術(shù)講座。此次講座特邀嘉賓有王寅教授、趙永峰教授、陳麗萍教授、王天翼博士，四川外國(guó)語(yǔ)大學(xué)多名博士生以及上百名在職研究生也積極參加了此次講座。

　　講座伊始，劉玉梅教授對(duì)鄒崇理教授的遠(yuǎn)道而來(lái)表示熱烈歡迎，并對(duì)鄒教授取得的豐碩的科研成果作了簡(jiǎn)要介紹，也對(duì)在座嘉賓以及碩博研究生的到來(lái)表示了熱烈的歡迎，由此拉開(kāi)了本次科研沙龍的序幕。

　　整場(chǎng)講座內(nèi)容主要由以下四部分構(gòu)成，即邏輯學(xué)的基本性質(zhì)、邏輯和語(yǔ)言的交叉創(chuàng)新、邏輯和計(jì)算的交叉創(chuàng)新以及當(dāng)今邏輯發(fā)展的創(chuàng)新模式。首先，鄒教授就邏輯學(xué)的學(xué)科地位和重要性作了簡(jiǎn)要介紹。鄒教授指出，作為各種學(xué)科的基礎(chǔ)，邏輯學(xué)總與各種學(xué)科發(fā)生聯(lián)系和交叉，產(chǎn)生新的交叉學(xué)科并促進(jìn)已有學(xué)科的縱深發(fā)展。比如，哲學(xué)邏輯就是邏輯學(xué)與哲學(xué)融合的結(jié)果，而邏輯與語(yǔ)言融合產(chǎn)生的邏輯語(yǔ)法則從邏輯的角度，為語(yǔ)言制定規(guī)則。

　　緊接著，鄒教授就邏輯學(xué)的擴(kuò)展情況進(jìn)行了詳細(xì)的講解，他指出邏輯和語(yǔ)言的交叉融合創(chuàng)新主要有以下幾類(lèi)：語(yǔ)義疑難問(wèn)題與內(nèi)涵邏輯的結(jié)合催生了蒙太古語(yǔ)法;自然語(yǔ)言量化表達(dá)式與集體論思想的融合產(chǎn)生了廣義量詞理論(GQT);語(yǔ)言學(xué)詞匯主義和邏輯學(xué)規(guī)則方法的交叉形成了組合范疇語(yǔ)法(CCG)。其中，鄒教授指出廣義量詞理論(GQT)采用集合論的思想方法研究自然語(yǔ)言量化表達(dá)式，不僅擴(kuò)大了量詞研究的范圍，促進(jìn)了量詞性質(zhì)的深入研究，還解決了量詞的表達(dá)力和計(jì)算復(fù)雜性問(wèn)題，極具創(chuàng)新性。而組合范疇語(yǔ)法(CCG)則兼顧語(yǔ)言學(xué)詞匯主義和邏輯學(xué)規(guī)則方法的優(yōu)勢(shì)，從真實(shí)文本中抽取大量詞條，結(jié)合普遍邏輯規(guī)則，對(duì)大規(guī)模真實(shí)文本語(yǔ)料進(jìn)行研究。CCG的創(chuàng)新成果集中體現(xiàn)為英文和中文CCG語(yǔ)料庫(kù)的建立，這極大地提高了句法分析的效率。未來(lái)還將開(kāi)發(fā)基于漢語(yǔ)CCG語(yǔ)料庫(kù)的句法分析器和句法和語(yǔ)義并行推演的分析器。

　　隨后，鄒教授就計(jì)算機(jī)與邏輯學(xué)的融合情況進(jìn)行了系統(tǒng)介紹。鄒教授指出，當(dāng)代計(jì)算機(jī)科學(xué)的發(fā)展離不開(kāi)邏輯學(xué)的影響，二者相互融合，共同發(fā)展。我國(guó)唐稚松院士將可執(zhí)行命令式編程語(yǔ)言和關(guān)注程序予以的規(guī)范語(yǔ)言相互融合創(chuàng)造了世界上第一個(gè)可執(zhí)行的時(shí)序邏輯語(yǔ)言(XYA/E)，并因此榮獲中國(guó)自然科學(xué)一等獎(jiǎng)，這是我國(guó)直觀經(jīng)驗(yàn)主義和抽象理性主義嫁接融合的成功案例。鄒教授講到，當(dāng)今邏輯發(fā)展的新模式是將中國(guó)古代邏輯學(xué)和哲學(xué)思想中的務(wù)實(shí)經(jīng)驗(yàn)主義同近現(xiàn)代西方形式邏輯的純粹理性主義相結(jié)合，強(qiáng)調(diào)理論聯(lián)系實(shí)際的個(gè)例個(gè)案研究。鄒教授以我國(guó)經(jīng)濟(jì)的快速發(fā)展為例，深入淺出地向大家講解了具體問(wèn)題具體分析，追求效率與效果的重要性。就語(yǔ)言學(xué)發(fā)展來(lái)看，用純理性主義處理作為人工語(yǔ)言的計(jì)算機(jī)編輯語(yǔ)言句法構(gòu)造及其語(yǔ)義解釋成效顯著，未來(lái)通過(guò)交叉融合進(jìn)行創(chuàng)新的發(fā)展路徑必將使人類(lèi)社會(huì)和科技發(fā)展走向繁榮。

　　最后，幾位特邀嘉賓也紛紛發(fā)表了對(duì)此次講座的感想。陳麗萍教授就語(yǔ)言與邏輯的交叉創(chuàng)新表達(dá)了自己的見(jiàn)解。她指出語(yǔ)言學(xué)各分支間的相互融合必將促進(jìn)推動(dòng)語(yǔ)言學(xué)的創(chuàng)新發(fā)展。王寅教授也指出，當(dāng)前形勢(shì)下，只有跨學(xué)科的研究才能使語(yǔ)言學(xué)研究不斷發(fā)展壯大，推陳出新。劉玉梅教授對(duì)本場(chǎng)學(xué)術(shù)活動(dòng)進(jìn)行了回顧和總結(jié)，希望同學(xué)們能記住“交叉融合創(chuàng)新”這幾個(gè)關(guān)鍵詞，并積極實(shí)踐到自己的學(xué)習(xí)中。.本場(chǎng)沙龍活動(dòng)在愉快而濃郁的學(xué)術(shù)氛圍中圓滿落幕。