011年度國家社科基金重大招標項目基于邏輯視域的認知研究

工作簡報第4期

2015年4月25日——26日由黃華新教授擔任首席專家的2011年國家社科基金重大項目——《基于邏輯視域的認知研究》于浙江大學紫金港校區(qū)舉行，這次會議重點是探討 “自然語言邏輯、認知與計算”。來自中國社會科學院、北京大學、廈門大學等單位的學者和我校相關(guān)專業(yè)的老師同學共40余人參加會議。

課題負責人、中國邏輯學會副會長、我校哲學系/語言與認知研究中心教授黃華新在會上發(fā)言。學者們圍繞自然語言信息處理的邏輯語義學研究、日常概念與日常推理的邏輯、非標準認知邏輯以及邏輯與認知的相關(guān)問題作了比較深入具體的探討。中國邏輯學會長、中國社會科學院哲學所研究員鄒崇理，中國邏輯學副會長、北京大學哲學系教授周北海，原國家語委語用司研究員馮志偉，廈門大學計算機學院教授周昌樂等20余位老師同學在會上作了報告或點評。

合肥師范學院的李可勝教授作了《邏輯、語言與計算——自然語言的形式表征系統(tǒng)》的報告。他指出自然語言邏輯語義學屬于語言學和現(xiàn)代邏輯學以及計算機科學的交叉學科，三門學科在自然語言研究中之所以能夠交匯，其基礎(chǔ)在于自然語言的核心體系是一個具有可遞歸的、可演繹的形式系統(tǒng)。通過這種演繹系統(tǒng)，可以從由規(guī)則和初始符號構(gòu)成的前提集中，推演出特定某種自然語言的表達式和（或）其語義結(jié)構(gòu)。據(jù)此自然語言的結(jié)構(gòu)運算（包括句法毗連運算及其對應的語義組合運算）可以納入邏輯刻畫的框架內(nèi)，從而使得自然語言具有了可計算性。為此目標，既需要從邏輯學方面進行努力，構(gòu)造出表現(xiàn)力更強的邏輯系統(tǒng)，也需要語言學方面的努力，從邏輯語義的角度解讀自然語言的句法語義結(jié)構(gòu)運算。

湖南科技學院的姚從軍博士作了《面向信息處理的漢語形容詞謂語句的組合范疇語法分析》的報告。他認為組合范疇語法實現(xiàn)了句法和語義的并行推演，它是目前計算機對自然語言進行信息處理的最理想工具。漢語形容詞謂語句是漢語的十大典型句型之一，對漢語形容詞謂語句的處理是中文信息處理的重要任務之一。漢語形容詞謂語句有光桿形容詞謂語句和復雜形容詞謂語句之分，復雜形容詞謂語句更為常見，處理起來也更為困難。使用組合范疇語法CCG 可以處理大多數(shù)漢語形容詞謂語句，部分漢語形容詞謂語句還需借助于CCG 的擴展系統(tǒng)CCG方可處理。

中國社會科學院的賈青博士作了《范疇類型邏輯研究》的報告。范疇類型邏輯是范疇語法中的一個重要分支，其使用邏輯，甚至數(shù)學

中的方法處理語言學中的問題或者給出語言學問題形式化解釋。范疇類型邏輯發(fā)展至今，已經(jīng)在蘭貝克演算的基礎(chǔ)上形成了多模態(tài)范疇類型邏輯、對稱范疇語法和不連續(xù)蘭貝克演算等多個分支，以及證明網(wǎng)絡、Gentzen 演算等多種形式表示方法，因此在介紹這些新近研究成果的基礎(chǔ)上，我將就范疇類型邏輯在漢語語言學問題處理中的一些應用，特別是范疇類型邏輯在漢語反身代詞回指照應問題上的應用進行簡要的說明。

