從語言設(shè)計看ＯＴ語法的（非）可學(xué)性

謝　楠　姜兆梓

編者按:本刊理解的結(jié)構(gòu)不同于學(xué)術(shù)界的一般理解,它指:從形式、結(jié)構(gòu)出發(fā)的一切語言研究。本期發(fā)表的5篇文章可以細(xì)分為理論反思(謝楠、姜兆梓,袁曉紅、戴衛(wèi)平,彭利元、肖躍田)和實(shí)證研究(孫穎、鐘珊輝)兩個論題。兩者相互支撐,共同推進(jìn)這一領(lǐng)域的發(fā)展。

提 要:最優(yōu)秀的語言設(shè)計需要語法分析器自身具有更少的規(guī)則,從而變得更加透明;同時,盡快把生成的表達(dá)式在接口處進(jìn)行拼讀,以便減少工作記憶負(fù)擔(dān)。然而,OT語法框架中語法分析器的非透明特征與整體性推導(dǎo)與上述學(xué)界的流行觀點(diǎn)相悖。因而,本文認(rèn)為,雖然它具有較強(qiáng)的解釋力,但是并不代表這種理論具有可學(xué)性。

關(guān)鍵詞:語言設(shè)計;OT語法;非透明性;整體性;非可學(xué)性

中圖分類號:H030文獻(xiàn)標(biāo)識碼:A文章編號:1000-0100(2009)04-0044-3

On Non-learnability of OT Grammar from Language Design

Xie Nan Jiang Zhao-zi

(Linyi Normal University, Linyi 276005, China)

Optimal language design requires, on one hand, that parser bears less, if no, specific rules of its own to be more transpa-rent, on the other, that the generated representations be closed and discharged as soon as possible to reduce the load of working memory. Based on the essential nature of non-transparency of parser and global derivation, OT grammar, though enjoying powerful interpretability, is incompatible with the necessities above and not learnable.

Key words:language design; OT grammar; non-transparency; global nature; non-learnability

1 引言

語法可學(xué)性理論是根據(jù)語法理論的學(xué)習(xí)過程和學(xué)習(xí)方式提出的一種可學(xué)性演算模式。概言之,探求語言知識如何為兒童習(xí)得(Plato問題)的語法理論必須可學(xué)(learnabilty),否則這種語法理論就面臨非可學(xué)性問題,即學(xué)習(xí)者在自然語言環(huán)境中并不能建立語法理論所提出的語法體系。

20世紀(jì)90年代以來,出現(xiàn)如下假說:句法推導(dǎo)的合格性(well formedness)并不總是如生成語法假設(shè)的那樣由決定條件限制,而是最優(yōu)的競爭者在一組參選項(xiàng)中將會勝出,成為句法推導(dǎo)的最終選項(xiàng)。這種推導(dǎo)模式成為優(yōu)選理論(Optimal Theory,以下簡稱OT)中的“核心支配理念”(Prince & Smolensky 1993,Grimshaw 1997)。同時,基于OT理論的可學(xué)性研究也凸現(xiàn)出來,如Tesar(1995),Tesar & Smolensky(1993/1998, 2000),Gnanadesikan(1995)和Bernhardt & Stemberger(1998)等。

2 OT 語法的基本理論框架及其可學(xué)性問題

誕生之初,人們主要用OT語法解釋音系學(xué)面臨的一些問題,因?yàn)樵谏烧Z法最簡方案階段,形式語法系統(tǒng)的簡化導(dǎo)致“音系語法系統(tǒng)的不確定,從而不得不從類型學(xué)中尋求理論來源”(李兵 2008)。OT語法理論在以后的發(fā)展過程中不再局限于研究音系,而是將自己的研究范圍拓展至“句法學(xué)”(Grimshaw 1997)、形態(tài)學(xué)、語用學(xué)、語言習(xí)得與語言變化等。OT 認(rèn)為,一種語法就是普遍性制約條件的一種等級序列;語言形式是否合乎語法,由特定語言的制約條件等級序列決定。按照生成語法理論的基本假設(shè),語法中普遍性的知識是先天具有的,制約條件以及生成器生成的候選項(xiàng)集合是與生俱來的,無須學(xué)習(xí)者學(xué)習(xí)。由于一種語言是“一種普遍性制約條件的等級序列,那么語言的學(xué)習(xí)過程便成了語言的顯性形式或正面證據(jù)(學(xué)習(xí)者接觸到的正確的語料——引者)引發(fā)的對已有的制約條件進(jìn)行重新等級排列的過程”(Prince & Smolesnky 1993)。

