■付 藝 高 蕓

形式語義學(xué)是邏輯與語言交叉研究的產(chǎn)物，是在邏輯框架內(nèi)構(gòu)建的關(guān)于自然語言的語義學(xué)。[1](P66)它與哲學(xué)、邏輯學(xué)、語言學(xué)、數(shù)學(xué)、計算機(jī)科學(xué)、人工智能和模型論等諸多學(xué)科息息相關(guān)，是一個橫跨多個研究領(lǐng)域的知識體系。形式語義學(xué)的傳統(tǒng)最早可以追溯到弗雷格，他主張用邏輯的方法研究語言的意義。[2](P1)此后，維特根斯坦、羅素、卡爾納普等人把哲學(xué)和邏輯結(jié)合起來研究意義，較為精確地刻畫了很多意義現(xiàn)象。到20世紀(jì)60年代，大部分邏輯學(xué)家和語言學(xué)家逐漸認(rèn)為，形式語言的句法和語義創(chuàng)立的運(yùn)算方式不適合分析自然語言。邏輯學(xué)家認(rèn)為自然語言充滿了多義性、含糊性、歧義性和不確定性，且缺乏系統(tǒng)性;而語言學(xué)家則認(rèn)為自然語言的結(jié)構(gòu)與形式語言大相徑庭，語言學(xué)與形式語言毫不相關(guān)。

一、經(jīng)典形式語義學(xué)

形式語義學(xué)運(yùn)用邏輯和數(shù)學(xué)的形式化方法研究自然語言的形成規(guī)律，認(rèn)為自然語言與人工語言在深層結(jié)構(gòu)方面息息相通，沒有本質(zhì)差別，可以通過建造自然語言形式系統(tǒng)的方式來解決其語義問題。形式語義學(xué)偏重句法和語義的對應(yīng)，在給定句法規(guī)則的基礎(chǔ)上確定與句法嚴(yán)格對應(yīng)的語義運(yùn)算規(guī)則，凸顯意義組合性原則，其實質(zhì)是一種關(guān)于句子的真值條件的語義學(xué)。

從19世紀(jì)末到20世紀(jì)80年代初，“意義等價于真值條件”在形式語義學(xué)中廣為流傳，這種經(jīng)典的語義觀把語言表征與世界之間的關(guān)系當(dāng)作靜態(tài)系統(tǒng)來處理，以句子為最大單位來研究意義，是一種靜態(tài)的語義學(xué)。經(jīng)典形式語義學(xué)理論有兩個突出代表:一個是塔斯基真值語義理論，另一個是蒙太格語法。

(一)塔斯基真值語義理論

1933年，波蘭邏輯學(xué)家塔斯基在《形式語言中的真概念》中直截了當(dāng)?shù)刂赋?“本文只探討真的定義問題。它的任務(wù)是，相對于一種給定的語言，建立一個實質(zhì)上恰當(dāng)?shù)摹⑿问缴险_的關(guān)于‘真語句’這個詞的意義?！盵3](P152)真語句就是句子的意義和外延。解決真語句這個詞的定義問題就是解決形式語義學(xué)中語義真概念的定義問題。塔斯基提出了著名的T等式:X是真的，當(dāng)且僅當(dāng)P。

塔斯基認(rèn)為語言具有層次性，要區(qū)分對象語言和元語言。對象語言是被分析的語言，元語言是用來分析對象語言的語言。如果不區(qū)別這兩種語言，就會混淆語義層次，產(chǎn)生語義悖論。只有在區(qū)分了對象語言和元語言的人工語言中，真理(值)才能被確切地定義。

塔斯基真值語義理論是關(guān)于形式語言的語義理論，它只關(guān)注語句的真值，對語言表達(dá)式給予外延的解釋。但是，這種語義學(xué)只考慮語言表達(dá)式和其所指對象之間的關(guān)系，不考慮語用因素，在成功地用數(shù)理邏輯研究語言的同時，也表現(xiàn)出對自然語言的語義分析和處理的局限性，因為它對真值的賦予是一次完成的，因而是一種靜態(tài)的語義觀。

(二)蒙太格語法

