011年度國(guó)家社科基金重大招標(biāo)項(xiàng)目基于邏輯視域的認(rèn)知研究

工作簡(jiǎn)報(bào)第4期

2016年06月01日14:10

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

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

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

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

中國(guó)社會(huì)科學(xué)院的賈青博士作了《范疇類型邏輯研究》的報(bào)告。范疇類型邏輯是范疇語(yǔ)法中的一個(gè)重要分支，其使用邏輯，甚至數(shù)學(xué)

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

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

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

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

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

（課題組供稿）