一、形式語義學(xué)的主要理論——邏輯的作用
    形式語義學(xué)是邏輯和語言交叉研究的產(chǎn)物，是在邏輯框架內(nèi)構(gòu)建的關(guān)于自然語言的語義學(xué)。關(guān)于自然語言的形式語義理論，其目標(biāo)雖是處理自然語言的語義，但其實(shí)現(xiàn)步驟卻是先構(gòu)造自然語言的句法(這種句法是供語義解釋之用而和語義對(duì)應(yīng)的句法，不同于傳統(tǒng)語言學(xué)理解的句法概念)。跟別的語言學(xué)理論如轉(zhuǎn)換語法相比較，形式語義學(xué)側(cè)重語義研究，但從自身的內(nèi)部分工看，形式語義學(xué)也涉及句法，包括句法和語義兩個(gè)層面的研究。
    形式語義學(xué)中主要的理論有：蒙太格語法、廣義量詞理論、話語表述理論、情境語義學(xué)和類型邏輯語法。現(xiàn)分述如下：
    由美國(guó)邏輯學(xué)家蒙太格在上世紀(jì)60-70年代創(chuàng)立的蒙太格語法(Montague Grammar)，把自然語言看作是同邏輯語言本質(zhì)上相同的符號(hào)系統(tǒng)，開創(chuàng)了自然語言形式語義學(xué)研究的領(lǐng)域。蒙太格語法構(gòu)造的PTQ英語部分語句系統(tǒng)成功地描述了自然語言的量化表達(dá)式、內(nèi)涵語境及命題態(tài)度句等語義特征?！岸嗄陙?，語言學(xué)家、邏輯學(xué)家和計(jì)算機(jī)科學(xué)家一直在從事關(guān)于自然語言形式處理的研究。蒙太格關(guān)于英語部分語句系統(tǒng)的形式化方案是這個(gè)研究方向的極其重要的一步?！聿榈隆っ商褚M(jìn)了從句法和語義兩個(gè)層面分析自然語言的強(qiáng)有力的方法，他發(fā)展了一種形式化的工具，為深刻理解自然語言的語義學(xué)提供了必要的技術(shù)背景?！盽1`301形式語義學(xué)的最顯著特征是把自然語言看做是現(xiàn)代邏輯形式化方法處理的對(duì)象，認(rèn)為自然語言與邏輯語言沒有實(shí)質(zhì)的區(qū)別，可以通過構(gòu)造自然語言形式系統(tǒng)的方式來解決其語義問題。具體的操作手段是建立句法和語義的對(duì)應(yīng)原則，構(gòu)造基于意義組合原則的語義模型。這些思想觀念和技術(shù)工具是形式語義學(xué)的基石(Montague，1974)，是蒙太格及Cresswell、Partee等人最早明確提出并付諸實(shí)施的，所以說蒙太格語法是形式語義學(xué)研究的開端。
    概言之，蒙太格語法強(qiáng)調(diào)的要點(diǎn)是：(1)自然語言和邏輯語言在深層構(gòu)造方面是相通的，從代數(shù)結(jié)構(gòu)及其運(yùn)算的角度進(jìn)行研究，數(shù)學(xué)和邏輯的方法便進(jìn)入自然語言的研究領(lǐng)域。自然語言的形式語義學(xué)是數(shù)學(xué)的分支而不屬于心理學(xué)；(2)句法和語義對(duì)應(yīng)的原則，即每條句法規(guī)則對(duì)應(yīng)一條語義規(guī)則。句法規(guī)則是自然語言由詞條形成詞組短語最終形成語句的規(guī)則(類似邏輯系統(tǒng)合式公式的形成規(guī)則)，與之對(duì)應(yīng)的語義規(guī)則就是按照句法表達(dá)式的形成過程而制定的意義組合規(guī)則。句法由小的符號(hào)串毗連大的符號(hào)串，語義也由部分表達(dá)式的語義合成復(fù)合表達(dá)式的語義。復(fù)合表達(dá)式的語義是其部分語義的函項(xiàng)。所以句法和語義的對(duì)應(yīng)即是意義的組合原則；(3)自然語言句子的意義是模型論語義學(xué)所謂的真值條件，自然語言詞條、詞組短語的意義皆服務(wù)于對(duì)句子真值條件的描述。上述思想就是邏輯觀念強(qiáng)勢(shì)影響自然語言研究的結(jié)果。
    例如，蒙太格語法中的句法規(guī)則：若α是名詞短語且β是動(dòng)詞短語，則F(α，β)=αβ是語句。對(duì)應(yīng)的語義規(guī)則為：若α的語義是‖α‖且β的語義是‖β‖，則αβ的語義是‖αβ‖=G(‖α‖，‖β‖)=‖α‖(‖β‖)。語句表達(dá)式αβ的意義‖αβ‖顯然是其部分意義‖α‖和‖β‖的函項(xiàng)，其真值條件為：‖α‖(‖β‖)=1當(dāng)且僅當(dāng)‖β‖∈‖α‖。名詞短語α的意義‖α‖和動(dòng)詞短語β的意義‖β‖在語句真值條件的描述中起作用。
    思考的問題有：蒙太格語法強(qiáng)調(diào)自然語言和邏輯語言的共通之處，是否對(duì)不同點(diǎn)給予足夠的關(guān)注？特別是比較兩種語言系統(tǒng)的差異性。在系統(tǒng)初始部分它們的追求是類似的，逐層形成表達(dá)式且遵循意義的組合原則。而后則分道揚(yáng)鑣，邏輯系統(tǒng)轉(zhuǎn)而關(guān)注邏輯有效式的證明等內(nèi)容，自然語言系統(tǒng)卻仍在句法形成機(jī)制方面深入細(xì)化。其次，邏輯系統(tǒng)有可靠性和完全性等元邏輯討論，自然語言語句系統(tǒng)有無類似的性質(zhì)？是否對(duì)此可從句法和語義對(duì)應(yīng)的角度來討論類似可靠性和完全性那樣的性質(zhì)？再則，漢語的語句系統(tǒng)不同于英語的語句系統(tǒng)，除有句法形態(tài)和句法生成的差別外，其語義解釋有無特色？最本質(zhì)的區(qū)別在哪里？
    廣義量詞理論GQT(Generalized Quantifier Theory)研究自然語言的量化表達(dá)式的意義及其語義共性。廣義量詞理論雖被看作是20世紀(jì)80年代提出的形式語義理論，但其思想根源卻可追溯到20世紀(jì)初：現(xiàn)代邏輯的創(chuàng)始人Frege最早提出廣義量詞的基本思想；其后50—60年代Mostowski和Lindstrm的工作加深了對(duì)廣義量詞的理解；20世紀(jì)70-80年代以來，Montague及Barwise等人把量詞的概念推廣到自然語言的領(lǐng)域，使廣義量詞理論成為形式語義學(xué)領(lǐng)域的重要門類；這以后Keenan和等人繼續(xù)關(guān)注自然語言量化表達(dá)式的研究。不同類型的量詞對(duì)應(yīng)自然語言的各種量化表達(dá)式：類型為〈1〉的量詞對(duì)應(yīng)自然語言的名詞短語“every man”，“somedog”等及邏輯系統(tǒng)的“”和“”，而〈1，1〉類型乃至〈〈1，1〉，1〉類型的量詞分別對(duì)應(yīng)自然語言限定詞“all”，“the”等以及自然語言中“five more…than…”之類非連續(xù)表達(dá)式，而邏輯系統(tǒng)則沒有相應(yīng)的對(duì)應(yīng)物?？梢姡珿QT的縱深發(fā)展愈益依賴自然語言的領(lǐng)域`2`。
    GQT嚴(yán)格講不是關(guān)于自然語言的框架理論，它僅僅關(guān)注自然語言表現(xiàn)出的量化意義。一方面它是經(jīng)典邏輯量詞概念在自然語言領(lǐng)域的推廣，另一方面其思路也是蒙太格語法對(duì)自然語言量化表達(dá)式研究的延伸。GQT的主要內(nèi)容有：(1)對(duì)量化表達(dá)式的語義解釋建立在集合論基礎(chǔ)上。若把自然語言量化句一分為二，則其中的名詞短語就是〈1〉類型的量詞。量詞就是函項(xiàng)，其論元是句中動(dòng)詞短語所表示的集合。若把自然語言量化句一分為三，其中的限定詞就是〈1，1〉類型的量詞。這種量詞是二元函項(xiàng)，其第一論元就是限定詞所修辭的名詞所表示的集合，其第二論元就是動(dòng)詞短語所表示的集合；(2)既然量化表達(dá)式表現(xiàn)為各種層次集合之間的關(guān)系，GQT就從集合論角度來討論量詞的各種數(shù)學(xué)性質(zhì)，如駐留性、數(shù)量性和擴(kuò)展性等。GQT還進(jìn)一步關(guān)注自然語言量化表達(dá)式與其集合論對(duì)應(yīng)物的關(guān)系，即是說自然語言量化表達(dá)式是否能夠表達(dá)出給定集合涉及的所有關(guān)系，這是所謂表達(dá)力問題；(3)GQT的研究還涉及多樣模式的量詞、關(guān)于量詞的疊置復(fù)合與量詞類型的提升、以及量詞的可定義性等問題，GQT所謂非標(biāo)準(zhǔn)的量化表達(dá)式概念擴(kuò)展了其研究范圍，非標(biāo)準(zhǔn)的量化表達(dá)式包括副詞和連詞等表達(dá)式。
    例子解讀：對(duì)英語量化句“Every boy runs”一分為三，限定詞“Every”的語義‖every‖是〈1，1〉類型的量詞，名詞“boy”的語義‖boy‖是這個(gè)量詞的第一個(gè)論元，動(dòng)詞短語“runs”的語義‖runs‖是這個(gè)量詞的第二個(gè)論元。整個(gè)英語句的語義‖Every boy runs‖的真值條件是：‖boy‖這個(gè)集合跟‖run‖這個(gè)集合構(gòu)成的序?qū)儆凇珽very ‖這個(gè)集合序?qū)Φ募希碭，Y〉D`2`：XY｝。直觀看，英語句“Every boy runs”為真當(dāng)且僅當(dāng)“boy”對(duì)應(yīng)的集合隸屬于“runs”對(duì)應(yīng)的集合，即凡屬于“boy”類皆屬于“runs”類。
    思考的問題：廣義量詞作為一種集合論函項(xiàng)，不僅是抽象模型論研究的對(duì)象，還可從高階邏輯的角度研究，近年來已出現(xiàn)這樣的方向。其次，漢語的量化表達(dá)式除了在句法形態(tài)上不同于英語外，是否存在獨(dú)特的語義定義及其語義性質(zhì)？基于集合論的量詞函項(xiàng)的概念跟自然語言量化表達(dá)式一般來說是不對(duì)等的，歐美學(xué)者對(duì)此用英語做了一些比較，是否可以考慮把這樣的工作延伸到漢語量化表達(dá)式的領(lǐng)域？
    話語表述理論DRT(Discourse Representation Theory)擅長(zhǎng)處理句子之間名詞與代詞的照應(yīng)關(guān)系以及動(dòng)詞在時(shí)間方面的聯(lián)系，對(duì)句子序列的語義分析采用一種漸進(jìn)遞增的動(dòng)態(tài)方法。DRT把以往蒙太格語法對(duì)自然語言單個(gè)句子的分析擴(kuò)大到句子序列，是動(dòng)態(tài)的描述自然語言意義的形式語義理論。其創(chuàng)始人Kamp指出：“DRT從以蒙太格語法為首的關(guān)于自然語言語義學(xué)的模型論方法那里發(fā)展起來?！盽3`253此外，DRT還在句法結(jié)構(gòu)分析樹與其語義模型之間，增設(shè)了一個(gè)稱作話語表述結(jié)構(gòu)DRS的中間層面作為自然語言的語義表現(xiàn)。
    簡(jiǎn)言之，DRT有兩個(gè)要點(diǎn)：一是突破形式語義理論孤立分析單個(gè)句子的傳統(tǒng)，把視角擴(kuò)大到句子序列的層面以便把握名詞和代詞的照應(yīng)關(guān)系；二是分析方法的革新，由靜態(tài)發(fā)展到動(dòng)態(tài)。如英語句子序列“John walked. He whistled”，蒙太格語法只能把第一句分析成walk(j)，第二句分析成whistle(x)，兩個(gè)結(jié)果彼此獨(dú)立，沒有依賴聯(lián)系。而DRT則把兩個(gè)句子看作一個(gè)互相依賴的整體，第一個(gè)句子的分析要影響第二個(gè)句子的分析，第二句子的分析基于第一句子的分析。如對(duì)上例句DRT的動(dòng)態(tài)分析為：
   
    這里見到，第二句分析所獲信息是對(duì)第一句分析的添加，是在第一句分析基礎(chǔ)上生長(zhǎng)擴(kuò)展的結(jié)果。承前句子影響后續(xù)句子，后續(xù)句子離不開承前句子，這種語言表達(dá)的語感要求在DRT這里獲得體現(xiàn)。同時(shí)分析也呈現(xiàn)出一種動(dòng)態(tài)過程：第二圖所示DRS涵蓋了第一圖所示DRS，第二個(gè)DRS直接基于第一個(gè)DRS生長(zhǎng)出來，并由此取代了第一個(gè)DRS。好比人的生長(zhǎng)，成人形態(tài)取代更新了幼年形態(tài)。動(dòng)態(tài)意味生長(zhǎng)，意味更新。此外，第二個(gè)DRS中的公式“x=y”畫龍點(diǎn)睛地揭示了該句子系列專名和代詞的照應(yīng)關(guān)系。
    思考的問題：DRT同動(dòng)態(tài)蒙太格語法DMG是一種什么關(guān)系？二者各自的利弊如何？DMG是一種基于組合原則的動(dòng)態(tài)形式語義理論，而DRT對(duì)組合原則所采取的靈活態(tài)度說明了什么？同是動(dòng)態(tài)語義理論，DRT跟一脈相承的動(dòng)態(tài)謂詞邏輯DPL和普通動(dòng)態(tài)邏輯在語義解釋上為什么有微小差異，在DRT語義模型中確立的“嵌入確認(rèn)函項(xiàng)”有什么價(jià)值？怎樣在技術(shù)上處理動(dòng)詞短語乃至更多種類表達(dá)式的回指現(xiàn)象？能否從漢語和英語回指現(xiàn)象在句法上的不同表現(xiàn)，挖掘出深刻的語義根源？
    情境語義學(xué)SS(Situation Semantics)對(duì)命題態(tài)度句的心理特征和語句的語境因素給予充分關(guān)注，運(yùn)用信息條目的方式描述自然語言的語義