邏輯和語言研究的交叉的關(guān)聯(lián)性分析

1、邏輯和語言研究的交叉的關(guān)聯(lián)性分析一、形式語義學(xué)的主要理論一一邏輯的作用XX形式語義學(xué)是邏輯和語言交叉研究的產(chǎn)物，是在邏輯框架內(nèi)構(gòu)建的自然語 言的語義學(xué)。自然語言的形式語義理論，其目標(biāo)雖是處理自然語言的語義，但其實 現(xiàn)步驟卻是先構(gòu)造自然語言的句法(這種句法是供語釋之用而和語義對應(yīng)的句 法，不同于傳統(tǒng)語言學(xué)理解的句法概念)。跟別的語言學(xué)理論如轉(zhuǎn)換語法相比 較，形式語義學(xué)側(cè)重語義研究，但從自身的內(nèi)部分工看，形式語義學(xué)也涉及句法， 包括句法和語義兩個層面的研究。形式語義學(xué)中主要的理論有：蒙太格語法、廣義量詞理論、話語表述理 論、情境語義學(xué)和類型邏輯語法?，F(xiàn)分述如下：XX由邏輯學(xué)家蒙太格在上世紀(jì)60-

2、7 0年代創(chuàng)立的蒙太格語法(ntagueGramm ar),把自然語言看作是同邏輯語言本質(zhì)上相同的符號系統(tǒng)，開創(chuàng)了自然語言形式語義學(xué)研究的領(lǐng)域.蒙太格語法構(gòu)造的P T英語部分語句系統(tǒng)成功地描 述了自然語言的量化表達(dá)式、內(nèi)涵語境及命題態(tài)度何等語義特征。多年來，語言學(xué)家、邏輯學(xué)家和計算機(jī)科學(xué)家一直在從事自然語言形式處理的研究。蒙太 格英語部分語句系統(tǒng)的形式化方案是這個研究方向的極其重要的一步。理查德蒙太格引進(jìn)了從句法和語義兩個層面分析自然語言的強(qiáng)有力的方法，他了 一種形式化的工具，為深刻理解自然語言的語義學(xué)提供了必要的技術(shù)背景.” 13 0 1形式語義學(xué)的最顯著特征是把自然語言看做是現(xiàn)代邏輯形式化

3、方法處理 的對象，認(rèn)為自然語言與邏輯語言沒有實質(zhì)的區(qū)別，可以通過構(gòu)造自然語言形式系統(tǒng)的方式來解決其語義問題.具體的操作手段是建立句法和語義的對應(yīng)原則， 構(gòu)造基于意義組合原則的語義模型。這些思想觀念和技術(shù)工具是形式語義學(xué)的 基石(ntag u e , 1974)，是蒙太格及 Cresswell、Partee等人最早明確提出 并付諸實施的，所以說蒙太格語法是形式語義學(xué)研究的開端。概言之，蒙太格語法強(qiáng)調(diào)的要點是：（1）自然語言和邏輯語言在深層構(gòu)造方面是相通的，從代數(shù)結(jié)構(gòu)及其運(yùn)算的角度進(jìn)行研究，數(shù)學(xué)和邏輯的方法便進(jìn) 入自然語言的研究領(lǐng)域。自然語言的形式語義學(xué)是數(shù)學(xué)的分支而不屬于心理 學(xué)；（2）句法和語

4、義對應(yīng)的原則，即每條旬法規(guī)則對應(yīng)一條語義規(guī)則。句法規(guī)則 是自然語言由詞條詞組短語最終語句的規(guī)則（類似邏輯系統(tǒng)合式公式的規(guī)則），與之對應(yīng)的語義規(guī)則就是按照句法表達(dá)式的過程而制定的意義組合規(guī)則。句法 由小的符號用毗連大的符號用，語義也由部分表達(dá)式的語義合成復(fù)合表達(dá)式的語 義.復(fù)合表達(dá)式的語義是其部分語義的函項。所以句法和語義的對應(yīng)即是意義的 組合原則；（3）自然語言句子的意義是模型論語義學(xué)所謂的真值條件，自然語 言詞條、詞組短語的意義皆服務(wù)于對句子真值條件的描述。上述思想就是邏輯 觀念強(qiáng)勢影響自然語言研究的結(jié)果。XX例如，蒙太格語法中的句法規(guī)則：若a是名詞短語且B是動詞短語，則F（ a , B ）

