【摘要】作為語(yǔ)義學(xué)的分支，形式語(yǔ)義學(xué)在語(yǔ)義學(xué)研究發(fā)展的過(guò)程中占有重要地位。目前的研究對(duì)形式語(yǔ)義學(xué)相關(guān)理論認(rèn)識(shí)不全面，對(duì)各個(gè)理論分支之間如何有機(jī)組合也缺乏明確的認(rèn)識(shí)。本文從形式語(yǔ)義學(xué)的起源和發(fā)展入手，針對(duì)地介紹了形式語(yǔ)義學(xué)相關(guān)理論，如類型論、模態(tài)論和蘭姆達(dá)算子等理論在組合原則下如何體現(xiàn)語(yǔ)義的重組，旨在使語(yǔ)言研究者更加理解語(yǔ)義組合的層級(jí)性。

【關(guān)鍵詞】形式語(yǔ)義學(xué)；組合原則；蘭姆達(dá)算子

【中圖分類號(hào)】H313 【文獻(xiàn)標(biāo)識(shí)碼】A

基金項(xiàng)目：本文系太原工業(yè)學(xué)院重點(diǎn)科學(xué)基金項(xiàng)目“漢語(yǔ)比較結(jié)構(gòu)‘越……越……的語(yǔ)義特征研究”（項(xiàng)目編號(hào)：2017RZ01）的研究成果。

引言

形式語(yǔ)義學(xué)是通過(guò)運(yùn)用數(shù)理邏輯的方式進(jìn)行語(yǔ)義研究，從而使語(yǔ)言研究有更加精準(zhǔn)科學(xué)的語(yǔ)言表達(dá)。該研究方式涉及數(shù)理邏輯方面的知識(shí)，給人留下了抽象晦澀的印象。本文的理論簡(jiǎn)述目的在于揭開(kāi)形式語(yǔ)義學(xué)神秘的面紗，重新審視形式語(yǔ)義學(xué)的研究方式，從而為后續(xù)研究帶來(lái)相關(guān)啟迪。

一、形式語(yǔ)義學(xué)的起源與發(fā)展簡(jiǎn)述

19世紀(jì)，波蘭邏輯學(xué)家、數(shù)學(xué)家、哲學(xué)家塔爾斯基（Alfred Tarski）[1]提出了真值條件語(yǔ)義學(xué)，他認(rèn)為，真值條件語(yǔ)義學(xué)為語(yǔ)義學(xué)提供了與自然語(yǔ)言不同的形式化或邏輯化的語(yǔ)言。真值條件的判斷方法通常應(yīng)用于形式語(yǔ)義學(xué)，真值條件語(yǔ)義學(xué)的主要理論假設(shè)是句子的核心含義，即它的真值條件。

19世紀(jì)60年代后期，哲學(xué)家理查德·蒙太古（Richard Montague）[2]指出，在英語(yǔ)中句子的分析可以使用相同的手段，奠定了形式語(yǔ)義學(xué)的理論基礎(chǔ)。理查德·蒙太古認(rèn)為，自然語(yǔ)言可以用形式化描述，這個(gè)觀點(diǎn)被美國(guó)語(yǔ)言學(xué)家艾弗拉姆·諾姆·喬姆斯基（Avram Noam Chomsky）及生成語(yǔ)言學(xué)派所接納。然而，理查德·蒙太古指出，生成語(yǔ)言學(xué)沒(méi)有語(yǔ)義理論，生成句法理論無(wú)法為語(yǔ)義學(xué)提供理論基礎(chǔ)，所以他提出了用蒙太古語(yǔ)法來(lái)解決語(yǔ)義學(xué)問(wèn)題。

二、形式語(yǔ)義學(xué)相關(guān)理論

（一）謂詞邏輯

在形式語(yǔ)義學(xué)中，邏輯語(yǔ)言包括個(gè)體、謂詞、公式、邏輯算子四種邏輯語(yǔ)類，前三個(gè)邏輯語(yǔ)類包含定量和變量?jī)蓚€(gè)下分語(yǔ)類。定量指這種邏輯語(yǔ)類有固定的語(yǔ)義釋義，變量則與之相反。

謂詞在邏輯語(yǔ)言中可以帶零個(gè)或者多個(gè)個(gè)體作為其論元，這取決于該謂詞是及物動(dòng)詞還是不及物動(dòng)詞。根據(jù)所帶論元的數(shù)量，用符號(hào)Predn表示，n指所帶論元的數(shù)量從1到無(wú)限。