為了克服真值語義理論的局限性，美國數(shù)理邏輯學(xué)家、哲學(xué)家理查德·蒙太格于20世紀(jì)六七十年代創(chuàng)立了蒙太格語法——一種用數(shù)理邏輯方法研究自然語言的句法和語義的理論。蒙太格的貢獻(xiàn)在于他“在語言研究的歷史上架設(shè)起第一座宏偉的橋梁”[4](P42)。在他看來，自然語言和人工語言在本質(zhì)上是相似的，作為符號系統(tǒng)，它們都遵從共同的結(jié)構(gòu)規(guī)律。“蒙太格語法”是一個術(shù)語，指的是對自然語言的句法和語義進(jìn)行研究的理論，包含三個組成部分:產(chǎn)生部分英語語句系統(tǒng)的句法;完整的句法和內(nèi)涵邏輯的模型論語義;一套從句法分析的英語表達(dá)式到內(nèi)涵邏輯表達(dá)式的翻譯規(guī)則。

句法包括句法規(guī)則和句法運(yùn)算。句法規(guī)則由基本的或遞歸的分句的句法范疇組成，句法運(yùn)算是解釋范疇如何形成新的詞組短語的相關(guān)函數(shù)。句法范疇以兩個基本范疇為基礎(chǔ)，分別是句子范疇和實體范疇。句子范疇不包括詞項，由根據(jù)遞歸規(guī)則建構(gòu)的句子構(gòu)成。句子范疇中所有成員都有真值。實體范疇用來表征語義信息，不包括任何實體。除了兩個基本范疇之外，蒙太格還派生出了其他九個句法范疇，這九個句法范疇都包括詞匯規(guī)則和遞歸規(guī)則。詞匯規(guī)則闡明詞匯短語范疇，每一個復(fù)雜的句法范疇都有一條相應(yīng)的遞歸句法規(guī)則。句法遞歸規(guī)則和詞匯規(guī)則能夠生成基本表達(dá)式和句子。

語義解釋起源于句子的形式內(nèi)涵邏輯的翻譯。根據(jù)句法規(guī)則和語義規(guī)則之間的一一對應(yīng)關(guān)系，把句子翻譯成形式內(nèi)涵邏輯，由分析產(chǎn)生的公式?jīng)Q定模型中句子的真值。內(nèi)涵是一個從輸入集產(chǎn)生外延的函數(shù)，外延指的是句子的真值、個體對象和對象序列的集合。在內(nèi)涵邏輯系統(tǒng)中，每一條規(guī)則都是一種類型，類型也包含了語句和實體兩個基本類型。運(yùn)用內(nèi)涵邏輯的規(guī)則，從基本類型語句和實體出發(fā)，可以遞歸地產(chǎn)生所有類型的語句。

蒙太格認(rèn)為，每條句法規(guī)則都有一條與之對應(yīng)的語義規(guī)則，句法成分與語義成分之間是同態(tài)映射關(guān)系。所有表達(dá)式的意義都是由其直接構(gòu)成成分的意義組合而成，句法規(guī)則組合一次，對應(yīng)的語義規(guī)則也組合一次?；趦?nèi)涵邏輯，蒙太格對自然語言進(jìn)行形式刻畫，分析和處理了自然語言中的許多語義問題，開拓了用現(xiàn)代邏輯的形式化方法研究自然語言的新局面，奠定了形式語義學(xué)學(xué)科群體的基本思想。

蒙太格語法在刻畫語義的同時，也考慮到語用因素，將時間、地點等作為語境引人形式語義模型。與塔斯基的真值語義理論相比，蒙太格語法取得了很大進(jìn)步:第一，將形式語義學(xué)擴(kuò)展到自然語言研究領(lǐng)域;第二，將外延語義擴(kuò)展到內(nèi)涵語義;第三，將傳統(tǒng)的語義學(xué)研究擴(kuò)展到語用學(xué)領(lǐng)域。

蒙太格開辟了自然語言形式語義學(xué)研究的新視野，蒙太格語法“實現(xiàn)了現(xiàn)代邏輯和現(xiàn)代語言學(xué)的完美結(jié)合，在邏輯史上和語言學(xué)史上都是一座不可替代的豐碑”[5](P75)。但是，它仍舊以句子為最大研究對象，靜態(tài)地分析句子語義，對語境的考慮不夠充分和細(xì)致。