5、二是語句.對應(yīng)的語義規(guī)則為：若 a的語義是II all B的語義是II 則 a B的語義是II a p II （二Ga II , II P 1（ I）書”以語句表達(dá)式 a 0的意義II a做然是 其部分意義II矯小郁H項,其真值條件為：II a （HI位|1=1當(dāng)且僅當(dāng)II Kill 0dl 名詞短語a的意義II矯口動詞短語B的意義II例語句真值條件的描述中起作 用.XX思考的問題有：蒙太格語法強(qiáng)調(diào)自然語言和邏輯語言的共通之處，是否對 不同點給予足夠的關(guān)注？特別是比較兩種語言系統(tǒng)的差異性.在系統(tǒng)初始部分它們的追*類似的，逐層表達(dá)式且遵循意義的組合原則.而后則分道揚(yáng)，邏輯系統(tǒng)轉(zhuǎn) 而關(guān)注邏輯有效式

6、的證明等內(nèi)容，自然語言系統(tǒng)卻仍在句法機(jī)制方面深入細(xì)化。 其次，邏輯系統(tǒng)有可靠性和完全性等元邏輯討論，自然語言語句系統(tǒng)有無類似的 性質(zhì)？是否對此可從句法和語義對應(yīng)的角度來討論類似可靠性和完全性那樣的 性質(zhì)？再則，漢語的語句系統(tǒng)不同于英語的語句系統(tǒng)，除有句法形態(tài)和句法生成的差別外，其語釋有無特色？最本質(zhì)的區(qū)別在哪里?XX廣義量詞理論 GT (Gene r a lized uantif i er Theo ry)研究自然語 言的量化表達(dá)式的意義及其語義共性。廣義量詞理論雖被看作是20世紀(jì)8 0年代提出的形式語義理論，但其思想?yún)s可追溯到20世紀(jì)初:現(xiàn)代邏輯的Frege最早提出廣義量詞的基本思想；其后5

7、060年代stowsk i和Lind strm的工作加深了 對廣義量詞的理解；2 0世紀(jì) 7080年代以來，n t a gu c及Barwise等人把量詞的概念推廣到自然語言的領(lǐng)域 ，使廣義量詞理論成為形式語 義學(xué)領(lǐng)域的重要門類；這以后Ke c nan和等人繼續(xù)關(guān)注自然語言量化表達(dá)式的 研究。不同類型的量詞對應(yīng)自然語言的*種量化表達(dá)式：類型為1的量詞對應(yīng)自然語言的名詞短語 “every man"， “somecb g ”等及邏輯系統(tǒng)的和 二 而1, 1類型乃至XX1, 1XX, 1XX類型的量詞分別對應(yīng)自然語言限定詞 “all t he"等以及自然語言中 1 iv ere

8、- tha n”之類非連續(xù)表達(dá)式，而邏輯系統(tǒng)則沒有相應(yīng)的對應(yīng)物。可見，GT的縱深愈益依賴自然語言的領(lǐng)域2。XXGT嚴(yán)格講不是自然語言的框架理論，它僅僅關(guān)注自然語言表現(xiàn)出的量化意 義.一方面它是經(jīng)典邏輯量詞概念在自然語言領(lǐng)域的推廣，另一方面其思路也是 蒙太格語法對自然語言量化表達(dá)式研究的延伸。GT的主要內(nèi)容有：(1)對量化表達(dá)式的語釋建立在集合論基礎(chǔ)上。若把自然語言量化句一分為二，則其中的 名詞短語就是1XX類型的量詞。量詞就是函項，其論元是句中動詞短語所表 示的集合.若把自然語言量化句一分為三，其中的限定詞就是1,1類型的量詞。這種量詞是二元函項，其第一論元就是限定詞所修辭的名詞所表示的集合，

9、具第二論元就是動詞短語所表示的集合；(2)既然量化表達(dá)式表現(xiàn)為*種層次集合之間的關(guān)系，GT就從集合論角度來討論量詞的*種數(shù)學(xué)性質(zhì)，如駐留性、數(shù) 量性和擴(kuò)展性等。GT還進(jìn)一步關(guān)注自然語言量化表達(dá)式與其集合論對應(yīng)物的 關(guān)系，即是說自然語言量化表達(dá)式是否能夠表達(dá)出給定集合涉及的所有關(guān)系， 這是所謂表達(dá)力問題；(3)GT的研究還涉及多樣模式的量詞、量詞的疊置復(fù)合與 量詞類型的提升、以及量詞的可定義性等問題,GT所謂非標(biāo)準(zhǔn)的量化表達(dá)式概念擴(kuò)展了其研究范圍，非標(biāo)準(zhǔn)的量化表達(dá)式包括副詞和連詞等表達(dá)式.XX例子解讀：對英語量化句 "Evey boy runs”一分為三，限定詞 £ very

