四川外國語大學在職研究生科研沙龍在博文樓六樓會議室如期舉行。本次活動由劉玉梅教授主持，特邀中國邏輯學會會長、中國社會科學院哲學所研究員、博士生導師鄒崇理教授參加題為“邏輯、語言和計算的交叉與創(chuàng)新”的學術講座。此次講座特邀嘉賓有王寅教授、趙永峰教授、陳麗萍教授、王天翼博士，四川外國語大學多名博士生以及上百名在職研究生也積極參加了此次講座。

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

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

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

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

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