在形式語(yǔ)義學(xué)中，基本的語(yǔ)法規(guī)則形成邏輯公式，需要謂詞與它所需數(shù)量的個(gè)體論元相結(jié)合，而這種結(jié)合是在語(yǔ)義組合原則的指導(dǎo)下完成，邏輯謂詞的表達(dá)是否為真取決于其真值條件。

（二）集合理論

形式語(yǔ)義學(xué)研究借助數(shù)學(xué)中對(duì)集合的定義，并形成了集合理論。集合理論通過(guò)描述集合中目標(biāo)語(yǔ)的語(yǔ)義所指，定義其所建語(yǔ)言模型的屬性，符合該集合的目標(biāo)語(yǔ)則通過(guò)組合原則完成對(duì)語(yǔ)言模型的描述。

（三）模態(tài)論

在真值條件語(yǔ)義學(xué)中，命題的真值因?yàn)檎Z(yǔ)境的不同而變化，因此，需要利用數(shù)學(xué)中的建模來(lái)定義命題的真假。

模態(tài)論中的建模大致分為兩個(gè)部分：其一，建模為每個(gè)基本表達(dá)提供目標(biāo)語(yǔ)的基本的語(yǔ)義所指；其二，建模為目標(biāo)語(yǔ)提供任意模態(tài)下的釋義規(guī)則，即釋義規(guī)則通過(guò)提供遞歸式的解釋，表明每個(gè)組成部分的語(yǔ)義所指是如何根據(jù)組合原則形成句子。實(shí)際上，模態(tài)論用真值條件定義了目標(biāo)語(yǔ)中的句子。

（四）類型論

這部分主要探討類型論存在的必要性及其定義。類型論存在的原因是組合原則和謂詞邏輯的某些方面的缺陷。

在類型論中有兩類基本的語(yǔ)義類型，分別為個(gè)體和真值，分別用e和t來(lái)表示，其他表達(dá)則是通過(guò)組合原則將這兩類基本的語(yǔ)義類型組合而成。

復(fù)雜語(yǔ)義類型：輸入語(yǔ)義類型，輸出語(yǔ)義類型。

需要指出的是，復(fù)雜語(yǔ)義類型必須是二進(jìn)制的，因此，類型論中的類型匹配指把句法語(yǔ)類與語(yǔ)義類型相對(duì)應(yīng)，類型匹配是有限的，句子的語(yǔ)義組合卻是無(wú)窮的。

（五）蘭姆達(dá)算子

蘭姆達(dá)算子是形式語(yǔ)義學(xué)中最為重要的工具之一，下面將介紹使用蘭姆達(dá)算子的基本定義。

用特殊的邏輯符號(hào)λ（讀作蘭姆達(dá)）作為蘭姆達(dá)算子表達(dá)蘭姆達(dá)運(yùn)算。蘭姆達(dá)算子將命題運(yùn)算中的變量抽象出來(lái)，并將語(yǔ)義表達(dá)轉(zhuǎn)變?yōu)榱颂卣鬟\(yùn)算。蘭姆達(dá)算子與其所抽象的變量的結(jié)合稱作約束，比如λx中蘭姆達(dá)算子將命題運(yùn)算中變量x所代表的所有個(gè)體都抽象出來(lái)。

下面分三步將一個(gè)具體的句子通過(guò)運(yùn)用蘭姆達(dá)理論進(jìn)行分析。（Ronnie Cann，2010，p136-138）

（1）The dog ate the cake or Ethel didnt laugh.

例（1b）是對(duì)（1a）的句法分析的樹(shù)形圖一致，（1c）中的蘭姆達(dá)轉(zhuǎn)換和句子的謂詞邏輯的語(yǔ)義解釋一致。

三、組合原則

（一）組合原則的定義

一般意義上簡(jiǎn)單地認(rèn)為，組合原則，即根據(jù)某種規(guī)則解釋表達(dá)中較小成分是如何組合的。但事實(shí)并非如此簡(jiǎn)單，比如“較小的成分”指什么，如何根據(jù)語(yǔ)義規(guī)則組合，以及語(yǔ)義規(guī)則和句法規(guī)則有什么不同。組合原則主要?dú)w功于德國(guó)哲學(xué)家Gottlob Frege，因此，有時(shí)稱為弗雷格組合原則或者弗雷格原則。在這個(gè)定義中，“function”指運(yùn)算，正如數(shù)學(xué)中輸入特定值就會(huì)產(chǎn)出結(jié)果一樣。根據(jù)弗雷格的定義，通過(guò)在運(yùn)算中輸入語(yǔ)義成分就會(huì)產(chǎn)出語(yǔ)義表達(dá)。然而，根據(jù)Ronnie Cann（2010）指出，包含相同詞語(yǔ)的句子不能產(chǎn)出意義相同的句子，即相同的詞語(yǔ)輸入得不到相同意義句子的產(chǎn)出。