10、" 的語義b very是1,1類型的量詞，名詞b oy ”的語義II boy是這個量詞的第 一個論元，動詞短語“u n s ”的語義II runs是這個量詞的第二個論元。整個英語句 的語義llE very boy runs舊勺真值條件是：lib oy I這個集合跟II rin I這個集合構(gòu) 成的序?qū)儆贗I EvryI這個集合序?qū)Φ募蟈,YD2:XY.直觀看，英語句"的ery boy ru n s”為真當(dāng)且僅當(dāng)y”對應(yīng)的集合隸屬于 “ru s”對應(yīng)的 集合，即凡屬于“bo/l皆屬于r u ns”類.邏輯和語言研究的交叉的關(guān)聯(lián)性分析（3）類型邏輯語法的要點有：（1）建立更為

11、明確的句法語義概念。句法比較單 純，所以Lambek演算明確以自然語言句法為研究起點.在形式語義學(xué)看來語 義是核心，所以類型-邏輯語義學(xué)勢必進(jìn)入語義領(lǐng)域，并且對句法和語義給予直接的配對，在規(guī)則中同時提供句法范疇推演和語義詞項組合的依據(jù)。在模態(tài)邏 輯思潮的影響下，作為多模態(tài)范疇系統(tǒng)的語法邏輯便應(yīng)運(yùn)而生，語法邏輯專門針對 句法范疇的運(yùn)行規(guī)律進(jìn)行更深刻的抽象。（2）類型邏輯語法尤其強(qiáng)調(diào)推演和計 算的精神，認(rèn)為語法就是邏輯，認(rèn)知就是計算，分析就是演繹。類型邏輯語法 不僅延續(xù)蒙太格語法構(gòu)造自然語言語句系統(tǒng)的傳統(tǒng)，還廣泛吸納了 Gentz e n后承演算和框架語義學(xué)等現(xiàn)代邏輯的工具。類型邏輯語法對自然語言

12、的分析是一種句法范疇和語義詞項的并行推演，我們給出例句John 1 oves Ma r y ”的分析:XX推演圖的最上端是 同一公理”的三次運(yùn)用，對應(yīng)三個詞條“John； “l(fā)oves ”和“May”的類型邏輯語義指派。推演圖的最下端表明三個詞條的類型邏輯 語義的毗連推出了句子的類型邏輯語義，即句子對應(yīng)的邏輯公式和真值范疇。句 子構(gòu)成部分的類型邏輯語義決定了整個句子的類型邏輯語義。XX思考的問題有：類型邏輯語法句法演算的表述方式有：公理表述、Gentze n后承表述和自然演繹表述。公理表述有助于元邏輯討論，Gent z e n后承表述有利于判定問題的解決，而自然演繹表述強(qiáng)調(diào)同自然語言的聯(lián)系。除

13、此之 外產(chǎn)自利弊應(yīng)該有更深入的研討。其次，在范疇類型邏輯的多模態(tài)系統(tǒng)中，其邏 輯推演公理和結(jié)構(gòu)公設(shè)是否正好對應(yīng)轉(zhuǎn)換語法流派所謂句法生成和句法轉(zhuǎn)換的 概念?XX總之，形式語義學(xué)*理論的是：對待自然語言，在給定句法規(guī)則基礎(chǔ)上確立 與句法嚴(yán)格對應(yīng)的語義運(yùn)算規(guī)則，對此遵循邏輯語義學(xué)要求的組合原則邏輯 強(qiáng)勢影響下對自然語言語義的分析結(jié)果畢竟適合計算的要求，便于計算機(jī)的信 息處理。XX二、語言研究促使邏輯工具的創(chuàng)新 XX顯然，形式語義學(xué)諸理論是多年來邏輯影響自然語言研究的產(chǎn)物，邏輯對 自然語言研究的作用毋庸置疑，這是事情的一方面。約翰 范本特姆寫道：弗雷 格把邏輯語言和自然語言的關(guān)系比作顯微鏡和人的眼睛之

14、間的關(guān)系。前一種工 具更精確，但所視范圍非常有限，而后者可能不太精確，但是它的功能更多，原則 上應(yīng)用范圍非常廣泛。隨著形式語義學(xué)研究的深入，自然語言的豐富性對比出 邏輯工具的貧乏性，于是二者的互動關(guān)系產(chǎn)生另一方向的作用，即自然語言的豐富性促進(jìn)邏輯的變化，催生邏輯工具的創(chuàng)新.從上世紀(jì)70年代至今，自然語言研究 反過來作用于邏輯，對邏輯的給予積極的影響。XX自然語言中所謂命題態(tài)度句是指包含諸如知道“、相信”之類認(rèn)知動詞的句子，在形式語義學(xué)看來，這種動詞不宜解釋成以其賓語子句的真值為論元的 真信函項，即不能由 晨星是昏星"的真值來決定 張三相信晨星是昏星"的真值. 外延的一階邏輯