二、動態(tài)語義學(xué)

為了解決經(jīng)典語義理論的不足，20世紀(jì)八九十年代，意義研究實現(xiàn)了從靜態(tài)研究到動態(tài)研究的轉(zhuǎn)向，產(chǎn)生了動態(tài)語義學(xué)。它是采用動態(tài)方法分析語義問題的理論的總稱，是多個語句形成的語句群、語篇或語流的信息狀態(tài)研究。[6](P27)“意義就是潛在的信息變化”成了動態(tài)語義觀的核心。句子是語境的變化函數(shù)，每個句子的增加都會產(chǎn)生一個新的語境，句子的所指對象就是從語境到語境的映射函數(shù)，語境是語篇積聚的所有信息構(gòu)成的信息狀態(tài)。動態(tài)語義學(xué)包括語境變化理論、指派更新理論、動態(tài)蒙太格語法和信仰增減理論等，其中指派更新理論影響最大，普通動態(tài)邏輯、動態(tài)謂詞邏輯、文檔更新語義學(xué)和話語表現(xiàn)理論都屬于指派更新理論。

(一)普通動態(tài)邏輯

普通動態(tài)邏輯包含兩大部分:命題動態(tài)邏輯和量化動態(tài)邏輯。命題動態(tài)邏輯的表達(dá)式分為兩類范疇:構(gòu)成語言靜態(tài)部分的公式范疇和體現(xiàn)語言動態(tài)部分的程序范疇。這兩種范疇之間存在相互影響的機(jī)制，公式根據(jù)程序構(gòu)造，程序由公式組成。基于命題動態(tài)邏輯的量化動態(tài)邏輯也和程序有關(guān)。在句法語形方面，除了原子公式包含標(biāo)準(zhǔn)謂詞邏輯的原子公式外，還增加了原子程序的范疇。普通動態(tài)邏輯的句法語言增添的表現(xiàn)“程序”概念的表達(dá)式，不但與人類的認(rèn)知過程有密切關(guān)系，而且還與計算機(jī)程序語言相關(guān)聯(lián)。

(二)動態(tài)謂詞邏輯

動態(tài)謂詞邏輯是1991年由格羅南迪克和斯托霍爾福提出的一個體現(xiàn)動態(tài)語義學(xué)觀點的邏輯系統(tǒng)，該系統(tǒng)給經(jīng)典謂詞邏輯提供了一種動態(tài)的語義解釋。

動態(tài)謂詞邏輯有兩種語言成分:邏輯符號和非邏輯符號。前者包括否定、合取、析取和蘊(yùn)涵的聯(lián)結(jié)詞、全稱量詞、存在量詞和等詞;后者包含個體常元、個體變元和n元謂詞。根據(jù)邏輯和非邏輯符號，可以給出句法的遞歸定義。我們按照通常的方式解釋非邏輯符號。動態(tài)謂詞邏輯的模型是個體詞的論域和解釋函數(shù)的有序?qū)?，解釋函?shù)將個體、個體n元組的集合分別指派給個體常元和n元謂詞。動態(tài)謂詞邏輯的特點是:公式的外延不是真值，而是由賦值函項的序?qū)?gòu)成的集合，存在量詞則在合取式或蘊(yùn)涵式中實行跨界約束。動態(tài)謂詞邏輯的動態(tài)語義觀是經(jīng)典邏輯語義思想的擴(kuò)張，它改變了經(jīng)典邏輯的許多信條，由此衍生出不少具有啟迪性的研究思路，從而為現(xiàn)代邏輯的發(fā)展注入了新的生機(jī)。

(三)文檔更新語義學(xué)

