從轉(zhuǎn)換生成語法看范疇類型邏輯的基本思想

溫　雪

(中國社會(huì)科學(xué)院 研究生院,北京　102488)

從轉(zhuǎn)換生成語法看范疇類型邏輯的基本思想

溫雪

(中國社會(huì)科學(xué)院 研究生院,北京102488)

摘要：范疇類型邏輯基本思想中的“完整的”和“非完整的”表達(dá)式的概念，以及喬姆斯基(Chomsky)所提出的“完整的功能復(fù)合體”(complete functional complex，簡(jiǎn)稱CFC)的概念，分別是范疇類型邏輯和轉(zhuǎn)換生成語法在句法結(jié)構(gòu)層面的重要理論基礎(chǔ)。兩者雖有一定相似性但又有不同之處，加上自然語言的句法語義不對(duì)稱現(xiàn)象，造成自然語言邏輯分析中的一些由于方法論和概念沖突而引起的問題。為此，在語料的基礎(chǔ)上分析上述問題，論證范疇類型邏輯作為一種形式化分析自然語言語義的手段的優(yōu)勢(shì)和有待改進(jìn)之處，并舉例說明語言學(xué)研究和邏輯學(xué)研究之間是取長(zhǎng)補(bǔ)短、互相促進(jìn)的關(guān)系。

關(guān)鍵詞：范疇類型邏輯；轉(zhuǎn)換生成語法；句法-語義接口；詞匯語義學(xué)；多體類型邏輯

Basic Concepts in Categorical Type Logic: From the Perspective

一、緣起

在語言和邏輯交叉研究領(lǐng)域，范疇類型邏輯一直處于核心的地位。作為一種基于運(yùn)算和推演手段描述語言結(jié)構(gòu)的形式化工具，范疇類型邏輯具有描述精確、嚴(yán)格、無歧義的特點(diǎn)，能夠很好地彌補(bǔ)自然語言結(jié)構(gòu)不清晰的缺陷。盡管范疇類型邏輯在發(fā)展的某一階段對(duì)于自然語言的處理較多地借助了喬姆斯基(Chomsky)轉(zhuǎn)換生成語法的短語結(jié)構(gòu)規(guī)則，但其句法描述規(guī)則尚不能全面而有效地貼合轉(zhuǎn)換生成語法的句法系統(tǒng)，由此也引發(fā)了一些值得思考的問題。首先，范疇類型邏輯是一種基于運(yùn)算和推演手段描述語言結(jié)構(gòu)的形式化工具，而轉(zhuǎn)換生成語法對(duì)于句法結(jié)構(gòu)的描述是基于中心語投射和θ-角色指派的思想，因此在方法論層面，二者難免存在難以兼容之處；其次，由于范疇類型邏輯遵循語義分析依托句法分析，每一條句法操作都具備與之相對(duì)應(yīng)的語義操作的“語形和語義對(duì)應(yīng)原則”，而轉(zhuǎn)換生成語法允許存在純粹的句法成分，也就是排除了語義因素的純粹句法成分，例如英語中的形式主語it和there-be存現(xiàn)句，這也就造成了自然語言研究中句法和語義的不對(duì)稱現(xiàn)象，從而對(duì)范疇類型邏輯的“語形和語義對(duì)應(yīng)原則”提出了挑戰(zhàn)。本文從范疇類型邏輯基本思想中的“完整的”和“非完整的”表達(dá)式的概念，以及喬姆斯基所提出的“完整的功能復(fù)合體”(complete functional complex，簡(jiǎn)稱CFC)的概念入手，探討二者之間的區(qū)別和聯(lián)系，為解決上述問題提出一些可能的解決途徑及其依據(jù)。

二、范疇類型邏輯基本思想介紹