15、無法揭示命題態(tài)度句的意義，這就促使邏輯工具的創(chuàng)新，由外延 邏輯到內(nèi)涵邏輯，由一階邏輯提升到高階邏輯，于是產(chǎn)生內(nèi)涵類型論的邏輯工具I L.在蒙太格的學(xué)生兼同事G all 1 n看來，內(nèi)涵類型論還可出另一種簡潔的邏 輯理論兩體類型論（T w oS ortcd Type The ory）。Gallin 注意到，內(nèi)涵類型語言沒有表示可能世界的變項，所以不能對可能世界等內(nèi)涵實 體直接進(jìn)行句法運(yùn)算，進(jìn)而 入-轉(zhuǎn)換的運(yùn)算受到限制，被轉(zhuǎn)換的變項不能處在內(nèi)涵 算子的轄域內(nèi)，即要轉(zhuǎn)換的詞項一定是那種其語義值是常值函項的詞項。要克 服內(nèi)涵類型論的局限，Gallin創(chuàng)建了兩體類型論。把表示可能世界的類型s算作是基本類

16、型，句法語言就有表達(dá)可能世界的詞項，可能世界的概念由語義幕后”轉(zhuǎn)到句法前臺"。更有甚者，圍繞體現(xiàn)認(rèn)知心理特點的命題態(tài)度旬，產(chǎn)生了對傳統(tǒng)邏輯語義觀念進(jìn)行挑戰(zhàn)的情境語義學(xué)，進(jìn)而催生了所謂 情境多體邏輯” 6 的誕生。自然語言既有句法層面的構(gòu)造，也有語義層面的內(nèi)容，兩層面同時并存。譬 如我們說出漢語句 次貸危機(jī)正在蔓延”，我們既知道該句的句法構(gòu)造，專名 次 貸危機(jī)”充當(dāng)N P ,正在蔓延”是V Po我們也能理解該句的語義:NP所指個體具 有VP所指性質(zhì)。即是說，自然語言的實際表現(xiàn)是句法和語義的并存。基于此， 形式語義學(xué)中的類型邏輯語法就以句法和語義的并行推演（接口）的方式展開對自然語言的分

17、析，而這種句法語義并行的表述方式很快影響到邏輯理論。邏輯 學(xué)家G abb a y提出了加標(biāo)演繹理論 LD S，給邏輯證明中的每一步公式配備一個 標(biāo)記（label）,公式和標(biāo)記并行推演” 7如LDS在相干邏輯領(lǐng)域內(nèi)表現(xiàn)出來 的規(guī)則及其例證為：XXXX邏輯證明實行并行推演至少有三方面的好處 ：（1）可以區(qū)分邏輯證明中對 象語言的特征與元邏輯特征.公式的運(yùn)行規(guī)律是對象語言的特征，相應(yīng)的標(biāo)記的運(yùn) 行規(guī)律自然屬于元邏輯的范疇，這種元邏輯的說明具有更強(qiáng)的解釋力；（2）可從 標(biāo)記運(yùn)行規(guī)律的角度說明不同邏輯證明系統(tǒng)的不同特點；（3）可從邏輯證明結(jié)論的標(biāo)記中看到它所依賴的假設(shè)是哪些，即結(jié)論的來源是什么在自然語言領(lǐng)域，句子不是最小的語言單位，由句子構(gòu)成的句子序列或句群 篇章則是更大的語言單位。句子序列中句子之間具有*種*樣的聯(lián)系，而其中代詞對名詞的照應(yīng)是一種重要的聯(lián)系。先行句子中名詞或名詞短語所涉及的對象 在后續(xù)句子中用代詞來指稱，這就是自然語言的所謂回指現(xiàn)象.形式語義學(xué)中的話 語表述理論DRT特別關(guān)注這類現(xiàn)象，用不斷積累遞增信息的動態(tài)方法來刻畫句 子之間名詞和代詞的聯(lián)系。DRT設(shè)置了一個表現(xiàn)自然語言語義的所謂DRS層面，*種層次的DR S是由外到內(nèi)逐步構(gòu)造的。最外層 DRS中的話語所指可通 達(dá)到較內(nèi)層的DRS中去,相應(yīng)的DRS語釋涉及的嵌入確認(rèn)函項 g就可以擴(kuò)展 成把更多的話語所指映射到模型論域中