1982年，海姆提出了文檔更新語義學(xué)，該理論研究有定名詞短語和無定名詞短語的前指和所指。海姆把話語中的信息看作一個文檔卡的集合，用自然數(shù)表示變元。在話語開始之前，文檔卡是空的，隨著話語的增加，我們不斷地在文檔卡中添加新信息。當(dāng)話語中出現(xiàn)不定名詞短語時，我們用一張新卡記錄，出現(xiàn)有定名詞短語時，不是用新卡，而是更新舊卡。一個邏輯公式的語義值是一個從文檔到文檔的函數(shù)，這種函數(shù)叫作文檔更新潛能。文檔更新語義學(xué)“把話語的語義解釋過程看作是一個動態(tài)的、變化的過程。它漸進(jìn)式地處理每一個句子，由于后一個句子總是更新了前一個句子的信息，因此只有所有的話說完以后，整個話語才有真假之分”[7](P7)。文檔更新語義學(xué)試圖解決的問題、基本假設(shè)和刻畫的方法都與話語表現(xiàn)理論有許多相同之處。

(四)話語表現(xiàn)理論

話語表現(xiàn)理論是20世紀(jì)80年代初由荷蘭邏輯學(xué)家坎普提出的一種動態(tài)地描述自然語言意義的形式語義學(xué)理論，它試圖解決句子的前指問題，克服模型論語義學(xué)中未能處理動詞時態(tài)和時體的缺陷。這種理論的研究對象不再是句子，而是句子系列，強(qiáng)調(diào)語境對句子意義的影響，認(rèn)為一個句子的意義不但取決于它本身的語義，而且依賴于語境。語言理解是一個動態(tài)變化的過程，語境既是話語的輸入也是話語的輸出。

話語表現(xiàn)理論由句法規(guī)則、話語表現(xiàn)結(jié)構(gòu)的建構(gòu)規(guī)則和話語表現(xiàn)結(jié)構(gòu)的語義解釋等三部分構(gòu)成。借鑒蓋茨達(dá)等人提出的廣義短語結(jié)構(gòu)語法，話語表現(xiàn)理論的句法規(guī)則給出的是句法算法。句法規(guī)則包括短語結(jié)構(gòu)規(guī)則和詞項插入規(guī)則，這些規(guī)則處理了名詞和代詞的數(shù)、格、性以及代詞的照應(yīng)、主謂一致等語法現(xiàn)象。

話語表現(xiàn)結(jié)構(gòu)的建構(gòu)規(guī)則給出的是語言形式和語義之間的轉(zhuǎn)換模式。話語表現(xiàn)結(jié)構(gòu)是一個有序二元組:一個話語所指的集合和一個條件的集合，話語所指的集合被稱為話語表現(xiàn)結(jié)構(gòu)的論域。話語表現(xiàn)結(jié)構(gòu)通常用方框圖來表示。開始一個新的話語時，由于還沒有任何信息，我們用一個空方框表示。隨著話語的增加，我們不斷地在方框內(nèi)添加新的信息。對于一個句子序列，我們首先分析第一個句子，獲得第一個句子的話語表現(xiàn)結(jié)構(gòu)，在此基礎(chǔ)上，分析第二個句子，也就是把第二個句子包含的語義信息加入第一個句子的話語表現(xiàn)結(jié)構(gòu)，從而獲得第二個句子的話語表現(xiàn)結(jié)構(gòu)，接著分析第三個句子，即把第三個句子所含的語義信息加進(jìn)第二個句子的話語表現(xiàn)結(jié)構(gòu)，從而得到第三個句子的話語表現(xiàn)結(jié)構(gòu)，以此類推，最后得到整個句子序列的話語表現(xiàn)結(jié)構(gòu)。話語表現(xiàn)結(jié)構(gòu)的建構(gòu)過程是一種動態(tài)的漸進(jìn)過程，“人們總是一步一步循序漸進(jìn)處理句子系列中的每一個句子。后續(xù)句子的處理依賴前面已處理過的上文，其中增添的信息內(nèi)容又成為理解更后續(xù)句子的依據(jù)”[8](P21)。