鄒崇理將范疇類型邏輯的發(fā)展劃分為古典范疇語法、蘭貝克句法演算、蒙太格語法、類型-邏輯語義學(xué)和語法邏輯5個(gè)階段，并歸納出范疇類型邏輯的基本做法是從不同層次的語言表達(dá)式抽象出句法范疇，再通過范疇運(yùn)算將較小的范疇逐層毗連生成較大的范疇；基本思想是“自然語言的句法生成是一種運(yùn)算和推演，并且其語義解釋也離不開集合、函項(xiàng)、λ-詞項(xiàng)和高階內(nèi)涵邏輯這些概念”[1]1。而這一基本思想的重要來源是古典范疇語法(categorial grammar或categorical grammar)階段德國哲學(xué)家、邏輯學(xué)家弗雷格的語句函項(xiàng)觀點(diǎn)，以及英國邏輯學(xué)家羅素和波蘭邏輯學(xué)家列斯尼維斯基(S.Le?niewski)提出的羅素-列斯尼維斯基分層思想。弗雷格將數(shù)學(xué)的函項(xiàng)運(yùn)算概念擴(kuò)展到語言研究，把句法生成過程看作函項(xiàng)運(yùn)算，認(rèn)為一個(gè)自然語言表達(dá)式能夠被分析為函項(xiàng)和主目的關(guān)系。其中，滿足恒定不變的性質(zhì)的部分就是函項(xiàng)，并具有“未填滿的”(unsaturated)性質(zhì)，需要結(jié)合(至少一個(gè))主目才能獲得完整的句子；而主目就是可變的部分。考慮這樣一個(gè)簡(jiǎn)單例句：

(1) John smiles.

從古典范疇語法的角度來說，John這樣的表達(dá)式就是“完整的”(complete)。根據(jù)賈格爾(J?ger)的說法，因?yàn)镴ohn是一個(gè)專名，指代特定的個(gè)體，即一個(gè)名字為“John”的人，意味著它具有初始的基本意義，即它的意義不受處于語言學(xué)層面的上下文的影響；而smiles這樣的表達(dá)式是“非完整的”(incomplete)，它是一個(gè)函項(xiàng)，需要結(jié)合一個(gè)主目才能得到完整的句子，語義學(xué)層面而言，它是一個(gè)從個(gè)體到命題(真值)的函項(xiàng)；John smiles這句話是“完整的”表達(dá)式，它的真值只由非語言學(xué)層面的因素影響[2]。同時(shí)，張秋成提到了20世紀(jì)初德國哲學(xué)家胡塞爾的“意義范疇”(meaning categories)理論，認(rèn)為弗雷格和胡塞爾的語言哲學(xué)思想促使波蘭的邏輯學(xué)家在20世紀(jì)30~40年代創(chuàng)立了范疇語法，并指出“胡塞爾的意義范疇組合規(guī)律和弗雷格的函項(xiàng)概念的相似之處在于：適合于填充它們的獨(dú)立表達(dá)式之間的關(guān)系類似于函項(xiàng)與其主目之間的關(guān)系”[3]。莫瑞爾(Morrill)指出，從范疇語法的發(fā)展歷史來看，由弗雷格的思想產(chǎn)生了“完整的”和“非完整的”表達(dá)式的概念；由羅素的思想產(chǎn)生了類型理論[4]。在此基礎(chǔ)上，結(jié)合胡塞爾“意義范疇”理論，列斯尼維斯基發(fā)展了“語義范疇語法”(grammar of semantic categories)，之后愛裘凱維茨(Adjukiewicz)進(jìn)一步發(fā)展了列氏的系統(tǒng)。巴希爾(Bar-Hillel)于1953年開創(chuàng)的AB演算系統(tǒng)標(biāo)志著古典范疇語法的系統(tǒng)成型[4]。

