范疇類型邏輯與語(yǔ)言的相關(guān)性

范疇類型邏輯與語(yǔ)言的相關(guān)性

歐洲邏輯、語(yǔ)言和信息學(xué)院現(xiàn)任院長(zhǎng)莫塔加特教授倡導(dǎo)的口號(hào)是“認(rèn)知計(jì)算”。語(yǔ)法是邏輯的。這里說(shuō)的是語(yǔ)言認(rèn)知可以歸結(jié)為計(jì)算過(guò)程,語(yǔ)言的語(yǔ)法(句法毗連和語(yǔ)義組合)能夠納入邏輯的框架內(nèi),語(yǔ)言的句法語(yǔ)義分析就是一種演繹推理,這些就是范疇類型邏輯的核心思想。簡(jiǎn)言之,范疇類型邏輯的最大特色就是把自然語(yǔ)言的句法毗連和語(yǔ)義組合轉(zhuǎn)化成運(yùn)算和推演,而運(yùn)算和推演所依賴的毗連組合是一步一步逐層逐級(jí)進(jìn)行并遵循“鄰近原則”的。表達(dá)式對(duì)應(yīng)的范疇類型-邏輯值總是與自己最鄰近表達(dá)式的范疇類型-邏輯值進(jìn)行毗連組合,而不能跨越旁鄰表達(dá)式的范疇類型-邏輯值跟遠(yuǎn)處表達(dá)式的范疇類型-邏輯值進(jìn)行推演運(yùn)算。個(gè)案表述如下:“l(fā)ove”對(duì)應(yīng)的范疇類型-邏輯值先和左鄰近的“Mary”所對(duì)應(yīng)的值進(jìn)行運(yùn)算推演,據(jù)此再跟右鄰近的“John”的范疇類型-邏輯值毗連組合。“John”的值跨越“l(fā)ove”的值去和“Mary”的值進(jìn)行運(yùn)算推演則是不允許的。然而,嚴(yán)格遵循“鄰近原則”顯然無(wú)法處理自然語(yǔ)言中的照應(yīng)關(guān)系。一方面,具有照應(yīng)關(guān)系的名詞先行語(yǔ)和代詞在語(yǔ)義上有緊密的聯(lián)系,對(duì)后者的理解總離不開(kāi)對(duì)前者的語(yǔ)義解釋。另一方面,名詞先行語(yǔ)和代詞在句法層面上往往又是不相毗連的。在堅(jiān)持“鄰近原則”的范疇類型邏輯的機(jī)制看來(lái),把這類現(xiàn)象轉(zhuǎn)化成運(yùn)算和推演是不太容易的,即很難把這種語(yǔ)義相連而句法離散的情況納入范疇類型邏輯具有的句法和語(yǔ)義嚴(yán)格對(duì)應(yīng)的框架內(nèi)。自然語(yǔ)言的照應(yīng)關(guān)系主要體現(xiàn)為:復(fù)雜句主句中的代詞和從句中名詞的照應(yīng)關(guān)系、序列句中跨越句子的名詞和代詞的照應(yīng)關(guān)系。兩大類情況的例句分別如下:(1)Everyfarmerwhoownsadonkeybeatsit.(2)JonesownsUlysses.Hefascinatesit.就例(1)而言,其主句中代詞“it”的語(yǔ)義所指必須依靠從句中的名詞先行語(yǔ)“adonkey”來(lái)確定,但名詞先行語(yǔ)和后續(xù)的代詞并不相鄰,中間間隔了許多語(yǔ)詞。對(duì)此很難構(gòu)造基于函項(xiàng)運(yùn)算的范疇類型邏輯推演。話語(yǔ)表現(xiàn)理論專門關(guān)注自然語(yǔ)言的照應(yīng)現(xiàn)象,它利用句子DRS中不同的話語(yǔ)所指的等同來(lái)揭示照應(yīng)關(guān)系。話語(yǔ)表現(xiàn)理論具有把不同位置的名詞和代詞在語(yǔ)義上聯(lián)系起來(lái)的機(jī)制。就例(2)而言,話語(yǔ)表現(xiàn)理論的分析是這樣的:這是該序列第一子句的DRS?；诖?對(duì)該序列第二子句進(jìn)行分析,引進(jìn)對(duì)應(yīng)兩個(gè)代詞的話語(yǔ)所指u與v,再分別確立u與v跟話語(yǔ)所指x和y的等同關(guān)系,這樣就揭示了后續(xù)句中兩個(gè)代詞分別同先行句中兩個(gè)名詞的照應(yīng)關(guān)系。分析結(jié)果如下:對(duì)范疇類型邏輯來(lái)說(shuō),處理照應(yīng)關(guān)系則是一個(gè)巨大的挑戰(zhàn)。通常情況下范疇類型-邏輯值無(wú)法跟不相毗連的范疇類型-邏輯值進(jìn)行運(yùn)算推演,運(yùn)算和推演的對(duì)象必須是兩對(duì)鄰近的范疇類型-邏輯值。范疇類型邏輯的傳統(tǒng)機(jī)制對(duì)處理照應(yīng)關(guān)系似乎沒(méi)有辦法,只有另辟蹊徑才能有所作為。近年出版的論文集Resource-sensitivity,bingding,andanaphora(Kruijff&Oehrle,2003)中可以看到新的嘗試,西方學(xué)者G.J?ger提出了一個(gè)新方案,在Lambek演算基礎(chǔ)上增加一個(gè)處理照應(yīng)關(guān)系的新算子。J?ger還采用自然演繹的方式來(lái)表述這樣的演算系統(tǒng),使得在直觀上更能顯示出自然語(yǔ)言中名詞和代詞的照應(yīng)關(guān)系。J?ger確信,要刻畫語(yǔ)言表達(dá)式之間的照應(yīng)關(guān)系,首先需要對(duì)相關(guān)表達(dá)式配備特定的范疇。一個(gè)涉及照應(yīng)關(guān)系的后續(xù)表達(dá)式應(yīng)配備什么樣的范疇呢?這里應(yīng)該參照兩方面的信息:給先行語(yǔ)表達(dá)式配備的范疇B和在后續(xù)語(yǔ)境中進(jìn)行運(yùn)算所需要的范疇A。因此,給這個(gè)表達(dá)式確立范疇B|A,這是涉及直線算子(照應(yīng)算子)的范疇。與B|A有關(guān)的范疇推演只需滿足一個(gè)要求:先行語(yǔ)出現(xiàn)在照應(yīng)語(yǔ)之前(在自然語(yǔ)言那里不言而喻)。概言之:表達(dá)式α具有范疇B|A當(dāng)且僅當(dāng)若范疇為B的表達(dá)式在α之前,則α便以范疇為A的表達(dá)式的身份發(fā)生作用。J?ger論文所提出的Lambek演算的自然演繹表述為以下8條規(guī)則:再對(duì)照應(yīng)語(yǔ)比如代詞指派特定的加標(biāo)范疇類型值,就可以對(duì)英語(yǔ)句“Johnsaidhewalked”之類進(jìn)行范疇類型邏輯的推演:在上面這個(gè)句子中,專名“John”和代詞“he”具有照應(yīng)關(guān)系,兩者并不相鄰。按照J(rèn)?ger的做法,給照應(yīng)語(yǔ)“he”指派具有照應(yīng)算子“|”的加標(biāo)范疇,根據(jù)規(guī)則“|E”,它可以跟中間間隔“said”的“John”具有的同標(biāo)范疇進(jìn)行運(yùn)算,這是一種“跨越式”的函項(xiàng)運(yùn)算。運(yùn)算的結(jié)果使它獲得了與右邊毗鄰的“walks”的范疇進(jìn)行運(yùn)算的身份,這個(gè)身份和前面的“John”是一致的,從而表明“he”是對(duì)“John”的指代。為了刻畫量化句的照應(yīng)關(guān)系,J?ger還增添了兩條關(guān)于量詞的轄域算子的引進(jìn)和消除規(guī)則:基于上述規(guī)則,可以給出量化句“Everybodysaidhewalked”的范疇類型邏輯推演:把話語(yǔ)表現(xiàn)理論刻畫照應(yīng)關(guān)系的思想移植到范疇類型邏輯中,J?ger的方案很有創(chuàng)意。怎樣確立代詞的范疇類型-邏輯值,這是解決問(wèn)題的難點(diǎn)。代詞“he”和名詞先行語(yǔ)“everybody”具有相同的范疇“np”,并通過(guò)實(shí)施一種遠(yuǎn)距離的“照應(yīng)運(yùn)算”,獲得同先行語(yǔ)一樣的身份,然后再跟右相鄰成分進(jìn)行運(yùn)算,這就是J?ger方案的基本思想。此處J?ger的規(guī)則雖能處理復(fù)雜句中代詞和名詞的照應(yīng)關(guān)系,但不能對(duì)句子序列中照應(yīng)關(guān)系得出比較簡(jiǎn)單的直觀結(jié)果。就英語(yǔ)句“Johnwalked.Hetalked”而言,J?ger的方案只能作如下頁(yè)所示的推演。最后推出的范疇類型-邏輯值并不符合我們對(duì)該句子序列的直觀理解,其邏輯值也不是通常一階邏輯翻譯該句子序列所得到的結(jié)果:WALK(J)&TALK(J)。我們需要對(duì)J?ger的技術(shù)手段略加調(diào)整來(lái)解決面臨的問(wèn)題。問(wèn)題在于詞條之間的照應(yīng)沒(méi)有延伸到句子之外,照應(yīng)算子的引入規(guī)則應(yīng)用到句子范疇時(shí)可以進(jìn)行某種程度的特殊處理。作為局部嘗試,我們可以在J?ger方案的基礎(chǔ)上增添兩條規(guī)則:“＼Ej”是所謂保持標(biāo)記的左斜線算子的運(yùn)算規(guī)則,主要針對(duì)運(yùn)算結(jié)果是句子的范疇類型-邏輯值的情況?！皘Ij,i”規(guī)則是針對(duì)句子范疇類型-邏輯值的合取而進(jìn)行的照應(yīng)算子的引入,同時(shí)對(duì)邏輯值(λ-詞項(xiàng))作了特定處理,還給推演所獲得的范疇類型-邏輯值增添了與左端范疇-類型邏輯值相關(guān)的標(biāo)記,以體現(xiàn)句子之間的照應(yīng)關(guān)系。于是