話語表現(xiàn)結(jié)構(gòu)的語義解釋是用真值條件模型論的語義學(xué)方法來解釋話語表現(xiàn)結(jié)構(gòu)。首先定義話語表現(xiàn)結(jié)構(gòu)的組成要素，接著構(gòu)造話語表現(xiàn)結(jié)構(gòu)的模型論，最后對話語表現(xiàn)結(jié)構(gòu)的構(gòu)造模型論進(jìn)行語義解釋。話語表現(xiàn)理論的形式語言包括詞匯和話語所指集。詞匯指的是名稱、一元謂詞、二元謂詞等。話語所指集由個體變項組成。話語表現(xiàn)結(jié)構(gòu)的模型是一個由論域、名稱和謂詞組成的三元組，名稱被解釋為論域中的個體，謂詞被解釋為由論域中個體構(gòu)成的n元組的集合。一個話語表現(xiàn)結(jié)構(gòu)在模型中為真，當(dāng)且僅當(dāng)一個嵌入函數(shù)能驗證其中所有的條件為真。

話語表現(xiàn)理論對自然語言的語義分析具有特殊的價值，主要表現(xiàn)在三個方面:(1)描述了名詞短語與代詞之間的照應(yīng)關(guān)系;(2)描述了名詞短語的量化意義;(3)描述了時間方面的復(fù)雜性和聯(lián)系性。話語表現(xiàn)理論刻畫了話語中跨句間的指代照應(yīng)關(guān)系，用求和法與抽象法處理復(fù)數(shù)代詞的照應(yīng)關(guān)系。話語表現(xiàn)理論利用廣義量詞理論的優(yōu)勢，認(rèn)為廣義量詞就是兩個集合的關(guān)系，在針對量化句建構(gòu)的話語表現(xiàn)結(jié)構(gòu)條件中，增設(shè)一個結(jié)合廣義量詞理論思想的表現(xiàn)形式，構(gòu)成一個雙重條件K1QK2，處理名詞短語的量化意義。話語表現(xiàn)理論還在話語所指和條件中增加了表示事件、狀態(tài)、時間等的新成員，對動詞的時態(tài)、時相、時體等眾多時間特征以及相鄰句子的動詞在時間特征方面的錯綜復(fù)雜的聯(lián)系也進(jìn)行了準(zhǔn)確、細(xì)致的刻畫。

話語表現(xiàn)理論動態(tài)地刻畫話語理解的認(rèn)知過程，受到邏輯學(xué)家、語言學(xué)家、心理學(xué)家和人工智能學(xué)家的高度關(guān)注，在國際學(xué)術(shù)界影響很大。但相對于自然語言的語義呈現(xiàn)來說，話語表現(xiàn)理論在時間性前指、代詞前指、搭橋推理和動詞短語的省略等方面還存在許多不足。話語表現(xiàn)理論只能解決典型的代詞、有定名詞短語和無定名詞短語等在有量化特征詞的話語中的前指，不能解釋或者錯誤地解釋話語中呈現(xiàn)的更繁復(fù)的前指現(xiàn)象。為了研究更多的話語現(xiàn)象，阿歇爾和拉斯卡里德斯提出，在傳統(tǒng)的分析句子邏輯式的基礎(chǔ)上，還應(yīng)該關(guān)注語句之間的邏輯關(guān)系，即關(guān)系修辭。他們創(chuàng)立了一種優(yōu)于話語表現(xiàn)理論的新的語義理論——分段式話語表現(xiàn)理論，這標(biāo)志著動態(tài)語義學(xué)進(jìn)入了一個新時代。

三、分段式話語表現(xiàn)理論

1993年，美國邏輯學(xué)家阿歇爾首先提出了分段式話語表現(xiàn)理論，2003年，阿歇爾與拉斯卡里德斯出版了《會話的邏輯》，該著作標(biāo)志著分段式話語表現(xiàn)理論的初步完成。建立在話語表現(xiàn)理論基礎(chǔ)之上的分段式話語表現(xiàn)理論在技術(shù)、思想和理論等方面都有很大創(chuàng)新，甚至是實質(zhì)的改變。因此，它不是話語表現(xiàn)理論的某一分支，而是超越話語表現(xiàn)理論的一種嶄新的語義理論。