范疇類型邏輯的后4個(gè)階段是沿著古典范疇語法的基本思想路線在不同維度的發(fā)展。蘭貝克句法演算系統(tǒng)確立了“運(yùn)算即推演”的思想，從邏輯的角度理解范疇語法，將范疇運(yùn)算變成了范疇推理，句法規(guī)則變成了邏輯定理，使得蘭貝克句法演算成為一種關(guān)于范疇推演的邏輯系統(tǒng)。蒙太格語法(Montague Grammar)認(rèn)為自然語言和邏輯語言沒有本質(zhì)區(qū)別，提出了一個(gè)通用語法(Universal Grammar)模式描寫二者的相同規(guī)律，并看到句法范疇和邏輯類型的對(duì)應(yīng)關(guān)系，通過建立類似邏輯形式系統(tǒng)的自然語言部分語句系統(tǒng)，為自然語言確立了嚴(yán)格的語義學(xué)理論，但句子生成規(guī)則基本限于轉(zhuǎn)換生成語法短語結(jié)構(gòu)的層面，并未有句法理論的貢獻(xiàn)。類型-邏輯語義學(xué)(type-logical semantics)繼承了蒙太格語法對(duì)于自然語言語義的間接解釋方案，但不同于蒙太格語法將句法范疇運(yùn)算和基于高階類型的λ-詞項(xiàng)組合分開進(jìn)行的路子，類型-邏輯語義學(xué)采用了句法范疇和λ-詞項(xiàng)的并行推演，語句系統(tǒng)采用了根岑后承演繹圖示和自然演繹系統(tǒng)的表示方式，所提出的轄域算子有助于處理自然語言中的量化結(jié)構(gòu)[1]22-81。類型-邏輯語法TLG(type-logical grammar，簡(jiǎn)稱TLG)是對(duì)范疇語法的現(xiàn)代化擴(kuò)展，強(qiáng)調(diào)推演和運(yùn)算，具有嚴(yán)格精確的規(guī)定,是一部真正面向計(jì)算機(jī)處理自然語言的語法[5]。組合范疇語法CCG(Combinatory Categorial Grammar，簡(jiǎn)稱CCG)是對(duì)范疇語法進(jìn)行現(xiàn)代化擴(kuò)展的另一版本，是一種基于詞匯主義的語法形式理論，大量句法生成信息集中于詞條的范疇構(gòu)造上。鄒崇理指出：“組合范疇語法CCG 比較類型邏輯語法TLG 而言，能更加深入揭示自然語言的語言學(xué)特點(diǎn)，全面服務(wù)于自然語言的計(jì)算機(jī)處理需求。其特征是：(1) 為刻畫自然語言詞類的豐富句法特征對(duì)原子范疇進(jìn)行加標(biāo)多樣化的設(shè)置; (2) 為描述自然語言句法生成的細(xì)微之處對(duì)斜線算子實(shí)行模態(tài)化分類，據(jù)此確立不同斜線算子范疇的多樣組合規(guī)則；(3) 基于范疇等級(jí)和范疇構(gòu)造的思想構(gòu)造CCG 的證明論系統(tǒng)?！盵6]語法邏輯則將語法和邏輯置于同等地位，回歸蘭貝克演算并據(jù)此重新構(gòu)建語義理論，并借鑒了模態(tài)邏輯的工具和思想觀念，為自然語言的范疇運(yùn)算建立了可能世界的語義解釋[1]81-107，[3-4]。

三、喬姆斯基提出的“完整的功能復(fù)合體”

“完整的功能復(fù)合體”(complete functional complex，下文簡(jiǎn)稱CFC)這一說法首次出現(xiàn)于喬姆斯基1986年的著作KnowledgeofLanguage:ItsNature,Origin,andUse，用來進(jìn)一步闡釋約束關(guān)系的管轄語域，但只是被非正式地描述為“(在CFC的轄域中)所有和中心語(head)相匹配的語法功能都在其中體現(xiàn)，其中包括必要的成分，即根據(jù)投射原則應(yīng)出現(xiàn)的補(bǔ)語，以及可選的成分，即根據(jù)定義，只有需要審核謂詞的合法性時(shí)才必須出現(xiàn)的主語”[7]。徐烈炯將其解釋為“中心語、補(bǔ)語、主語可以俱全，一切語法功能均可體現(xiàn)的結(jié)構(gòu)體為完整的功能復(fù)合體。S符合條件，NP也可能符合條件”[8]265。*參見文獻(xiàn)[8]第265頁，此處有腳注：“其他語類不符合條件，例如VP不可能是完整的功能復(fù)合體，因?yàn)閂P不能有主語，VP有了主語就成了S?！眴唐?Giorgi)結(jié)合意大利語的研究，指出如果中心語由系動(dòng)詞充當(dāng)，主語作為外論元會(huì)被指派一個(gè)θ-角色，因此這個(gè)句子由中心語定義的最小CFC就是這個(gè)句子本身，此時(shí)作為補(bǔ)語的NP就不構(gòu)成一個(gè)CFC[9]?；谝陨嫌^察，喬奇為CFC提出了一個(gè)更為清晰的定義[9]：