可見,在OT語法框架內(nèi),是可學(xué)性的關(guān)鍵在于,在具備表層形式和普遍性約束條件集合的情況下,學(xué)習(xí)者是否能夠建立特定語言所具有的制約條件等級體系。然而,考察OT語法的一個不容忽視的問題卻是,即使一個極其簡單的句子推導(dǎo),也必須建立若干推導(dǎo)并且進(jìn)行比較,才能確定最終勝出的推導(dǎo)。例如:

① a. Mary will say too much.

b.﹡Will Mary say too much. (Grimshaw 1997)

句法現(xiàn)象的普遍限制之一是合格(well-formedness)限制。該句法推導(dǎo)限制涉及標(biāo)句詞(specifiers)、投射中心詞(heads of projections)、管制(government)或句法結(jié)構(gòu)的其他方面。合格限制的重要功能之一是觸發(fā)(trigger)成分的移位。①推導(dǎo)的合格限制有三個: 句法算子必須處于標(biāo)句詞位置(OPERATOR IN SPECIFIER 〈OP-SPEC〉);每一投射必須有一中心詞(OBLIGATORY HEADS 〈OB-HD〉);(語跡)移位的經(jīng)濟(jì)性(ECONOMY OF MOVEMENT〈STAY〉)。按照OT理論的假設(shè),這些限制條件都是先天的,在具體語言的學(xué)習(xí)過程中需要通過語言的顯性形式或正面證據(jù)來排列限制條件的等級。英語的言語事實(shí)是:wh-成分的移位及疑問句中主語和助動詞倒裝現(xiàn)象客觀存在。因此,英語有標(biāo)限制的層級高于忠實(shí)限制,而且主語和助動詞倒裝現(xiàn)象必須以wh-成分的移位為前提(Grimshaw 1997,Kager1999),于是:OP-SPEC,OB-HD≥STAY. 按照這一等級原理,例①的邏輯式語法生成的可能輸出形式有三種:

a.[IP Mary will[VP say too much]]

b.[CP will[IP Mary e[VP say too much]]]

c.[CP e[IP Mary e[VP say too much]]]

其中,a式由于同時滿足三種限制條件,因而成為最優(yōu)選項(xiàng)而勝出。如果僅從這一方面看,OT理論似乎對于語言的句法推導(dǎo)解釋力極強(qiáng),然而我們卻不能據(jù)此認(rèn)為這種理論就具有語法上的可學(xué)性,因?yàn)橐环N理論在語法上的可學(xué)性除必須具有極強(qiáng)解釋力(如既能滿足解釋語言習(xí)得上的能產(chǎn)性,又能解釋輸出項(xiàng)的限制性)外,還必須符合句法推導(dǎo)的經(jīng)濟(jì)性,符合人類工作記憶等“硬性”條件,否則難以解釋諸如“花園路徑句”等語言現(xiàn)象,也不能解釋人們在處理語言時的平緩和自然的特點(diǎn)。另一方面,我們必須認(rèn)識到,這種句法推導(dǎo)機(jī)制是否真的符合計算系統(tǒng)的句法運(yùn)算,也就是說,除了這種句法推導(dǎo)機(jī)制外,是否再無更為經(jīng)濟(jì)簡單的句法操作手段存在。然而,問題是在自然語言處理的最新研究中,所有以O(shè)T為操作的句法推導(dǎo)似乎都找到了更為簡單的解釋。

3 語言設(shè)計的最優(yōu)傾向與OT語法的非可學(xué)性問題

按照Chomsky的假設(shè),“語言是(接口)可辨讀條件的最優(yōu)解決方法” (Chomsky 2000)。這一假設(shè)暗含語言設(shè)計是最優(yōu)甚至可能是完美的。從理論上講,如果語言是完美的,那么接口處認(rèn)知系統(tǒng)所具有的相關(guān)句法信息應(yīng)該在計算系統(tǒng)就已經(jīng)完全生成,這樣就預(yù)先保證接口處勿須其他句法操作,從而確保語法分析器的透明性。如果分析器透明,那么語言絕對完美;如果分析器包含一些自身的規(guī)則,那么這些規(guī)則越少,語言設(shè)計就越趨近最優(yōu)。同時,在進(jìn)行這一假設(shè)時,不能忽視的問題是語言在大腦中的計算受制于諸如工作記憶系統(tǒng)“硬件”的限制,心理研究證明人類的工作記憶系統(tǒng)傾向于盡快拼讀已經(jīng)生成的推導(dǎo)式。這一切實(shí)際上凸顯了語言計算遵循的一條基本原則——經(jīng)濟(jì)性原則。它對句法運(yùn)算和最終生成的表征式起著“監(jiān)督”作用,而這一切都與語言理論的可學(xué)性息息相關(guān)。