通過(guò)進(jìn)一步了解組合原則，其定義又有了進(jìn)一步的發(fā)展，需指出兩點(diǎn)：第一，“monotonic”指語(yǔ)義演繹的過(guò)程中之前每個(gè)部分的特征保持不變，即語(yǔ)義規(guī)則在語(yǔ)義組合的演繹過(guò)程中不能削減其含義（Ronnie Cann，2010）；第二，語(yǔ)義演繹的結(jié)果不僅歸功于詞素和句子，而且也取決于其句法成分。

（二）組合原則的必要性

英語(yǔ)“kick the bucket”的含義是“死”，但不能只是通過(guò)對(duì)句法規(guī)則約束下的短語(yǔ)中單詞的含義來(lái)判斷其含義。再如，美國(guó)語(yǔ)言學(xué)家Chomsky曾舉過(guò)的例子“Colorless green ideas sleep furiously”[3]，盡管這個(gè)句子在句法規(guī)則下不缺少任何成分，但是其語(yǔ)義卻無(wú)法理解，因?yàn)橛删渥又忻總€(gè)單詞的含義所組合成的句子含義不符合常理。

通過(guò)上面的例子得出，理解句子的含義不僅要考慮其句法規(guī)則，還要考慮句子所包含的詞素的含義。所以，最有效的語(yǔ)義學(xué)理論不僅能夠?qū)⒄Z(yǔ)言的句法和含義相結(jié)合，還要解釋句子中更簡(jiǎn)短的表達(dá)的含義對(duì)整個(gè)句子語(yǔ)義表達(dá)的貢獻(xiàn)，因此，需要應(yīng)用組合原則來(lái)解釋其中的原因。

（三）組合原則的意義

組合原則對(duì)句法學(xué)和語(yǔ)義學(xué)的關(guān)系產(chǎn)生了重要的影響，即一個(gè)表達(dá)的語(yǔ)義釋義與其句法結(jié)構(gòu)緊密相關(guān)。因?yàn)?，語(yǔ)義學(xué)必須通過(guò)有限的方式解釋無(wú)限的表達(dá)，即語(yǔ)義釋義并行于有限的、遞歸性的句法釋義。實(shí)現(xiàn)組合原則的方式就是采用規(guī)則對(duì)應(yīng)的假設(shè)[4]，即每一條句法規(guī)則都對(duì)應(yīng)著一條語(yǔ)義規(guī)則。這會(huì)確保每一條句法規(guī)則都會(huì)根據(jù)一條或者多條語(yǔ)義規(guī)則產(chǎn)出某種類型的表達(dá)，反映出如何將句子的組成成分形成完整的表達(dá)。

因此，組合原則被認(rèn)為是語(yǔ)義學(xué)理論的約束性原則，而規(guī)則對(duì)應(yīng)的假設(shè)是實(shí)現(xiàn)組合原則的主要方式，且組合原則和規(guī)則對(duì)應(yīng)的假設(shè)使句法結(jié)構(gòu)和語(yǔ)義表征相互聯(lián)系。

四、結(jié)語(yǔ)

本文通過(guò)對(duì)形式語(yǔ)義學(xué)的定義以及相關(guān)理論，如謂詞邏輯、集合論、模態(tài)論、類型論和蘭姆達(dá)算子以及組合原則等的論述，盡可能做到簡(jiǎn)化理論，目的是為了使對(duì)形式語(yǔ)義學(xué)研究感興趣的語(yǔ)言研究者更好地了解這一學(xué)科，對(duì)相關(guān)理論研究有所幫助。

參考文獻(xiàn)：

[1]John I.Saeed.Semantics（3rd）[M].Hong Kong：Graphicraft Limited，2010.

[2]凱特·科恩，著，陳麗萍，譯.語(yǔ)義學(xué)（第二版）[M].成都：四川大學(xué)出版社，2015.

[3]黃伯榮，廖旭東.現(xiàn)代漢語(yǔ)[M].北京：高等教育出版社，2011.

[4]沈園.形式語(yǔ)義學(xué)領(lǐng)域的語(yǔ)境研究[J].當(dāng)代語(yǔ)言學(xué)，2015（4）：470-483.

作者簡(jiǎn)介：李晶（1988-），女，山西大同人，太原工業(yè)學(xué)院，講師，研究方向：形式語(yǔ)義學(xué)研究。