(2)γ是一個(gè)完整的功能復(fù)合體當(dāng)且僅當(dāng)它滿足以下條件之一：

a.它是充當(dāng)中心語的詞語所具有的一切θ-角色均得到指派的語域；

b.它是中心語所具有的一切語法功能均得到體現(xiàn)的語域(即θ-角色， R-關(guān)系，*根據(jù)Grorgi的注解，“R-relation”此處用以指代承擔(dān)非嚴(yán)格意義的θ-角色的所有元素。狀語等)。

關(guān)于θ-角色的指派機(jī)制，由于涉及很多語言學(xué)方面的背景知識(shí)，此處不作討論。

“完整的”表達(dá)式和“完整的功能復(fù)合體”之間的確存在共通之處。列斯尼夫斯基和愛裘凱維茨采用的基本范疇名稱是n(名稱)和s(語句)；卡朋特(Carpenter)設(shè)定類型-邏輯范疇語法有3個(gè)初始范疇：np(描述名詞短語)，n(描述普通名詞)，s(描述句子)[10]；而轉(zhuǎn)換生成語法中CFC的語類也基本分為NP 和S兩類。 依據(jù)張秋成的觀點(diǎn)，名稱和語句是自然語言中最基本的兩個(gè)方面，分別對(duì)應(yīng)個(gè)體和真值，范疇語法正是從這里開始建立自己的演算體系的[3]。然而，這兩種“完整”之間也存在著概念和方法論的沖突，下一節(jié)將著重討論這些沖突所帶來的問題。

四、兩個(gè)主要問題

從范疇類型邏輯的發(fā)展歷史中，可以看到范疇類型邏輯在語言研究中有邏輯成分比例增加的趨勢(shì)，人們?cè)桨l(fā)將“語法”和“邏輯”等同起來。這個(gè)趨勢(shì)造成的一個(gè)情況就是：范疇類型邏輯可以不參考語言學(xué)層面的句法結(jié)構(gòu)，憑自己的運(yùn)算推演規(guī)則就推導(dǎo)出句子的生成過程。這樣，雖然保證了句法演算系統(tǒng)的簡(jiǎn)明嚴(yán)格和內(nèi)部的一致性，但也不可避免地脫離了自然語言本身的特點(diǎn)?；谝陨峡紤]，本節(jié)以類型-邏輯語義學(xué)為代表，討論以下兩個(gè)主要問題。

首先，語言學(xué)中的一類作格現(xiàn)象(ergativity)*關(guān)于“作格”(ergative)，語言學(xué)界也存在爭(zhēng)議。據(jù)《牛津英漢雙解語言學(xué)詞典》(上海外語教育出版社，2006年)，“作格”有兩種定義，一種是“作格”本身是一種格，在中心語為不及物動(dòng)詞的結(jié)構(gòu)中用來標(biāo)記受事，舉例來說，中心語為及物動(dòng)詞的結(jié)構(gòu)Bill-ERG built wall-ABS “Bill built the wall”，當(dāng)中心語為不及物動(dòng)詞時(shí)就有collapsed wall-ABS “The wall collapsed”；另一種是認(rèn)為存在一類作格動(dòng)詞(ergative verb)，比如sink，可以說we sank the ship，也可以說The ship sank，但可能是對(duì)前一個(gè)概念的部分誤用。本文采用的是第一種關(guān)于作格的定義。指受事被賦予通格(absolutive,-ABS)，也就是受事位于外論元也就是主語的位置，此時(shí)施事被賦予作格(-ERG)，但范疇類型邏輯的推導(dǎo)過程在這種情況下并不能有效區(qū)分施事和受事。試舉例如(3)：

(3) a.The wall collapsed.

b.The bird flew.

