形式語義學發展概述

■付 藝 高 蕓

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

一、經典形式語義學

形式語義學運用邏輯和數學的形式化方法研究自然語言的形成規律，認為自然語言與人工語言在深層結構方面息息相通，沒有本質差別，可以通過建造自然語言形式系統的方式來解決其語義問題。形式語義學偏重句法和語義的對應，在給定句法規則的基礎上確定與句法嚴格對應的語義運算規則，凸顯意義組合性原則，其實質是一種關于句子的真值條件的語義學。

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

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

1933年，波蘭邏輯學家塔斯基在《形式語言中的真概念》中直截了當地指出:“本文只探討真的定義問題。它的任務是，相對于一種給定的語言，建立一個實質上恰當的、形式上正確的關于‘真語句’這個詞的意義。”[3](P152)真語句就是句子的意義和外延。解決真語句這個詞的定義問題就是解決形式語義學中語義真概念的定義問題。塔斯基提出了著名的T等式:X是真的，當且僅當P。

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

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

(二)蒙太格語法

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

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

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

蒙太格認為，每條句法規則都有一條與之對應的語義規則，句法成分與語義成分之間是同態映射關系。所有表達式的意義都是由其直接構成成分的意義組合而成，句法規則組合一次，對應的語義規則也組合一次。基于內涵邏輯，蒙太格對自然語言進行形式刻畫，分析和處理了自然語言中的許多語義問題，開拓了用現代邏輯的形式化方法研究自然語言的新局面，奠定了形式語義學學科群體的基本思想。

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

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

二、動態語義學

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

(一)普通動態邏輯

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

(二)動態謂詞邏輯

動態謂詞邏輯是1991年由格羅南迪克和斯托霍爾福提出的一個體現動態語義學觀點的邏輯系統，該系統給經典謂詞邏輯提供了一種動態的語義解釋。

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

(三)文檔更新語義學

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

(四)話語表現理論

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

話語表現理論由句法規則、話語表現結構的建構規則和話語表現結構的語義解釋等三部分構成。借鑒蓋茨達等人提出的廣義短語結構語法，話語表現理論的句法規則給出的是句法算法。句法規則包括短語結構規則和詞項插入規則，這些規則處理了名詞和代詞的數、格、性以及代詞的照應、主謂一致等語法現象。

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

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

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

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

三、分段式話語表現理論

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

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

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

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

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

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

四、結語

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

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

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

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

[4](德)沃爾夫岡·施太格繆勒．當代哲學主流(下卷)[M]．王炳文，等譯．北京:商務印書館，2000．

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

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

[7]方立．動態意義理論:邏輯語義學的繼續發展[J]．語文學刊(高教·外文版)，2006，(12)．

[8]鄒崇理．話語表現理論評述[J]．當代語言學，1998，(4)．

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

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

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