分段式話語表現(xiàn)理論包含兩種邏輯:信息內(nèi)容的邏輯和信息打包邏輯。前者是解釋話語邏輯形式的邏輯，后者是建構(gòu)邏輯形式的邏輯。該理論引入了言語行為話語所指和修辭關(guān)系兩個新的表達(dá)式。言語行為話語所指標(biāo)記小句或語段的內(nèi)容，修辭關(guān)系使言語行為話語所指相互關(guān)聯(lián)，產(chǎn)生的結(jié)構(gòu)就是分段式話語表現(xiàn)結(jié)構(gòu)。分段式話語的表現(xiàn)結(jié)構(gòu)包括三種詞匯:微觀結(jié)構(gòu)、標(biāo)記和表示話語關(guān)系的關(guān)系符號集。任何一個話語結(jié)構(gòu)都是一個三元組，其中A是標(biāo)記集;LAST是A中最后一個小句的內(nèi)容的標(biāo)記;F是函項，該函項對A中的每個成員指派一個話語結(jié)構(gòu)公式。通常三元組可寫作。如果是一個分段式話語表現(xiàn)結(jié)構(gòu)，Kβ是新信息，那么通過某種修辭關(guān)系，β既可以粘貼到先前的小句α，也可以粘貼到通過一系列轄域覆蓋和/或從屬關(guān)系統(tǒng)制α的任何標(biāo)記γ。話語解釋不僅受制于句法結(jié)構(gòu)，而且受制于話語自身的修辭關(guān)系，即敘述、解釋、詳述、背景、平行、對比和因果等。[9](P37)

信息內(nèi)容的邏輯探討如何解釋話語的邏輯形式，而信息打包邏輯探究如何建構(gòu)話語的邏輯形式。推斷話語關(guān)系由信息打包邏輯和話語更新來處理。為了把小句的邏輯形式粘貼在一起形成話語邏輯形式，我們用粘著語言進(jìn)行推理。粘著語言的詞匯包括:來自分段式話語表現(xiàn)結(jié)構(gòu)的標(biāo)記和修辭關(guān)系符號;表達(dá)邏輯形式部分描述的方法。一方面，粘著語言是未具體化邏輯形式語言的簡化;另一方面，粘著語言擴(kuò)充了未具體化邏輯形式的基本詞匯，增加了一個模態(tài)連接詞>。A>B表示“如果A，那么通常B”。話語更新指的是一系列簡單的、單調(diào)遞減的更新運(yùn)算。分段式話語表現(xiàn)理論關(guān)注的是未具體化邏輯形式和語用上更可取的具體化陳述之間的關(guān)系。話語更新首先必須識別與新信息相結(jié)合的話語語境部分，其次必須推斷修辭關(guān)系。話語更新體現(xiàn)了語用上更可取的具體化陳述和更可取的解釋。

從語形上看，話語是線性的語句串。人們總是按部就班地逐步處理句子系列中的每一個句子。語句的意義就是改變語境的動態(tài)因素，新舊語境之間存在某種變換關(guān)系。但從語義上看，語句之間的聯(lián)系通常是非線性的。話語中的各個句子之間具有不同的修辭關(guān)系，如敘述、解釋、背景、詳述、對比、平行、糾正、續(xù)述、選言、因果和假言等，這些復(fù)雜的關(guān)系形成了話語中的語段。修辭關(guān)系有兩種基本類型:并列關(guān)系和從屬關(guān)系。修辭關(guān)系和語段是分段式話語表現(xiàn)理論的核心概念，兩者一起組成了話語結(jié)構(gòu)。話語結(jié)構(gòu)由表達(dá)語段的話語表現(xiàn)結(jié)構(gòu)框圖和表示修辭關(guān)系的連線構(gòu)成。

話語的語義結(jié)構(gòu)是多種類、多層次的。每增加一個句子，都會更新話語的結(jié)構(gòu)。新增添的語句可以通過修辭關(guān)系與前面的某一語段或某一語句相聯(lián)系，還通過某種修辭關(guān)系與其他語句形成新的語段。話語結(jié)構(gòu)是判斷話語連貫性的依據(jù)。判定話語連貫性的程度有三條規(guī)則:(1)其他情況完全相同時，話語中的修辭聯(lián)系越多，解釋就越融貫;(2)其他情況完全相同時，處理的照應(yīng)表達(dá)式越多，解釋的融貫質(zhì)量就越高;(3)其他情況完全相同時，哪個解釋使修辭關(guān)系的質(zhì)量變得更高，哪個解釋就更融貫。[10](P55)兩個語段之間的修辭關(guān)系越多，話語結(jié)構(gòu)就越緊湊，話語連貫性就越好。依賴語段之間的修辭關(guān)系建立話語結(jié)構(gòu)，運(yùn)用推理明確修辭關(guān)系。添加新語句使語境發(fā)生變化，也使話語結(jié)構(gòu)更新，因此語段之間的關(guān)系不是一成不變的。分段式話語表現(xiàn)理論“試圖構(gòu)建涵蓋語義語用界面的模型，以動態(tài)描述如何通過給組合語義和詞匯語義增補(bǔ)額外內(nèi)容理解話語”[11](P68)。