“墻塌了”，并不是墻自己主動(dòng)塌了，而是某種外因致使的。但“鳥飛了”一定是鳥憑借自己的能力飛起來的。例句(3a)和例句(3b)中的主語一個(gè)是受事，一個(gè)是施事，但句法范疇是一樣的，都可以套用(3c)的類型-邏輯語義學(xué)推理過程。盡管這兩個(gè)句子在語言學(xué)看來屬于不同的句式，但當(dāng)前的范疇類型邏輯描寫難以刻畫出存在于θ-角色的差別。

其次，由于自然語言中存在句法和語義的不對(duì)稱現(xiàn)象，造成范疇類型邏輯中為自然語言表達(dá)式指派范疇和λ-詞項(xiàng)的困難。試以英語中的形式主語it和there-be存現(xiàn)句為例：

(4)It rains.

例句(4)按照短語結(jié)構(gòu)規(guī)則可以描寫為：

(5)NP VP → S

然而在范疇類型邏輯中，例句(4)并不能簡(jiǎn)單分析為形如np,nps → s的推演。原因在于，np范疇指?jìng)€(gè)體，nps指從個(gè)體到真值的函數(shù)。然而形式主語it本身不指代任何個(gè)體，它沒有任何實(shí)際意義，而是用來填補(bǔ)主語的空缺，以滿足英語的強(qiáng)EPP特征，即要求主語必須在句法結(jié)構(gòu)中顯性體現(xiàn)。更為復(fù)雜的現(xiàn)象是在漢語中有一類無主語句，如“下雨了”，根據(jù)轉(zhuǎn)換生成語法的解釋，這是由于漢語的弱EPP特征，范疇類型邏輯也很難解釋這種由于參數(shù)變化導(dǎo)致的語言結(jié)構(gòu)差異[8]343-344。

英語中there-be存現(xiàn)句的情況更為復(fù)雜，轉(zhuǎn)換生成語法研究中關(guān)于there的句法地位也尚未達(dá)成共識(shí)，目前比較通行的觀點(diǎn)是喬姆斯基提出的“虛詞替代假說”和“邏輯詞綴說”，這兩種觀點(diǎn)的共同點(diǎn)是均不認(rèn)為there-具有實(shí)義，但這兩種觀點(diǎn)都引發(fā)了一些句法理論問題[11]。唐玉柱認(rèn)為在沒有方位地點(diǎn)詞組出現(xiàn)的存現(xiàn)句中，there作為獨(dú)立論元出現(xiàn)；方位地點(diǎn)詞組出現(xiàn)時(shí)，there作為該方位地點(diǎn)詞組的LF層面上的同標(biāo)共指成分[12]。吳會(huì)芹[13]、馬志剛[14]就邏輯綴詞理論提出了各自不同的見解和改進(jìn)方案。潘海華和韓景泉提出了“雙層小句結(jié)構(gòu)作補(bǔ)足語”，認(rèn)為表存在實(shí)體的DP與表存在處所的詞語先構(gòu)成內(nèi)層小句，然后該內(nèi)層小句充當(dāng)邏輯謂語以虛詞there為主語再度構(gòu)成外層小句，并認(rèn)為存現(xiàn)句中處所詞組是必需的，即使句法層面沒有顯性出現(xiàn)，也一定暗含在語境之中,可以理解為here或there，例如There is a problem等同于There is a problem here[11]。

回到范疇類型邏輯，可以看到由于語言學(xué)層面對(duì)于there-的句法地位仍存有爭(zhēng)議，并且there是虛詞，句法功能大于語義功能，不能在范疇邏輯中簡(jiǎn)單地指派為np范疇。并且，無論給there指派np范疇，還是s/s范疇，都要考慮例句(6a)的there之后的部分如何指派范疇和匹配λ-詞項(xiàng)，并且是否(6a)和(6b)具有不同的深層結(jié)構(gòu)。以上問題導(dǎo)致范疇類型邏輯難以處理there-be存現(xiàn)句的生成過程的推演。

(6) a.There is a book on the table.

b.A book is on the table.

五、一種解決思路——從多體類型論的視角