如果單純從OT語法對于句法推導(dǎo)的解釋性來看,毫無疑問,它具有很強(qiáng)的解釋力,因?yàn)樗环矫尜x予句法推導(dǎo)的能產(chǎn)性,另一方面又嚴(yán)格限制句法推導(dǎo)的輸出項(xiàng)。但問題是,我們能不能據(jù)此認(rèn)為OT語法是可學(xué)的呢,或者是否可以把OT語法的解釋力等同于可學(xué)性呢?答案似乎是否定的,因?yàn)檎Z法可學(xué)性的探索除了須要具有理論上的優(yōu)勢外,還應(yīng)該考慮自然語言處理時的生物、認(rèn)知與心理特點(diǎn),否則只是一種美好的假設(shè)而已。所謂生物性特點(diǎn),是指人類處理自然語言的能力必須依托并受制于一定的物質(zhì)基礎(chǔ),諸如司控語言的廣義語言官能(the faculty of language in the broad sense, FLB)與狹義的語言官能(the faculty of language in the narrow sense, FLN),負(fù)責(zé)語言分析的語言分析器(parser)以及負(fù)責(zé)語言存儲的工作記憶系統(tǒng)等。FLB包括感覺—運(yùn)動系統(tǒng)(sensory-motor system)、概念—意向系統(tǒng)(conceptual-intentional system)和FLN. FLN僅指遞歸運(yùn)算機(jī)制,而遞歸性是“唯一的人類語言官能特有的成分”(the only uniquely human component of the faculty of language) (Hauser Chomsky & Fitch 2002)。語法分析器是指人類大腦中設(shè)計句子語法結(jié)構(gòu)的一種程序,即如何把詞庫中的詞項(xiàng)組合成為短語以及確認(rèn)謂詞與內(nèi)部論元和外部論元。工作記憶系統(tǒng)的主要功能為:在解決問題時,它起到暫時儲存中間計算輸出功能,以便在這些暫時儲存的輸出基礎(chǔ)上進(jìn)一步計算(Wilson & Keil 1999)。從心理語言學(xué)的研究成果來看,由于受工作記憶(working memory)限制,在進(jìn)行語言推導(dǎo)時,計算系統(tǒng)總是傾向于把推導(dǎo)完畢的表達(dá)式盡快拼讀出來,否則將會帶來語言處理上的負(fù)擔(dān)。這賦予語言推導(dǎo)局部性特征(local nature),進(jìn)而要求語言計算避免全局性(global nature)考慮。而根據(jù)語言設(shè)計是完美的假設(shè),語言分析器應(yīng)該透明(transparent),也就是說,計算系統(tǒng)生成的推導(dǎo)完全能夠滿足接口條件的需求,即語言分析器就是語法(Philips 1996),其并不存在自身獨(dú)特的規(guī)則(Tanya 2006)。

就OT語法理論來看,似乎并沒有考慮以上限制。理據(jù)是,在OT語法的框架內(nèi),首先須要假設(shè)計算系統(tǒng)可以生成若干可能合格的邏輯候選項(xiàng);其次,須要依據(jù)一些條件評估這些選項(xiàng)。OT語法還認(rèn)為,為確保語言的生成合法,須要核查的并不是哪一個推導(dǎo)式更短,而是一組開放性的限制條件,這些限制性條件又因?yàn)榘l(fā)生跨語言的層級變異(variation of ranking)而不同。這正好與我們所要討論的問題相關(guān):一是評估器自身須要包含的一些獨(dú)特條件,根據(jù)這些條件評估邏輯候選項(xiàng);二是這種評估的本質(zhì)與語言推導(dǎo)過程的經(jīng)濟(jì)性問題。就第一個問題來說,雖然在相關(guān)研究歷史上并沒有人對比OT語法中所謂的評估器和語法分析器, 但是我們?nèi)匀豢梢约僭O(shè)評估器與分析器本質(zhì)上是一致的,都是處理計算系統(tǒng)生成的推導(dǎo)式,都是在接口處進(jìn)行拼讀。如果這一觀察正確,那么就有理由相信評估器自身包含著大量可以對生成器中邏輯項(xiàng)進(jìn)行評估的規(guī)則,從而得出符合語言事實(shí)的選項(xiàng)。然而就語言的最優(yōu)設(shè)計來看,其要求計算系統(tǒng)生成的推導(dǎo)式能夠完全滿足接口條件的需求,此處任何其他條件的背離都應(yīng)該視為語言設(shè)計上的不完美表現(xiàn)。從理論上講,因?yàn)楸畴x而須要借助其他機(jī)制進(jìn)行調(diào)整的操作越少,語言設(shè)計越趨向最優(yōu)。OT語法正是違背這一假設(shè):自身設(shè)計了諸多條件來對計算系統(tǒng)的推導(dǎo)式進(jìn)行調(diào)整(比如,就例①的推導(dǎo),須要借助OP-SPEC,OB-HD≥STAY的限制性條件來評估生成器中生成的三個可能候選邏輯項(xiàng)),從而與最優(yōu)語言設(shè)計是最優(yōu)的觀念背道而馳。就第二個問題來講,不但要評估OT語法框架中的句法推導(dǎo),而且要從整體上評估生成器中生成的邏輯項(xiàng)。例如:

② a.[IP2It seems that[IP1Max is certain to arrive]]

b.[IP2Max seems that[IP1it is certain to arrive]]

可見,OT語法由于自身設(shè)置了許多分析器獨(dú)有的特征來評估計算系統(tǒng)生成的表達(dá)式,因而導(dǎo)致分析器的不透明,而其要求整體評估則加重了語言處理的負(fù)擔(dān),與人類工作記憶系統(tǒng)的要求并不相符,從而帶來了語言推導(dǎo)的困難,這同經(jīng)濟(jì)性原則相違背。無論是從理論還是經(jīng)驗(yàn)上都說明,此框架中的語言推導(dǎo)并不是最優(yōu)的,進(jìn)而與語言設(shè)計的普遍共識——語言是最優(yōu)的——相沖突。正因?yàn)槿绱?在與語言處理的心理認(rèn)知相沖突的情況下談?wù)撘环N語法理論的可學(xué)性就缺乏必要的理據(jù)。

4 結(jié)束語

毋庸置疑,OT理論適合語音界面的研究,因?yàn)槠洳僮鞑粚儆谟嬎阆到y(tǒng)推導(dǎo)范疇而屬于接口層面。但是運(yùn)用這一理論來處理句法推導(dǎo)則須要謹(jǐn)慎,因?yàn)榫浞ㄍ茖?dǎo)的運(yùn)作在計算系統(tǒng)中進(jìn)行。當(dāng)然,也不能否認(rèn)計算系統(tǒng)中的句法推導(dǎo)在某些情況下須要借助OT語法所假設(shè)的邏輯項(xiàng),不過這種操作的限制極其嚴(yán)格:一個不同于計算系統(tǒng)生成的表征式必須構(gòu)建起來,才能建立邏輯參考項(xiàng);另外,這些表征式語義的比較必須依據(jù)語境方可成立(Reinhart2006)。

參考文獻(xiàn)

李 兵. 論優(yōu)選論的功能主義傾向[J].當(dāng)代語言學(xué), 2008(1).

馬秋武.OT 語法的可學(xué)性研究[J]. 外國語, 2003(5).

王馥芳. 優(yōu)選理論的解釋力[J]. 當(dāng)代語言學(xué), 2003(1).

Chomsky, N. The Minimalist Program[M]. Cambridge, Mass: MIT Press, 1995.

Chomsky, N. Derivation by Phase[J]. MIT Occasional Papers in Linguistics, 1999(18).

Chomsky, N. New Horizon in the Study of Language and Mind[M]. Beijing: Foreign Language Teaching and Research Press, 2000.

Grimshaw, J. Projection, Heads and Optimality[J]. Linguistic Inquiry, 1997(28).

Hauser, Marc D., Chomsky, N. & Fitch, W. Tecumsech. The Faculty of Language: What Is It, Who Has It, and How Did It Evolve?[J]. Science, 2002(298).

Prince, A. & P. Smolensky. Optimality Theory: Constraint Interaction in Generative Grammar[M]. New Brunswick, NJ: Rutgers University Center for Cognitive Science, 1993.

Reinhart, T. Interface Strategies — Optimal and Costly Computations[M]. Cambridge, Mass.: MIT Press, 2006.

Tesar, B. & P. Smolensky. Learnability in Optimality Theory[M]. Cambridge, MA: The MIT Press, 2000.

Wilson, Robert A. & Keil, Frank C. The MIT Encyclopedia of the Cognitive Sciences[C]. Cambridge, MA: The MIT Press, 1999.

收稿日期:2008-05-10

【責(zé)任編輯 鄭 丹】