（邏輯學(xué)專業(yè)論文）蒙太格語法研究述評.pdf

蒙太格語法研究述評 邏輯學(xué)專業(yè)碩士研究生顧鋒強 指導(dǎo)教師何向東教授 中文摘要 蒙太格語法( 簡稱m g ) ，是美國著名數(shù)理邏輯學(xué)家r i c h a r dm o n t a g u e 在上個世紀(jì)七十年代 初創(chuàng)建的理論，是在現(xiàn)代邏輯學(xué)和現(xiàn)代語言學(xué)基礎(chǔ)上發(fā)展起來的獨樹一幟的語法理論。成為美國 語言邏輯，尤其是語義研究中的一個頗有影響的學(xué)術(shù)派別。 m g 的基本出發(fā)點是“通用語法”( u n i v e r s a lg r a m m a r ) 思想，是邏輯語義學(xué)推廣到自然語 言領(lǐng)域的結(jié)果。他豐富和發(fā)展了邏輯語義學(xué)思想，超越經(jīng)典外延的模式，創(chuàng)立新型的內(nèi)涵邏輯理 論。目前，很多學(xué)者從邏輯學(xué)、語言學(xué)等角度對m g 的進行研究，取得豐碩的成果。 本文并不是簡單的將有關(guān)m g 的研究成果進行歸納、敘述。而是從早期語義學(xué)的傳統(tǒng)；邏輯、 哲學(xué)中模型論的出現(xiàn)等角度來考察蒙太格語法形成的歷史背景，來探索蒙太格語法形成的歷史淵 源，說明蒙太格語法的產(chǎn)生是繼承和發(fā)展的結(jié)果，同時也是時代的需要：本文在闡述蒙太格語法 形成的基本理論基礎(chǔ)時，重點討論轉(zhuǎn)換生成語法、范疇語法理論和機器翻譯理論對其的影響，闡 明蒙太格語法的主要內(nèi)容及其相互關(guān)系。其切入點有如下兩方面：( 1 ) 通過對蒙太格語法研究的 相關(guān)敘述，比較，深化對蒙太格語法的系統(tǒng)認(rèn)識：( 2 ) 從邏輯學(xué)、語言學(xué)和人工智能自身的發(fā)展 需要和蒙太格語法的優(yōu)點相比較入手，突出蒙太格語法對其的意義。本文的創(chuàng)新點有如下兩方面： ( 1 ) 對蒙太格語法的內(nèi)容中的重點作詳盡的敘述，做到重點突出，主次分明。( 2 ) 對蒙太格語 法的形成方面，采取縱向比較的方法，敘述蒙太格語法形成的歷史背景和發(fā)展脈絡(luò)；對蒙太格語 法形成的意方面，采取橫向比較的方法，敘述其對邏輯學(xué)、語言學(xué)和人工智能的意義。 關(guān)鍵詞：蒙太格語法語義學(xué)自然語言 人工智能 p o s t g r a d u a t em a j o r i n gi nl o g i c ：g uf e n gq i o n g s u p e r v i s o r ：h ex i a n gd o n g a b s t r a c t m gi st h ea m e r i c a nr e n o w n e dl o g i c i a n ，l o n ga g os t u d i e dt h er e c u r s i o nt h e o r yo f f u n c t i o n s ，t h el o g i co fm o d a l i t ya n dt h ec o n t e n tl o g i c ，a f t e r w a r d sc h a n g e dt h er e s e a r c h n a t u r a ll a n g u a g e ，f o u n d e dt h em o n t a g u eg r a m m a ri nt h eb e g i n n i n go ft h e7 0 s ，b e c a m et h e a m e r i c a nl a n g u a g e ，i nal o g i c a li np a r t i c u l a rs e m a n t i c sr e s e a r c hq u i t ei n f l u e n t i a la c a d e m i c f a c t i o n 。 b e f o r em gt h el o g i c a ll a n g u a g eg e o m e t r ya n dt h el o g i c a ls e m a n t i c sr e s e a r c ho n l y i sr e s t r i c t e di nt h el o g i cf a b r i c a t e dl a n g u a g et h es c o p e ，t h el o g i c a lp r a g m a t i c st h e n b a s i c a l l yi si nt h eb l a n k 。m gu t i l i z a t i o nm o d e ml o g i ca n dm a t h e m a t i c sm e t h o dr e s e a r c h n a t u r a ll a n g u a g es e m a n t i c s ，t h el o g i c a ls e m i o t i c st h ed i v i s i o nw h i c ha b o u tt h el a n g u a g e s h a p e ，t h es e m a n t i c sa n dt h el a n g u a g eu s e sp r o m o t e st ot h en a t u r a ll a n g u a g ed o m a i n ，i t s m a i nc o n t e n ti st h ep r o d u c tw h i c ht h el o g i ca n dt h el i n g u i s t i c si n t e r a c t i o n ，s e e p sm u t u a l l y , i ss i t u a t e db e t w e e nb e t w e e nt h em o d e ml o g i ca n dt h ef o r ml i n g u i s t i c so v e r l a p p i n gn e u t r a l c o n t e n t 。 t h i sa r t i c l ei st r y i n gf r o mt h ee a r l ys e m a n t i c st r a d i t i o n ；i nt h el o g i c t h ep h i l o s o p h y m o d e lt h e o r ya n g l ea n ds oo na p p e a r a n c ei n s p e c t st h eh i s t o r i c a lb a c k g r o u n dw h i c ht h e m o n g o l i a nt o os t a n d a r dg r a m m a rf o r m s ；e l a b o r a t e dm gg r a m m a re l e m e n t a r yt h e o r y p r e m i s e ，e x p o u n d e dt h em o n g o l i a nt o os t a n d a r dg r a m m a rm a i nc o n t e n t a n di t st h e r e c i p r o c i t y , a n dm a k el h eo b j e c t i v ef a i ra p p r a i s a lt ot h em o n g o l i a nt o os t a n d a r dg r a m m a r f o r m a t i o ns i g n i f i c a n c e ，b yt h et i m ee x p l a i n e dm gg r a m m a rt h ef o r m a t i o ni st h ed i s c i p l i n e o v e r l a p p i n gr e s u l t ，p r o m u l g a t e st h el o g i cd e v e l o p m e n tt h er u l e ，a n dg i v e sc o r r e l a t i o ns o m e e n l i 曲t e n m e n t 。 k e yw o r d ：m gs e m a n t i c s t r a n s f o r m a t i o n a lg r a m m a r c a t e g o r yg r a m m a r i i 獨創(chuàng)性聲明 x9 0 2 3 9 4 學(xué)位論文題目： 苤態(tài)整適造盟窒姿受 本人聲明所呈交的學(xué)位論文是本人在導(dǎo)師指導(dǎo)下進行的研究工作及取得的研究 成果。據(jù)我所知，除了文中特別加以標(biāo)注和致謝的地方外，論文中不包含其他人已 經(jīng)發(fā)表或撰寫過的研究成果，也不包含為獲得西南大學(xué)或其他教育機構(gòu)的學(xué)位或證 書而使用過的材料。與我一同工作的同志對本研究所做的任何貢獻均已在論文中作 了明確的說明并表示謝意。 學(xué)位論文作者：兩鋒煞簽字日期：伽房4 月) 7 日 j 。 學(xué)位論文版權(quán)使用授權(quán)書 本學(xué)位論文作者完全了解西南大學(xué)有關(guān)保留、使用學(xué)位論文的規(guī)定，有權(quán)保留 并向國家有關(guān)部門或機構(gòu)送交論文的復(fù)印件和磁盤，允許論文被查閱和借閱。本人 授權(quán)西南大學(xué)研究生院可以將學(xué)位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫進行檢 索，可以采用影印、縮印或掃描等復(fù)制手段保存、匯編學(xué)位論文。 ( 保密的學(xué)位論文在解密后適用本授權(quán)書，本論文：口不保密，口 保密期限至年月止。 學(xué)位論文 簽字日期 學(xué)位論文 工作單位 通訊地址 驥嘏； 姚毒丟1 嘲已 話：( 絲2 出i 編： 壘金壘2 1 笸 1 牛 一、引言 2 0 世紀(jì)是各學(xué)科發(fā)展的繁榮時期，在這時期內(nèi)自然語言的語義分析也成為哲 學(xué)、邏輯學(xué)和語言學(xué)研究的共同主題。美國邏輯學(xué)家理查德蒙太格創(chuàng)立的蒙太格 語法( m o n t a g u eg r a m m a r ) 簡稱m g ，正是對這一主題的創(chuàng)造性闡釋。 所謂的“蒙太格語法”其實是一個術(shù)語，它是指對自然語言的句法和語義的研 究成果。蒙太格語法有狹義與廣義之分。狹義上的“蒙太格語法”或“m g ”是指蒙 太格的理論以及這一理論的擴展與應(yīng)用。但是，從廣義上來看，則其邊界線又是模糊 的。目前，大多數(shù)研究者都認(rèn)為，蒙太格語法這一術(shù)語已擴展為一理論與實踐的家族， 它構(gòu)成了形式語義學(xué)領(lǐng)域的共同基礎(chǔ)的主要部分。 蒙太格語法的出發(fā)點是通用語法思想。所謂通用語法思想，其基本的觀點就是 認(rèn)為自然語言和邏輯人工語言不存在實質(zhì)上的差異，他通過對于自然語言英語的一 個片斷的邏輯分析，得出了一個驚人的結(jié)論，他在( ( f o r m a lp h i l o s o p h y ) 一文中聲 稱：“在自然語言和邏輯學(xué)家的人工語言之間，并不存在重要的理論上的差別。我認(rèn) 為，把這兩種類別語言的語形學(xué)和語義學(xué)綜合在一個自然的并且在數(shù)學(xué)上精確的理 論框架之內(nèi)的確是可能的?！眔 他認(rèn)為能夠?qū)崿F(xiàn)這一可能性的重要依據(jù)是邏輯科學(xué)正 在由外延邏輯向內(nèi)涵邏輯過渡。當(dāng)不少人對內(nèi)涵邏輯的建構(gòu)心存疑惑時，蒙太格卻 抱有信心。在他的另一研究成果論某些哲學(xué)實體的性質(zhì)中，正是通過對事件、 任務(wù)、體驗、義務(wù)等抽象名詞的邏輯分析，把它們歸約到邏輯學(xué)中的謂詞，并由此 構(gòu)建內(nèi)涵邏輯系統(tǒng)。 蒙太格語法在一階邏輯的基礎(chǔ)上通過對語句的結(jié)構(gòu)和賦值增加了某些強有力 的形式工具而形成?！靶问秸Z言包括：( i ) 一階謂詞邏輯；( i i ) 模態(tài)算子：( i i i ) 時 態(tài)算子；( i v ) 蘭姆達抽象；( v ) 形成謂詞內(nèi)涵和外延的算子。蒙太格的形式語言 又可稱之為內(nèi)涵語言?！? 在這里蒙太格是依據(jù)個體，真值，可能世界和時問坐標(biāo)以及 所有這些的函項概念給出了內(nèi)涵語言的一個模型，構(gòu)建新型的系統(tǒng)。 r i c h a r dm o n t a g u e ，f o r m a l p h i l o s o p h y n e w h a v e n ：y a l eu n i v e r s i t y1 9 7 4 年版第2 2 2 頁 4 鄒崇理：邏輯、語言和蒙太格語法社會科學(xué)文獻版札1 9 9 5 年版第7 8 負(fù)。 自2 0 世紀(jì)7 0 年代初蒙太格語法誕生以來，對現(xiàn)代邏輯、理論語言學(xué)以及計算 機人工智能科學(xué)等研究領(lǐng)域產(chǎn)生了廣泛而積極的影響。所以，很多學(xué)者都認(rèn)為蒙太 格語法是語言學(xué)發(fā)展的一個里程碑，蒙太格語法在語義學(xué)中的革命，可以與喬姆斯基 學(xué)派在生成語法學(xué)中的革命相媲美。盡管在蒙太格從事于理論研究之前，語言學(xué)家、 哲學(xué)家和邏輯學(xué)家之間富有成效的相互交流的可能性一直存在，學(xué)科之間的互補性 成果也時有產(chǎn)生。但是直到蒙太格的基礎(chǔ)性貢獻以后，對自然語言的語義學(xué)中句法和 語義的交匯研究才有一個令人滿意的系統(tǒng)和綜合的框架。 本文共四個部分： 第一部分：關(guān)于蒙太格語法。闡釋蒙太格語法的廣義含義和狹義含義。以及邏 輯語法的基本輪廓。 第二部分：蒙太格語法的形成背景。共分為兩部分，第一部分：對蒙太格存在 之前的各種理論以及它們與蒙太格語法的聯(lián)系作了探討，介紹了蒙太格語法的歷史 來源：第二部分：對蒙太格語法的理論來源做詳細(xì)的分析。 第三部分：蒙太格語法的基本內(nèi)容。著重分析了蒙太格語法的基本內(nèi)容，其中 通用語法，內(nèi)涵邏輯語言以及p t q 系統(tǒng)是重點，通過對其基本內(nèi)容的探析對蒙太格 語法作詳細(xì)的解讀。 第四部分：關(guān)于蒙太格語法的評價。本部分分別從蒙太格語法對邏輯學(xué)的影響； 蒙太格語法對語言學(xué)的影響；蒙太格語法對人工智能的影響等方面進一步說明蒙太 格語法形成的意義。 二、蒙太格語法形成的背景： ( 一) 蒙太格語法形成的歷史背景 1 生成語義學(xué)的早期傳統(tǒng) 在語義學(xué)發(fā)展歷史的早期，有影響力的學(xué)者凱茨( k a t z ) 和福德( j a f o d o r ) 在 語義學(xué)的研究中，長期運用音位學(xué)研究意義和結(jié)構(gòu)問題的方法，特別關(guān)注“意義特 征”。而邏輯學(xué)家呢? 則正如奎因所說：“邏輯追求語法樹的真值刻畫”?！氨M管凱茨 和福德也尋求句子的意義如何由其最小部分的意義所確定，以及從部分到整體的句 法派生的組合性說明，用語法樹的真值方式來尋求這種“特征”的刻畫，他們按照特 征的復(fù)雜性，而不是真值條件的復(fù)雜性把意義分析為可描述的。對此大衛(wèi)劉易斯 在普通語義學(xué)明確指出：雖然我們并不知道一個英語句子的意義的第一要件，即 它在什么條件下為真，但我們可以知道它的人工語義標(biāo)記的翻譯。不處理真值條件的 語義學(xué)就不是語義學(xué)。譯為人工標(biāo)記充其量不過是真正語義學(xué)的代用品，無論是依賴 于我們( 在將來某個時期) 用人工標(biāo)記說話的潛在能力( t a c i tc o m p et e n c e ) ，還是依賴我 們能夠給至少一種語言的人工標(biāo)記建立真正語義學(xué)的能力?！?。 語言學(xué)家的確在人工標(biāo)記中假定了這種潛在的能力，并把它用來描繪關(guān)于普遍 的和固有的描述的假定。后來杰里福德將此稱之為“思想的語言”f l a n g u a g eo f t h o u g h t ) ，因而也就不需要進一步的解釋。然而，最終的問題仍然是，為了構(gòu)造像“原 因”( c a u s e ) 這樣的算符的名字，或者像“動因”( a g e n t ) 這樣的特征，而不涉及到 確定它們可能意味著什么這樣一個最難對付的問題。當(dāng)人們著眼于從不同的語言，或 在不同語言的分析中，甚至同一語言的不同結(jié)構(gòu)中所設(shè)想的包含有“同一”運算符的 爭論時，情況同樣是顯而易見的。 一些哲學(xué)家像維爾馬曾( v e r m a z e n ) 和劉易斯認(rèn)為“標(biāo)記”語言是空洞的，而生成 語言學(xué)家關(guān)心真值則是令人難以理解；“語義學(xué)應(yīng)當(dāng)關(guān)心精神( m e n t a l ) 描寫，因為語 義是語言功能的一部分，對它的解釋是語言學(xué)家的中心關(guān)切。語義初始的解釋應(yīng)當(dāng)按 。蔡曙山：言語行為和語用邏輯中國社會科學(xué)版社t 9 9 8 年版第7 6 負(fù)一7 7 負(fù) 照概念來進行。關(guān)于語義的這種解釋的詳細(xì)研究，有點類似于關(guān)于音位學(xué)的語音學(xué) 的研究方式。它包含有一交匯點，在這一交匯點上，語言學(xué)和非語言學(xué)( 但仍是心理的) 因素可以結(jié)合起來。實際的真與語義學(xué)無關(guān)，在真值條件和后承關(guān)系之外的更豐 富的語義學(xué)概念在那個時代尚未被語言學(xué)家所廣泛認(rèn)識?！痹? 0 世紀(jì)6 0 - - 7 0 年 代語言學(xué)家致力于對同義、反義、異常、歧義以及涉及諸如一所給語句有多少種意 義，何種意義被何種句子所具有這種結(jié)構(gòu)概念。 這些問題主要關(guān)心意義的同與異，意義被構(gòu)造的方式，因而能夠按照描寫的方式 被有效地提出。語言學(xué)家研究詞匯意義，有時也涉及到解釋、轉(zhuǎn)喻等方面，但卻不會 擴展到系統(tǒng)地關(guān)注指稱或后承等概念。因而，真值條件語義學(xué)對語言學(xué)的日漸增強的 影響不僅導(dǎo)致語言學(xué)家有了回答問題所需的工具手段，而且對語義詢問的發(fā)問性質(zhì) 也隨之逐漸地發(fā)生了改變。 “語義學(xué)中的真值條件在邏輯學(xué)家和語言哲學(xué)家的工作中有它的根源。在他們 看來，語義學(xué)是研究語言和語言所談及的對象之間的關(guān)系的，至于語言的解釋則可以 是現(xiàn)實世界，或者現(xiàn)實世界的一部分，或者它的一個假設(shè)的模型，或者某些人工語言 的構(gòu)造性模型。至少自弗雷格( f r e g e a n ) 以來，一些哲學(xué)家或邏輯學(xué)家就傾向于語義 是非心理的信念，在語言和我們語言的知識兩者之問做出了區(qū)分，并且一般的把指 稱、真值和后承關(guān)系看作是達到最低程度的語義描寫的主要語料( d a t a ) ?！薄?在蒙太格以前，大多數(shù)邏輯學(xué)家和大多數(shù)語言學(xué)家基于不同的理由都認(rèn)為由邏 輯學(xué)家所發(fā)展起來的形式語言的句法和語義裝置不可能應(yīng)用于自然語言的分析。邏 輯學(xué)家認(rèn)為自然語言太不系統(tǒng)，充滿了含糊與歧義，不具備形式化所要求的語言特 質(zhì)。邏輯學(xué)家也銘記著塔爾斯基( f r e dt a r s k i ) 的教誨，自然語言包含著它自己的真謂 詞，因而不可能被一致性地構(gòu)造。 那些采用了邏輯學(xué)的形式語言的句法和語義構(gòu)造概念的語言學(xué)家則出于以下 。鄒崇理自然語言邏輯研究北京大學(xué)出版社2 0 0 0 年版第6 4 頁。 。鄒豢理蒙太格語義學(xué)簡介國外浯言學(xué) 1 9 9 3 年第3 期。 一個或兩個理由也同樣拒絕了邏輯學(xué)家的處理：( 1 ) 由邏輯學(xué)家創(chuàng)制和研究的形式語 言其構(gòu)造與任何一種自然語言都毫無共同之處，不可能歸屬于可能的人類語言的范 圍之內(nèi)，因而與語言學(xué)是無關(guān)的，( 2 ) 由于邏輯學(xué)家一般地不關(guān)心心理現(xiàn)實性問題，而 它對大多數(shù)語言學(xué)家卻十分重要；由此導(dǎo)致不僅邏輯學(xué)家和語言學(xué)對可能的語言含 義的不同看法，而且導(dǎo)致真值條件和后承關(guān)系在語義研究中的作用看法不同。語言學(xué) 家對于語言的直覺并不總是可靠的。 2 哲學(xué)和邏輯學(xué)的新發(fā)展 在哲學(xué)和邏輯學(xué)內(nèi)，弗雷格( f r e g e a n ) 、卡爾納普和塔爾斯基( a l f r e dt a r s k i ) 的基 礎(chǔ)性研究在2 0 世紀(jì)3 0 年代中期結(jié)出碩果，模態(tài)邏輯，時態(tài)邏輯，條件旬邏輯，指稱的 晦暗性以及一些富有哲學(xué)意味的自然語言現(xiàn)象的分析相繼出現(xiàn)。“由不同的公理系統(tǒng) 所刻畫的不同模態(tài)邏輯之間的競爭，導(dǎo)致像奎因這樣的哲學(xué)家把模態(tài)和內(nèi)涵概念看 作是無法治愈的不清晰而加以拒絕。但是當(dāng)克里普克( k r i p k e ) ，坎格( k a n g e r ) 和辛迪卡 ( h i n t i k k a ) 第一次為模態(tài)邏輯提供了模型論語義學(xué)，這一領(lǐng)域獲得了徹底的改造。世 界之間不同的可通達關(guān)系的不同的可能世界語義學(xué)對于不同的模態(tài)邏輯之間的區(qū)別 起著一個主要參數(shù)的作用。因而必然可被分析為在所有的可通達的可能世界中為真。 不同種類的可通達關(guān)系( 例如，對稱的或不對稱的，自返的或非自返的) 能夠合乎情理 地聯(lián)系到不同種類的必然性( 邏輯的，倫理的，認(rèn)識論的等) 。以代替關(guān)于因出現(xiàn)不同 的模態(tài)邏輯和它們的應(yīng)用的研究而產(chǎn)生的哪一個模態(tài)邏輯是正確的爭論?！薄？?爾納普( c a m a p ) 很早就從事這方面的研究，但他并沒有把( 邏輯的) 必然真分析為在所 有模型中為真。但克里普克論證了語言( 基于后承的語義學(xué)概念) 的可能模型與作為 應(yīng)包括在所給的模型內(nèi)用于對模態(tài)概念給出模型論語義學(xué)的元素的可能世界( 事物 的可能狀態(tài)，事物可能是或可能一直是的不同方式) 之間區(qū)別的重要性。 模型和世界之間的區(qū)別對所有的內(nèi)涵構(gòu)造的語義學(xué)都是一個重要問題，但也是 一個并不總是被清楚理解的問題。對那些來自語言學(xué)而非邏輯學(xué)的語義學(xué)的研究者 。陳熹映：語言哲學(xué)北京大學(xué)出版社2 0 0 3 版第4 8 頁。 來說，形成這種困難的部分原因是邏輯學(xué)家習(xí)慣于自由地設(shè)計具有未加解釋的非邏 輯詞項的形式語言，規(guī)定可供選擇的模型，然后對一所給的語言提供可選擇的可能的 解釋。另一方面，語言學(xué)家傾向于假定，他們所研究的自然語言是一個獨立自存的經(jīng) 驗現(xiàn)象，因而對一種語言所選擇的模型論解釋的概念他們既不熟悉也感覺不夠自然。 模態(tài)邏輯領(lǐng)域的模型論技術(shù)的最終擴展導(dǎo)致了邏輯和語言哲學(xué)研究的極大擴張 出現(xiàn)了量化模態(tài)邏輯、時態(tài)邏輯、索引詞和指示詞邏輯，形容詞和副詞，命題態(tài)度動 詞，條件句和更一般的內(nèi)涵性的研究。除了少數(shù)例外，這些工作的絕大多數(shù)遵循著早 期的傳統(tǒng)，即不對被研究的自然語言的構(gòu)造與它們的邏輯語義分析之間的關(guān)系進行 形式化刻畫，起一種英語和用于分析的形式語言的雙語代言人的作用；只有形式語言 能被提供模型論語義學(xué)。在這些研究中關(guān)于自然語言表達式的語義內(nèi)容的許多深刻 見解被提出，但是關(guān)于語義內(nèi)容與句法結(jié)構(gòu)的系統(tǒng)性關(guān)系的研究卻進展甚微，因為語 義上有關(guān)句法結(jié)構(gòu)的自然語言構(gòu)造并不是十分明確的，為此所采取的策略是“嚴(yán)密的 組織”( r e g i m e n t a t i o n ) ：包含有句法上透明的滿足邏輯學(xué)家邏輯上完美標(biāo)準(zhǔn)的 語言上的構(gòu)造的類似物的創(chuàng)制與分析：這種語言是對每一句法形成規(guī)則有唯一的語 義解釋規(guī)則的無歧義可描述的語言。 這些發(fā)展可追溯到皮爾斯、莫里斯和卡爾納普的“邏輯句法”，或“邏輯語法” 以及邏輯學(xué)家的單純概念的傳統(tǒng)的出現(xiàn)。他們做出了句法學(xué)( 良構(gòu)規(guī)則) ，語義學(xué)( 良 構(gòu)表達式的解釋，詳加說明的真值理論或模型論) 和語用學(xué)( 關(guān)于語境中表達式的使 用的規(guī)則或原理) 的煞費苦心的劃分。但是，盡管在那一傳統(tǒng)中的許多工作由普通語 言中的語義學(xué)問題所引起，而且也是關(guān)于普通語言學(xué)的語義學(xué)的，在蒙太格直接地系 統(tǒng)地應(yīng)用邏輯學(xué)家的技術(shù)于自然語言的語法分析之前，很少有人在這方面做出嘗試。 3 喬姆斯基學(xué)派的革命 隨著喬姆斯基著作的出版，喬姆斯基學(xué)派在語言學(xué)領(lǐng)域中的革命于1 9 6 0 年的中 期達到鼎盛時期?！鞍秃? b a c h ) 將這場革命稱之喬姆斯基的論題( c h o m s k y s t h e s i s ) 即英語( 以及其它自然語言) 能夠作為形式系統(tǒng)在句法水平上加以描寫。巴赫將這一 論題與蒙太格的英語能作為一解釋的形式系統(tǒng)這一論題相對照。先前盛行的那種認(rèn) 為自然語言太不系統(tǒng)，無法進行形式的分析的觀點，被認(rèn)為是持之膚淺。不能理解表 面上看上去缺乏系統(tǒng)的組織，實際上卻是一個雖然復(fù)雜但卻絕非不系統(tǒng)的規(guī)則或原 理的集合的相互作用的結(jié)果?！?。 在喬姆斯基革命前的語言學(xué)中的語義學(xué)，主要關(guān)心詞匯意義的解析性分析。對 詞匯語義的處理仍然是識別語義“特征”或組合成詞匯意義的語義“原子”。關(guān)于整 個的解析為這種語義原子是否可能，以及關(guān)于自然語言的“語義原始成分”( s e m a n t i c p r i m i t i v e s ) 的普遍性和非普遍性的爭論，雖然激烈但沒有結(jié)果。日漸增強的句法居支 配地位的影響，不久開始轉(zhuǎn)向注意句法和語義歧義之問的關(guān)系問題，以及探索一些 相對獨立于“意義是什么”的結(jié)構(gòu)問題：語義描寫經(jīng)常模仿句法樹結(jié)構(gòu)( 有時受到某 些邏輯句法的影響) ，在一些理論中語義描寫被認(rèn)為等同于句法結(jié)構(gòu)的某些平面。如 上所述，在生成語法的初期，語句的關(guān)鍵的語義性質(zhì)被認(rèn)為是歧義，反義和同義，以及 按照一所給語句有多少種解釋，什么樣的語句有什么樣的解釋來分析。 喬姆斯基和杰肯多夫( j a c k e n d o f o 領(lǐng)導(dǎo)下的解釋語義學(xué)基于語法描寫( 語法能不 訴諸于語義概念來描寫) 和論證( 相互競爭的句法分析問的選擇能夠獨立于語義學(xué)的 證據(jù)做出) 這兩個方面的理由而堅持句法自治的原則。在生成語義學(xué)與解釋語義學(xué)的 “語言學(xué)戰(zhàn)爭”處于白熱化階段，蒙太格正埋頭于自然語言的探索。盡管蒙太格和語 言學(xué)的語義學(xué)家彼此所知甚少( 蒙太格知道喬姆斯基的工作，并對他的嚴(yán)格性目標(biāo)表 示尊重，但對他脫離語義研究句法的成效性表示了懷疑) 。但正如帕蒂所指出的：蒙太 格的著作對語言學(xué)家的潛在吸引力是，它提出了句法和語義之間的一個有趣的不同 觀點，這種觀點能夠為沖突觀點的雙方提供一個雙方能夠接受的基點?！懊商翊鷶?shù) 的p t q 范例說明了巴赫稱之為句法與語義對應(yīng)的規(guī)則的處理，句法規(guī)則將表達式組 合形成更復(fù)雜的表達式，相應(yīng)的語義規(guī)則把整體解釋為相應(yīng)部分的解釋的函項。這與 生成語義學(xué)和解釋語義學(xué)的處理是完全不同的，后者是按照流行的從一些短語結(jié)構(gòu) 寧春巖等：喬姆斯基語言理論介紹黑龍江大學(xué)出版社t 9 9 2 年舨第4 5 頁。 生成深層結(jié)構(gòu)的句法派生的概念經(jīng)由轉(zhuǎn)換到表層結(jié)構(gòu)的方式形成的。其爭論的焦點 是在何種句法描寫的水平上為語義解釋提供基礎(chǔ)?！闭Z言學(xué)家中與蒙太格規(guī)則對規(guī) 則處理方式最為接近的是k a t z 和j a 福德，他們提出了喬姆斯基的t 一標(biāo)記( 深層 結(jié)構(gòu)t 一標(biāo)記加轉(zhuǎn)換史) 的組合性解釋。但是，一旦在凱茨和波斯特引入轉(zhuǎn)換可以保 存意義的這一在某種意義上是對生成語義學(xué)的限定的假設(shè)之后，這種處理就因其太 不加限制而被迫放棄。解釋語義學(xué)并沒有返回到早期凱茨和福德的派生的t 一標(biāo)記的 對應(yīng)處理中去，而是著眼于表層結(jié)構(gòu)的水平，探尋在句法描寫的何種其它平面上輸入 語義解釋。 ( 二) 蒙太格語法形成的理論背景 1 轉(zhuǎn)換生成語法 轉(zhuǎn)換生成語法是5 0 年代以來西方學(xué)術(shù)界影響很大的形式語言學(xué)派。其創(chuàng)始人喬 姆斯基( n c h o m s k y ) 以笛卡爾理性主義哲學(xué)思想為指導(dǎo)，認(rèn)為語言學(xué)主要研究人類理 解和生成語句的先天能力，這種能力通過一整套生成句子的規(guī)則系統(tǒng)體現(xiàn)出來。t g 運用演繹方法構(gòu)造規(guī)則系統(tǒng)，據(jù)此可以推出各類語言表達式，可以生成符合語法的 句子。 t g 從5 0 年代后期到7 0 年代初期經(jīng)歷了幾個發(fā)展階段：t g 的經(jīng)典理論時期，以 喬姆斯基1 9 5 7 年發(fā)表的句法結(jié)構(gòu)一書為標(biāo)志。這時的t g 非常強調(diào)語言的生成 能力，由有限多條句法結(jié)構(gòu)規(guī)則生成無限多個語句來。他把語法看成是一個能生成 無限句子的有限規(guī)則系統(tǒng)，規(guī)則的制定應(yīng)具有生成性( 通過規(guī)則能自己生成句子) 、 簡化性( 主張形式化、符號化的表示方法) 、明了性( 清楚明白，不含糊不清) 、詳盡 性( 力求概括一切語言現(xiàn)象) 、遞歸性( 規(guī)則能重復(fù)使用，生成無限的句子) 。其次還 引入了轉(zhuǎn)換規(guī)則，把句子的深層結(jié)構(gòu)轉(zhuǎn)換成表層結(jié)構(gòu)。經(jīng)典時期的t g 是不考慮語義 問題的?！? 0 年代，t g 發(fā)展到標(biāo)準(zhǔn)理論的階段。這時t g 分為三大塊規(guī)則系統(tǒng)：句法、 o 鄒祟理：蒙太格語義學(xué)簡介國外語言學(xué)1 9 9 3 年第3 期。 2 t o ：轉(zhuǎn)換生成語法。 語義和語音。句法部分由基礎(chǔ)和轉(zhuǎn)換兩部分組成，基礎(chǔ)部分除改寫規(guī)則以外，還有 詞典，詞典中列入各詞項的句法特征、語義特性和語音特性，基礎(chǔ)部分生成深層結(jié) 構(gòu)，轉(zhuǎn)換部分把深層結(jié)構(gòu)改變成表層結(jié)構(gòu)。在這里，句法部分是語法的生成部分， 具有創(chuàng)造生成句子的能力，而語音部分和語義部分只是語法的兩個解釋部分。標(biāo)準(zhǔn) 理論時期的t g 開始關(guān)注語義研究。此后，t g 圍繞語義問題又經(jīng)歷了擴展的標(biāo)準(zhǔn)理論 階段與修正的擴展的標(biāo)準(zhǔn)理論階段。前者認(rèn)為語義解釋有部分是依附句法表層結(jié)構(gòu) 之上的，后者則完全把語義解釋放到句子的表層結(jié)構(gòu)上。顯然，由于自然語言語義 問題的復(fù)雜性，才導(dǎo)致t g 理論的不斷修正和發(fā)展?！?。 t g 在自然語言的句法結(jié)構(gòu)處理方面是比較成功的，m g 英語系統(tǒng)的句法規(guī)則充 分吸取了t g 的長處。但t g 始終未能提出較為滿意的語義理論，m g 以此為突破口， 提出較為完整的關(guān)于自然語言的形式語義學(xué)理論，從而體現(xiàn)出對t g 的超越，簡單概 括的說，m g 語義學(xué)不同于t g 的要點有：( 1 ) 用更為精確的內(nèi)涵邏輯來解釋自然語言 的語義，這種解釋最終把自然語言同外部世界聯(lián)系起來，通過外部世界的抽象模型 來顯示自然語言的語義所指：( 2 ) 像t g 用演繹方法描述句法學(xué)那樣，“m g 對自然語言 的語義學(xué)也進行了嚴(yán)格的形式處理，使語義的組合如同t g 關(guān)于句法結(jié)構(gòu)的生成一樣 具有能行可操作的特點。這個目標(biāo)通過貫徹語義與句法的同態(tài)對應(yīng)原則得以實 現(xiàn)；”( 3 ) 對英語中一些特定的詞項，如限定詞的量化語義，動詞和命題態(tài)度詞的 內(nèi)涵特征，m g 利用數(shù)理方法刻畫這些對象的特定優(yōu)勢，調(diào)動多種邏輯工具進行處理， 從而獲得較為滿意的效果。 2 范疇語法理論 范疇語法是蒙太格語法對自然語言句法范疇進行分類的依據(jù)，同時也是蒙太格 語法的理論背景之一。范疇語法的思想最初源于弗雷格，其完整的表述歸功于3 0 年 代的波蘭邏輯學(xué)家列斯尼夫斯基( k s n i e w s k i ) 和愛裘凱維茨( a j d u c i e w c z ) ，5 0 年代蘭貝 。寧春巖等：喬姆斯基語言理論介紹黑龍江大學(xué)出版社1 9 9 2 年版第6 3 6 4 頁 。鄒崇理：邏輯、語苦和信息人民出版社2 0 0 2 年版第3 8 頁。 克( j l a m b e k ) 提出的有關(guān)代數(shù)演算標(biāo)志范疇語法在技術(shù)上的成熟。 范疇語法的基本思想是：自然語言的兩個基本范疇( 名詞范疇n 和句子范疇s ) 派 生出其他范疇；自然語言的生成組合是通過其組成部分所屬范疇的運算來實現(xiàn)的。 “基本構(gòu)成： 具有初始范疇的有窮集合 如初始范疇n p ( 代表名詞短語) 和s ( 代表句子) 的集合。 構(gòu)造從初始范疇生成若干派生范疇的形成規(guī)則 如派生范疇的生成：若a 和b 是范疇，則a b ( 或m b ) 是范疇。 具有揭示語言符號串在毗連生成的同時進行范疇推演或運算的句法規(guī)則 ( 1 ) 若a 是屬于范疇b a 的表達式并且b 是屬于范疇a 的表達式，則ab 是屬 于范疇b 的表達式。 ( 2 ) 若a 是屬于范疇a 的表達式且r 是屬于范疇a b 的表達式，則a r 是屬于范 疇b 的表達式。給語言的每一詞條指派一個范疇。如給j o h n 指派范疇r i p ，給w a l k s 指派n p s ，給q u i c k l y 指派( n p s ) ( n p s ) ，等等。 實際操作的例子為： j o h n l o v e s m a r y n p( n p s ) n pn p據(jù)規(guī)則( 1 ) 自然語言的毗連 n p s據(jù)規(guī)則( 2 ) 生成變成范疇推演或運算) s 篼一步：由( n p s ) n p 和n p 推出n p s 第二步：由n p 和n p s 推出s 。 形式表述： 作為形式語言的范疇語法l ：( v ，b a s c a t ，c a t ，r s ，r t ) v 是l 的詞庫：( 自然語言若干詞條的集合) b a s c a t 是初始范疇的集合：( 如 s ，n p ) ) c a t 是所有句法范疇的集合；( 包括派生范疇如n p s 等) r s 是兩類規(guī)則的集合；( 范疇遞歸生成的規(guī)則和范疇推演運算對應(yīng)自然語言表達式 毗連的規(guī)則) r t 是給v 中詞條指派適當(dāng)范疇的規(guī)則的集合。 范疇語法最重要的技術(shù)特征是對范疇運算的理解。s 和n p 是初始范疇，帶斜線 “”或“”的范疇是派生的范疇，不同的斜線表明不同的運算方向。所謂函子范 疇( f a c t o rc a t e g o r y ) 和主目范疇( a r g u m e n tc a t e g o r y ) 及取值或結(jié)果范疇( r a n g eo r r e s u l tc a t e g o r y ) 的概念是相對而言的。如b a 和a b 是函子范疇，a 就是其主目范 疇，b 就是結(jié)果范疇。如不及物動詞的范疇n p s 就是一個函子范疇，其主目范疇為 n p ，結(jié)果范疇為s 。換言之，函子范疇n p s 以n p 為主目范疇進行運算，獲得s 為結(jié) 果范疇。 函子范疇類似函項算子f ，主目范疇類似自變量x ，取值范疇類似因變量y ，其關(guān) 系為：f ( x ) = y 。將從函子范疇和相應(yīng)的主目范疇得到結(jié)果范疇的過程也可被看作是一 個推演過程，如由作為前提的函子范疇a b 和主胃范疇b 分離推出作為結(jié)論的結(jié)果 范疇a 。 蒙太格語法注意到了范疇語法所謂范疇的生成與范疇的運算與邏輯類型論語形 學(xué)相關(guān)部分非常相似。在此基礎(chǔ)上構(gòu)造一個英語部分語句系統(tǒng)的語形( 句法) 部分。 即按照范疇語法的要求確定英語范疇的分類，確定由英語詞項組成的一部詞典 ( l e x i c o n ) 。進而運用包含英語范疇毗連運算的語形規(guī)則來形成英語句子。對此m g 再給出一個嚴(yán)格意義的翻譯函數(shù)，把作為范疇語法的英語翻譯成邏輯類型論語言。 這里的邏輯類型論語言相當(dāng)于英語表達式的“語義表現(xiàn)”，翻譯就體現(xiàn)了英語語形 與其“語義表現(xiàn)”的同態(tài)關(guān)系。再通過邏輯類型論的語義學(xué)解釋這些翻譯式，就使 英語表達式真正獲得了它的語義解釋。最終實現(xiàn)了英語語形與語義的同態(tài)原則。也 。鄒崇理：邏輯、晤言和蒙太格語法社科文獻m 版社1 9 9 5 年版第2 4 。2 6 頁； 使英語語義的系統(tǒng)化描述成為現(xiàn)實。 3 機器翻譯理論： 人類對機器翻譯系統(tǒng)的研究開發(fā)已經(jīng)持續(xù)了5 0 年。事實上，自2 0 世紀(jì)4 0 年代 電子計算機誕生之日起，人類就開始了計算機應(yīng)用于語言翻譯的探索。先后出現(xiàn)了 基于雙語字典的直接翻譯型、基于抽象表達式的中間語言型和基于規(guī)則的轉(zhuǎn)換型翻 譯系統(tǒng)?！澳壳埃瑱C器翻譯領(lǐng)域的研究包括基于語言學(xué)的規(guī)則研究、基于語料庫和統(tǒng) 計方法( 如k d d 技術(shù)) 的研究、基于記憶的方法( 即t r a n s l a t i o nm e m o r y ) 研究和基于受 限語言的研究等方面。隨著人工智能和i n t e m e t 的出現(xiàn)和發(fā)展，機器翻譯的應(yīng)用前景 將更加誘人，也會帶來更多的商機?！钡珣?yīng)該注意的是今天機譯系統(tǒng)的翻譯質(zhì)量還 很差，5 0 年來譯文質(zhì)量沒有取得實質(zhì)性的突破，幾乎所有的機器翻譯界專家都有這 樣的同感：機器翻譯要能達到實用化的水平，還有很長的路要走。 面對這樣影響機器翻譯技術(shù)實用化的根本性問題，不能不使我們重新審視已經(jīng) 走過的路程，機器翻譯理論經(jīng)過半個世紀(jì)的研究發(fā)展，今天仍然沒有一個真正實用 的機譯系統(tǒng)出現(xiàn)，問題的癥結(jié)正是由于現(xiàn)有的機器翻譯技術(shù)缺乏能夠真正反映機器 翻譯內(nèi)在規(guī)律的理論依據(jù)，導(dǎo)致了其核- t l , 技術(shù)的研究長期以來始終不能取得突破性 的進展。而基于自然語言語義理解”的翻譯理論，恰恰在這一領(lǐng)域?qū)崿F(xiàn)了翻譯質(zhì)量 和翻譯速度上質(zhì)的飛躍，使得機器翻譯技術(shù)真正走向了實用，開創(chuàng)了機器翻譯的新 篇章。 “基于自然語言語義理解的翻譯理論( 以下簡稱為理論) 認(rèn)為，自然語言的本質(zhì)要 素是語義，其表現(xiàn)形式( 包括語言符號、詞法和句法等) 只不過是語義的載體，而詞 是語義的基本載體，并由此提出了原子語義和原子語義集合的概念。原子語義是構(gòu) 建語義環(huán)境的基本要素，自然語言的表現(xiàn)形式所攜帶的語義是由原子語義通過相應(yīng) 的表現(xiàn)約定來體現(xiàn)的?！碑嬕虼死碚撜J(rèn)為，機器翻譯的根本任務(wù)就是實現(xiàn)同一語義在 。馮志偉：蒙太格文法在機器翻譯中的應(yīng)用現(xiàn)代圖書情報技術(shù)1 9 8 7 年第4 期。 姚天順等：一種讓機器懂得人類語言的研究清華大學(xué)出版社2 0 0 2 年版第9 8 頁 不同表現(xiàn)形式之間的轉(zhuǎn)換。并進一步將這一任務(wù)分解為主動語義描述模型的建立和 自主翻譯邏輯的確定兩部分。在主動語義模型中，首次提出了語義詞庫的概念，并 將語義詞庫中收錄的詞條理解為攜帶有原子語義集合的包括單詞、詞組、短語、句 型模式乃至于一個完整句子在內(nèi)的廣義詞條。建立在語義詞庫基礎(chǔ)之上的智能選詞 技術(shù)和翻譯復(fù)用技術(shù)，則是實現(xiàn)語義發(fā)現(xiàn)、語義提取和語義復(fù)用的關(guān)鍵。在自主翻 譯邏輯中，理論提出了語義體和復(fù)合語義體的概念，并將語義體理解為基本翻譯單 位。通過語義體之間的可組合特性，實現(xiàn)語義環(huán)境的自動構(gòu)造，進而實現(xiàn)語義的準(zhǔn) 確描述；通過語義體之間的語序調(diào)整，實現(xiàn)語義的準(zhǔn)確表達?？傊碚摏]有遵循傳 統(tǒng)翻譯理論從詞法分析到語法分析最后實現(xiàn)轉(zhuǎn)換的思路，而是抓住語言的本質(zhì)特征， 突出以語義為中心的思想，通過主動語義模型和自主翻譯邏輯來實現(xiàn)在源語言和目 標(biāo)語言之間語義的準(zhǔn)確傳遞和再表現(xiàn)。 基于自然語言語義理解的翻譯技術(shù)，是建立在自然語言內(nèi)在規(guī)律和普遍共性基 礎(chǔ)上的一套機器翻譯理論體系。由于它是按照人工翻譯中人的思維邏輯來建立描述 模型和翻譯邏輯的，使得其翻譯質(zhì)量可與人工翻譯的質(zhì)量相媲美；另方面，由于其 算法的簡潔性，避免了復(fù)雜的語法分析，不依賴龐大的規(guī)則庫和語料庫，因而使得 其翻譯速度較之傳統(tǒng)的翻譯技術(shù)有了很大的提高。 三、蒙太格語法的基本內(nèi)容 蒙太格語法的基本內(nèi)容可概括為：邏輯語言和自然語言的通用語法思想；句法 和語義的對應(yīng)原則和意義的組合原則；自然語言部分語句系統(tǒng)的思想；命題態(tài)度和 內(nèi)涵邏輯的概念：形式語用研究；處理索引句的語用思想等等。本文主要介紹：通 用語法思想：類型語言理論、p t q 系統(tǒng)。 1 通用語法思想 在蒙太格工作的年代，語義學(xué)。直是一個十分活躍但卻頗富爭議的研究領(lǐng)域。 不同的學(xué)科對它有截然不同的處理。形成這種差異的一個主要根源是研究對象的選 擇不同?？梢哉f有多少種涉及到意義問題的研究學(xué)科，就有多少種關(guān)于意義研究的中 心問題。例如笛卡爾主義，在語言與思維，語言與交際，語言與真理以及語言與結(jié)構(gòu) 等不同的方面，就有完全不同的意義觀。 蒙太格認(rèn)為，自然語言和邏輯學(xué)家的人工語言之間不存在重要的理論差別。實 際上，在一個自然而然，并且具有數(shù)學(xué)精確性的理論框架中概括這兩大類語言的句 法學(xué)和語義學(xué)，這是可能的。由此，蒙太格提出了一個通用語法( u n i v e r s a lg r a m m a r ) 模式來描述邏輯人工語言與自然語言的某些共同規(guī)律。其主要思想： ( 1 ) 自然語言與邏輯人工語言本質(zhì)上是相通的，邏輯語義學(xué)的基本思想方法可運 用于自然語言。邏輯語言可從數(shù)學(xué)角度分為語形( 句法) 、語義及語用的不同層面來進 行研究，自然語言也能劃分為這樣三個層面。 ( 2 ) 自然語言的內(nèi)在結(jié)構(gòu)同邏輯語言一樣是一種無歧義語言，由無歧義的深層結(jié) 構(gòu)變換到歧義的表層結(jié)構(gòu)是有規(guī)律可循的。 蒙太格進一步注意到，自然語言的句法和語義同樣有類似的結(jié)構(gòu)特征。對兩大 類語言的情況進行概括，就得到所謂通用語法的模式?！懊商竦耐ㄓ谜Z法主要有句 法語形( s y n t a x ) 與語義( s e m a n t i c s ) 兩大部分，此外還有附加的翻譯理論。句法部分 表現(xiàn)為無歧義語言( d i s a m b i g u a t e dl a n g u a g e ) 至l j 歧義語言( a m b i g u a t e dl a n g u a g e ) 的過 渡?！眔 此外，蒙太格還定義了基本表達式集合x s ，的擴展c d 及其族( f a m i l y ) 的概念。 其次，蒙太格據(jù)此給出語言( 即歧義語言) 的定義。對歧義語言l ，蒙太格還定義了 一系列有關(guān)概念，如l 的恰當(dāng)表達式集合p e l 還有l(wèi) 的導(dǎo)出句法規(guī)則的類k 等概 念。值得注意的是，蒙太格還巧妙地利用r 的概念從純粹的句法角度給出了句法歧 義的定義。 關(guān)于通用語法理論，蒙太格分為意義理論f t h e o r yo fm e a n i n g ) f 1 指稱理論 f t h e o r yo fr e f e r e n c e ) 。簡單說，意義理論主要指歧義語言的語義解釋，而指稱理論 1 鄒崇理：邏輯、語言和蒙太格語法社科文獻 f ；版社1 9 9 5 年版第7 6 一7 8 礬 則涉及弗雷格解釋( f r e g e a ni n t e r p r e t a t i o n ) 、模型( m o d e l ) 及模型有效等概念。 在給出弗雷格解釋、模型等概念的定義之前，蒙太格介紹了表達式的類型集合 t ，個體集合e ，可能世界集合i ，使用語境( c o n t e x to fu s e ) 的集合j ，類型為y 的表 達式的可能外延的集合d r k ，以及可能的意義集合m a b ? 等有關(guān)的預(yù)備知識。 “蒙太格通用語法提供的語形句法部分、歧義關(guān)系r 、以及語義學(xué)的意義理論與 指稱理論，皆是一種建立的集合、函數(shù)概念基礎(chǔ)上的抽象框架，它不僅運用于邏輯 人工語言，也運用于自然語言?！?。換言之，它概括了邏輯語言與自然語言的共同本 質(zhì)，也表明兩大類語言在本質(zhì)上是相通的，這就是蒙太格語法的最重要的貢獻之一。 2 類型語言理論 類型理論語言是蒙太格語法的重要內(nèi)容之一?！邦愋驼Z言l c 是建立在羅素 f r u s s e l l ) 的類型理論基礎(chǔ)之上的，因此也稱為類型理論語言。” l l 有許多特點，其 中之一就是它有無窮的邏輯類型。另外，在l t 中不僅個體詞和謂詞有常元和變元之 分，而且其他詞類也有常元和變元之分。更重要的是，凡是變元都可覆蓋常元，這 樣一種邏輯語言常叫做高階謂詞邏輯。只有個體詞有變元和常元之分，變元可覆蓋 常元的謂詞邏輯稱作一階謂詞邏輯。如果個體詞和謂詞都有變元和常元之分，變元 可覆蓋常元的叫做二階謂詞邏輯。 在l t 的句法部分中主要有以下四種邏輯類型：個體常元；常用e 表示公式； 常用t 表示n 元謂詞；聯(lián)結(jié)詞包括一元聯(lián)結(jié)i q ( 目p 否定聯(lián)結(jié)詞1 一”和二元聯(lián)結(jié) 詞“八、v 、一”等。它的基本特點：( 1 ) 句法規(guī)則很簡單，只有一條，但邏輯類 很復(fù)雜，產(chǎn)生這樣一種結(jié)果的原因是邏輯類中己經(jīng)包含了句法運算的信息，這就使 得獨立的句法規(guī)則的存在不再有必要。當(dāng)然句法結(jié)構(gòu)描寫的總量并沒有變，只是原 來由句法規(guī)則描寫的任務(wù)放到了詞庫中去描寫而己。( 2 ) 它的公式生成過程都是函 數(shù)應(yīng)用過程。由于規(guī)則是描寫結(jié)構(gòu)的，l f 的公式結(jié)構(gòu)就是一種函數(shù)論結(jié)構(gòu)或稱函數(shù) 。鄒崇理：自然語言邏輯研究北京大學(xué)出版社2 0 0 0 年版第5 5 頁。 。方也：邏輯語義學(xué)中國科學(xué)m 版社1 9 8 7 年版第8 7 頁。 結(jié)構(gòu)。當(dāng)然，函數(shù)論結(jié)構(gòu)也是相對于某些理論來說的，如類型論、范疇語法等。換 言之，同樣的語言事實在不同的理論里可以通過不同的概念作出描述。( 3 ) 從泛函 運算規(guī)則可以看出，公式生成的過程都是一種二元的運算，說得簡單點就是一個邏 輯類跟另一個邏輯類的組合，從樹形圖上看，它總是不斷的二分叉，因此它的結(jié)構(gòu) 層次相當(dāng)豐富。 3 p t