盡管目前無論從邏輯的角度看自然語言，還是從自然語言的角度看邏輯，都存在難以克服的問題，我們認(rèn)為這些問題并不影響范疇類型邏輯作為一種對(duì)自然語言語義進(jìn)行形式化分析的有效手段。首先，隨著邏輯工具的豐富，虛詞也可以有相應(yīng)的變通的邏輯處理手段，比如例句(4)中的形式主語it就可以考慮仍然指派范疇np，但指代類型為地點(diǎn)的個(gè)體，這樣It rains就相當(dāng)于This place rains。其次，范疇類型邏輯也可以從語言學(xué)研究中得到啟發(fā)。以類型-邏輯語義學(xué)為例，基本類型e(個(gè)體)和t(真值)遠(yuǎn)遠(yuǎn)不能滿足描寫自然語言現(xiàn)象的需求，其中值得注意的是詞匯的選擇需要加以限制，避免產(chǎn)生句法合格但語義怪異的句子，如*The chair barks。如果在“個(gè)體”類型中進(jìn)一步區(qū)分，比如分為“有生命”和“無生命”的個(gè)體類型，那么就可以避免生成類似*The chair barks這樣的句子。本文采用的是雷托雷(Retoré)，所使用的基于多體類型邏輯(many-sorted type logic)的組合語義學(xué)(compositional semantics)框架內(nèi)的詞匯語義學(xué)(lexical semantics)[15]?；舅悸啡缦拢?/p>

a.個(gè)體類型e內(nèi)部也要區(qū)分出不同類型的個(gè)體，以滿足詞匯選擇的限制性要求，e.g.*a chair barks。

b.語義類型應(yīng)該是認(rèn)知上自然的分類，并且能夠表達(dá)對(duì)詞匯選擇的限制[15]。

首先，給出每個(gè)語詞的基本λ-詞項(xiàng)和備選λ-詞項(xiàng)，基本λ-詞項(xiàng)是初始設(shè)置，當(dāng)初始設(shè)置導(dǎo)致類型運(yùn)算沖突時(shí)啟用備選基本λ-詞項(xiàng)，然后設(shè)置基本語義類型。首先看英語例句(7a)～(7d)：

(7) a.It rained.

b.It rained outside.

c.It rained yesterday.

d.It rained outside yesterday.

例句(7a)～(7d)的λ-詞項(xiàng)設(shè)置見表1。

表1　例句(7a)～(7d)的λ-詞項(xiàng)設(shè)置

規(guī)定基本范疇：

Pl:place(地點(diǎn))

Ps:person(人物)

為語用算子tn(n>0,n(N)設(shè)置結(jié)合語境(上下文)的使用規(guī)則如下：*由于時(shí)態(tài)涉及其他方面的語言學(xué)知識(shí)，此處恐繁不引，為方便討論，本文不將作動(dòng)詞的rain和rained區(qū)分，而是統(tǒng)一處理。

(8)若α = it，β = rain,則：

αβlexlexαa:Aβb:ABE’βb(te→Pln(αa)):B

由此，將形式主語it指派類型為Pl (place)的個(gè)體，英語例句(7a)～(7d)的類型-邏輯語法推演如下：

(7) a.It rained.

ItrainedLexLexIte:nprainpl→t:npsE’rainpl→t(t1e→Pl(ite)):s

b.It rained outside.

ItrainedoutsideLexLexLexIte:nprainpl→t:npsoutsidet→t:ssE’rainpl→t(t1e→Pl(ite)):sEoutsidet→t(rainpl→t(t1e→Pl(ite))):s

c.It rained yesterday.

ItrainedyesterdayLexLexLexIte:nprainpl→t:npsyesterdayt→t:ssE’rainpl→t(t1e→Pl(ite)):sEyesterdayt→t(rainpl→t(t1e→Pl(ite))):s

d.It rained outside yesterday.

ItrainedoutsideyesterdayLexLexLexLexIte:nprainpl→t:npsoutsidet→t:ssyesterdayt→t:ssE’rainpl→t(t1e→Pl(ite)):sEoutsidet→t(rainpl→t(t1e→Pl(ite))):sEyesterdayt→t(outsidet→t(rainpl→t(t1e→Pl(ite)))):s

如上分析處理，不僅能夠生成英語例句(7a)～(7d)的推演過程，而且可以防止生成*John rained這樣的句子，因?yàn)镴ohn的語義類型是Ps而非Pl，而且根據(jù)使用規(guī)則(8)，只有it 和rain(ed)組合在一起時(shí)才能生成句子it rain(ed)，這樣就排除了rain作動(dòng)詞之外的其他成句選擇。遵循類似的設(shè)置，漢語的無主語句如“下雨了”也可以考慮作相應(yīng)處理。但由于漢語無主句字面上不出現(xiàn)主語，不能完全按照分析英語形式主語的辦法來操作。漢語有自己特殊的表達(dá)方式，具體的句法生成規(guī)則也和英語不同。因此，如果要準(zhǔn)確地把漢語刻畫成形式語言,并通過相關(guān)規(guī)則推演其句法和語義的生成過程,就需要對(duì)漢語的語法結(jié)構(gòu)有比較深入的了解[16]。由于涉及的問題較為復(fù)雜，本文由于篇幅所限，暫不討論，留待日后另文探討。