青島大學的婁強博士作了《情境與計算》的報告。他指出建立在唯實主義基礎(chǔ)上的情境語義學反對自然語言的邏輯處理，針對語言效率等自然語言現(xiàn)象情境語義學將語境因素引入語義解釋，使用情境理論的技術(shù)手段為自然語言提出一個區(qū)別于以蒙太格語義學為代表的傳統(tǒng)形式語義學的模型論語義框架。情境語義學的數(shù)學本體理論及技術(shù)使得在情境理論基礎(chǔ)上提出一個計算框架成為可能。巴維斯從理論創(chuàng)立始就開始思考情境語義學計算方面的問題，指出蒙太格語法基于整體論在計算上難以控制而基于部分論的情境模型論更適合計算上可解執(zhí)行。納卡什麻、布萊克、提恩和阿克曼等情境學者先后提出三個不同情境計算框架：PROSIT，ASTL 和BABY-SIT，其中PROSIT 和ASTL 是基于情境理論的程序語言，執(zhí)行不同處理任務，而BABY-SIT 是一個基于情境理論結(jié)構(gòu)的一個計算中介或計算環(huán)境，在技術(shù)上最接近情境理論。

浙江大學的胡龍彪副教授作了《中世紀兩種語義學及其現(xiàn)代重建》的報告。他認為以西班牙的彼得為代表的實在論語義學和以布里丹為代表的唯名論語義學代表了中世紀邏輯兩種最主要的完整語義學。然而，它們在語義學上的不同主要不在于其本體論基礎(chǔ)，而在于建構(gòu)語義學的不同范式。實在論主張不同的范疇意謂不同的本體論對象，兩者之間是一一對應關(guān)系。單稱詞項意謂的是單個事物，而普遍詞項意謂的是普遍事物，并且每個本體論對象都是真實存在的實體。而唯名論認為，心靈之外的任何東西在現(xiàn)實中都是單個的存在，現(xiàn)實中除了單個的東西，沒有其他事物存在。附屬于代表單獨概念與普遍概念（概念只是心靈行為，沒有實際的存在）的單獨詞項與普遍詞項意謂的對象是相同的，所不同的是意謂的方式不一樣。單獨詞項是單個地意謂

單個事物，而普遍詞項則是以普遍的方式意謂單個的事物。后者正是所謂的對普遍概念的副詞化處理方式。唯名論語義學的副詞化處理策略還包括對內(nèi)涵詞意謂的處理。基于詞項意謂的不同，兩種語義學的命題意謂或者真值賦值理論也不同。實在論斷定或承諾命題有作為一個整體而復合意謂的某種東西，特別是其中復合詞項以及內(nèi)涵詞所意謂的某種東西,并把這種東西的實在性作為命題真假的判斷標準。而唯名論否定命題有作為整體復合意謂的東西，命題的意謂就是其中單個詞項的意謂，但這無法決定命題的真值。唯名論基于副詞化的處理策略，引入量詞，并在詞項量化范圍內(nèi)，根據(jù)命題中詞項所指代的單個實體之間是否有聯(lián)合指代而判斷一個命題的真假。在這種語義學中，無論主詞還是謂詞，都既沒有普遍詞項意謂的普遍實體，也沒有命題所意謂的復合實體。唯名論通過這種副詞化的語義處理策略，消除了實在論中“過多且不必要”的本體論承諾。這使得我們可以忽略唯名論與實在論兩者在本體論上的區(qū)別，而強調(diào)兩者在邏輯語義學領(lǐng)域的部分融合。一般地，唯名論語義學可以通過實在論語義學副詞化而得到。對兩種語義學合理的現(xiàn)代重建，既可以表明其區(qū)別與關(guān)聯(lián)，又可以表明唯名論語義學是如何可以自然邏輯的方式，恰當?shù)乇磉_現(xiàn)代邏輯標準量詞理論。NLS(naturallanguage system)就是一種以形式化的方式而合理建立起來的完整唯名論語義學。NLS 最典型地刻畫了唯名論的詞項意謂規(guī)則、命題的聯(lián)合指代規(guī)則，且非常貼近于人們以自然語言為媒介的日常思維；對于建構(gòu)自然邏輯語義學，具有極強的可操作性，它能夠以自然語言的方式，表達現(xiàn)代一階謂詞邏輯最核心的多量詞理論；同時，NLS 無須像現(xiàn)代邏輯那樣,在對集合做出本體論承諾的基礎(chǔ)上去實現(xiàn)謂詞的語義功能。NLS 的建立順應學界倡導用自然的方法去解決自然邏輯問題的熱潮，這也是本文的重要意義以及與主要創(chuàng)新點之一。

課題組其他成員金立、徐慈華、楊小龍、趙夢媛、應騰等青年學者也在會上做了交流發(fā)言。

（課題組供稿）