謝　楠　姜兆梓

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

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

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

中圖分類號(hào):H030文獻(xiàn)標(biāo)識(shí)碼:A文章編號(hào):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 引言

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

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

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

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

可見,在OT語(yǔ)法框架內(nèi),是可學(xué)性的關(guān)鍵在于,在具備表層形式和普遍性約束條件集合的情況下,學(xué)習(xí)者是否能夠建立特定語(yǔ)言所具有的制約條件等級(jí)體系。然而,考察OT語(yǔ)法的一個(gè)不容忽視的問題卻是,即使一個(gè)極其簡(jiǎn)單的句子推導(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)的合格限制有三個(gè): 句法算子必須處于標(biāo)句詞位置(OPERATOR IN SPECIFIER 〈OP-SPEC〉);每一投射必須有一中心詞(OBLIGATORY HEADS 〈OB-HD〉);(語(yǔ)跡)移位的經(jīng)濟(jì)性(ECONOMY OF MOVEMENT〈STAY〉)。按照OT理論的假設(shè),這些限制條件都是先天的,在具體語(yǔ)言的學(xué)習(xí)過程中需要通過語(yǔ)言的顯性形式或正面證據(jù)來排列限制條件的等級(jí)。英語(yǔ)的言語(yǔ)事實(shí)是:wh-成分的移位及疑問句中主語(yǔ)和助動(dòng)詞倒裝現(xiàn)象客觀存在。因此,英語(yǔ)有標(biāo)限制的層級(jí)高于忠實(shí)限制,而且主語(yǔ)和助動(dòng)詞倒裝現(xiàn)象必須以wh-成分的移位為前提(Grimshaw 1997,Kager1999),于是:OP-SPEC,OB-HD≥STAY. 按照這一等級(jí)原理,例①的邏輯式語(yǔ)法生成的可能輸出形式有三種:

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

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

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

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

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

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

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

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

4 結(jié)束語(yǔ)

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

參考文獻(xiàn)

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

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

王馥芳. 優(yōu)選理論的解釋力[J]. 當(dāng)代語(yǔ)言學(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é)任編輯 鄭 丹】