由上述分析可見，自然語言研究周詳有余，嚴(yán)密不足；邏輯學(xué)研究清晰嚴(yán)謹(jǐn)，但適用范圍較為局限。正如鄒崇理所提倡的，自然語言和邏輯學(xué)應(yīng)該取長(zhǎng)補(bǔ)短、互相促進(jìn)，在此基礎(chǔ)之上自然語言邏輯這個(gè)交叉學(xué)科研究領(lǐng)域必定會(huì)有一番廣闊的前景[17]。

六、結(jié)束語

經(jīng)本文分析，范疇類型邏輯處理自然語言的難點(diǎn)，根源在于CFC的“完整”意味著在該語域中由中心語驅(qū)動(dòng)的一切句法功能都得到體現(xiàn)，以及由充當(dāng)中心語的詞匯意義驅(qū)動(dòng)的一切θ-角色均得到指派。這個(gè)定義的兩個(gè)層面均建立在句子中的各種成分互相制衡的基礎(chǔ)之上，和范疇類型邏輯中的運(yùn)算和推演是兩種不同的思路——前者著眼于整合，后者著眼于分析。另一方面，由于范疇類型邏輯對(duì)于句子生成結(jié)果的推演嚴(yán)格遵循“語形和語義對(duì)應(yīng)原則”，自然語言的句法和語義不對(duì)稱現(xiàn)象導(dǎo)致范疇類型邏輯很難處理自然語言中有語義內(nèi)容但缺乏句法特征，或者有句法特征卻缺失語義內(nèi)容的部分。

本文認(rèn)為范疇類型邏輯仍然是一種對(duì)自然語言語義進(jìn)行形式化分析的有效手段，并且隨著邏輯學(xué)的發(fā)展，虛詞也可以有相應(yīng)的邏輯處理手段，范疇類型邏輯也可以從語言學(xué)研究中得到啟發(fā)而充實(shí)自身，語言學(xué)研究和邏輯學(xué)研究之間是取長(zhǎng)補(bǔ)短、互相促進(jìn)的關(guān)系。然而，文中只嘗試解決了英語形式主語相關(guān)的部分問題，前文涉及的很多問題，如在有定冠詞the的情況下作格現(xiàn)象的施事和受事區(qū)分，以及there-be句式的推演，仍需邏輯學(xué)和語言學(xué)研究者們的通力合作，共同找到問題的解決途徑。

參考文獻(xiàn)：

[1]鄒崇理.范疇類型邏輯：從語言到邏輯[M].北京:中國社會(huì)科學(xué)出版社,2008.

[3]張秋成.類型-邏輯語法——一種自然語言語義分析的重要工具[J].中山大學(xué)學(xué)報(bào):社會(huì)科學(xué)版,2003(S):57-66.

[4]MORRILL G.Type Logical Grammar:Categorial Logic of Signs[M].Dordrecht:Kluwer Academic Publishers,1994:1-4.