分段式話語表現(xiàn)理論能更好地解釋和處理自然語言中的多種多樣的語言現(xiàn)象和較為棘手的問題，比如命題性指涉、時序關(guān)系確定、語詞歧義消解、隱意明晰、動詞短語省略恢復(fù)和預(yù)設(shè)呈現(xiàn)等。除此以外，分段式話語表現(xiàn)理論在話語連貫性判定、祈使句處理和搭橋推理等方面也取得了豐碩的成果。該理論在國際語言學(xué)界和邏輯學(xué)界產(chǎn)生了巨大影響，已成為關(guān)于研究處理自然語言的新方向和前沿陣地。

四、結(jié)語

形式語義學(xué)是20世紀(jì)六七十年代由蒙太格最初發(fā)展起來的理論陣營，到20世紀(jì)70年代中期，形式語義學(xué)的研究在美國、荷蘭、德國、新西蘭等國家得到了空前的發(fā)展，目前在歐美國家已成為熱點課題。形式語義學(xué)是一門集哲學(xué)、邏輯學(xué)、語言學(xué)、數(shù)學(xué)和計算機(jī)科學(xué)為一體的新興學(xué)科，它的發(fā)展不但會使各學(xué)科的專業(yè)化傾向越來越明顯，而且各學(xué)科之間的交叉和滲透也會不斷加強(qiáng)。意義研究從靜態(tài)向動態(tài)的轉(zhuǎn)向創(chuàng)立了刻畫意義的新方法，動態(tài)語義學(xué)形式化研究已成為當(dāng)代意義研究的主流，并將成為21世紀(jì)語義研究的一個重要方向。但形式語義學(xué)在中國語言學(xué)界尚未引起足夠的重視，筆者希望更多的語言學(xué)者關(guān)注這一領(lǐng)域，為形式語義學(xué)的發(fā)展做出應(yīng)有的貢獻(xiàn)。

[1]鄒崇理，李可勝．邏輯和語言研究的交叉互動[J]．西南大學(xué)學(xué)報(人文社會科學(xué)版)，2009，(2)．

[2]Gott1ob Freg．The Foundations of Arithmetic．Oxford:Basi1 B1ackwe11， 1953．

[3]A1fred Tarski．Logic， Semantics， Metamathematics．Oxford:C1arendon Press，1956．

[4](德)沃爾夫?qū)な┨窨娎眨?dāng)代哲學(xué)主流(下卷)[M]．王炳文，等譯．北京:商務(wù)印書館，2000．

[5]夏年喜．從蒙太格語法的局限性看DRT的理論價值[J]．哲學(xué)研究，2005，(12)．

[6]高蕓．從SDRT的視角探析漢語話語結(jié)構(gòu)的修辭格式[D]．重慶:西南大學(xué)政治與公共管理學(xué)院，2011．

[7]方立．動態(tài)意義理論:邏輯語義學(xué)的繼續(xù)發(fā)展[J]．語文學(xué)刊(高教·外文版)，2006，(12)．

[8]鄒崇理．話語表現(xiàn)理論評述[J]．當(dāng)代語言學(xué)，1998，(4)．

[9]高蕓．SDRT中的真實修辭關(guān)系[J]．畢節(jié)學(xué)院學(xué)報，2013，(10)．

[10]夏年喜．從DRT到SDRT——動態(tài)語義理論的新發(fā)展[J]．哲學(xué)動態(tài)，2006，(6)．

[11]曾凡桂，毛眺源．形式語用學(xué)發(fā)展脈絡(luò)概略[J]．外語學(xué)刊，2010，(1)．