[5]鄒崇理,雷建國.論形式語義學(xué)[J].重慶工學(xué)院學(xué)報(bào)：社會(huì)科學(xué),2007(11):10-14.

[6]鄒崇理.關(guān)于組合范疇語法CCG[J].重慶理工大學(xué)學(xué)報(bào)：社會(huì)科學(xué),2011(8):1-5.

[7]CHOMSKY N.Knowledge of Language:Its Nature,Origin,and Use[M].New York:Praeger,1986:169.

[8]徐烈炯.生成語法理論：標(biāo)準(zhǔn)理論到最簡(jiǎn)方案[M].上海:上海教育出版社,2009:265,343-344.

[9]GIORGI A.The Notion of Complete Functional Complex:Some Evidence from Italian[J]. Linguistic Inquiry,1987(3):511-518.

[10]CARPENTER B.Type-Logical Semantics[M].Massachusetts:MIT Press,1997:112-114.

[11]潘海華,韓景泉.虛詞there的句法地位及相關(guān)理論問題[J].當(dāng)代語言學(xué),2006(1):17-35.

[12]唐玉柱.存現(xiàn)句中的there[J].現(xiàn)代外語,2001(1):23-33.

[13]吳會(huì)芹.虛詞there的句法難題與邏輯綴詞理論新框架的構(gòu)建[J].現(xiàn)代外語,2011(3):221-229.

[14]馬志剛.最簡(jiǎn)方案下的探針-目標(biāo)一致關(guān)系與“虛指詞there更低位插入”假說[J].英語研究,2013(3):13-19.

[15]RETORé C.The Montagovian Generative Lexicon ΛTyn:An Integrated Type-Theoretical Framework for Compositional Semantics and Lexical Pragmatics[C]//19th International Conference on Types for Proofs and Programs (TYPES 2013) LIPICS,2014:202-229.

[16]賈改琴,鄒崇理.漢語NP短語的形式語義分析[J].重慶工學(xué)院學(xué)報(bào)：社會(huì)科學(xué),2008(6):15-18.

[17]鄒崇理.自然語言和邏輯語言：現(xiàn)代邏輯的延伸[J].綿陽師范學(xué)院學(xué)報(bào),2007(3):1-6.

(責(zé)任編輯張佑法)

收稿日期：2015-06-04

基金項(xiàng)目：國家社會(huì)科學(xué)基金重大項(xiàng)目“自然語言信息處理的邏輯語義學(xué)研究”(10&ZD073)

作者簡(jiǎn)介：溫雪(1987—)，女，北京人，博士研究生， 研究方向：語言邏輯、因明。

doi:10.3969/j.issn.1674-8425(s).2015.08.003

中圖分類號(hào)：B81

文獻(xiàn)標(biāo)識(shí)碼：A

文章編號(hào)：1674-8425(2015)08-0016-06

of Transformational-Generative Grammar

WEN Xue

(Graduate School,Chinese Academy of Social Science,Beijing 102488,China)

Abstract:The basic notions of “complete” and “incomplete” expressions in categorical type logic and the notion of “complete functional complex” (CFC) proposed by Chomsky are important theoretical bases at the syntactic level in categorical type logic and transformational-generative grammar respectively. Although they have some similarities in form,they are different in essence,which leads to some problems caused by conflicts in their different methodologies and basic ideas in the analyses of natural languages. This article illuminated those problems with examples from natural languages to demonstrate the advantages and disadvantages of categorical type logic as a formal instrument for the analyses of natural languages,and then instantiated the relationship between linguistic and logical researches which was supposed to be mutually beneficial.

Key words:categorical type logic; transformational-generative grammar; syntax-semantics interface; lexical semantics; many-sorted type logic

引用格式：溫雪.從轉(zhuǎn)換生成語法看范疇類型邏輯的基本思想[J].重慶理工大學(xué)學(xué)報(bào):社會(huì)科學(xué)，2015(8):16-21.

Citation format：WEN Xue.Basic Concepts in Categorical Type Logic: From the Perspective of Transformational-Generative Grammar[J].Journal of Chongqing University of Technology:Social Science，2015(8):16-21.