形式語義學(xué)初探

(1)Johnsings.(1)Johnsings.形式語義學(xué)初探形式語義學(xué)起源于19世紀(jì)德國邏輯學(xué)家Frege的作品。直到20世紀(jì)70年代后期,形式語義學(xué)才出現(xiàn)在語言學(xué)研究領(lǐng)域。在不同的領(lǐng)域里,形式語義學(xué)有不同的研究重點(diǎn),在語言學(xué)領(lǐng)域里形式語義學(xué)試圖通過構(gòu)建形式語義理論來解釋自然語言的意義。早期的形式語義學(xué)主要有四條研究線路:靜態(tài)語義學(xué),動態(tài)語義學(xué),情景語義學(xué)和非合成解釋語義學(xué)。本文主要探討靜態(tài)語義學(xué)的三種學(xué)說及其相互間的比較。標(biāo)簽：一階邏輯所指Frege-Carnap學(xué)說Davidson學(xué)說Montague學(xué)說一、引言形式語義學(xué)(又稱“模型理論語義學(xué)”“可能世界語義學(xué)”)的傳統(tǒng)可追溯至一階邏輯創(chuàng)始人、德國邏輯學(xué)家Frege,他主張用邏輯的方法研究語言意義。其后,Wittgenstein、Russel、Carnap等人將哲學(xué)和邏輯相結(jié)合研究意義，很多意義現(xiàn)象經(jīng)他們的研究得到了較為精確的刻畫。到了20世紀(jì)70年代,邏輯學(xué)家兼哲學(xué)家Montague確立了形式語義學(xué)的基本框架，從此形式語義學(xué)在語言學(xué)界得到了廣泛的討論,形式語義學(xué)研究也在諸多方面取得了進(jìn)展。在不同的領(lǐng)域里形式語義學(xué)有不同的研究重點(diǎn),在語言學(xué)領(lǐng)域里形式語義學(xué)試圖用嚴(yán)格的數(shù)學(xué)模型,或者說通過構(gòu)建形式語義理論來解釋自然語言的意義。形式語義理論主要有三個(gè)功能:1.它能說明語言里的句法范疇(syntacticcategory)與世界的實(shí)體(entityintheworld)之間的對應(yīng)關(guān)系;2.它能指出專有名詞(propernames)與量化名詞詞組(quantifiedNPs)之間重要的語義差異;3.它能解釋人們?nèi)绾螐妮^小表達(dá)單位的意義推導(dǎo)出較大表達(dá)單位的意義。形式語義學(xué)主要有四條研究線路:靜態(tài)語義學(xué),動態(tài)語義學(xué),情景語義學(xué)和非合成解釋語義學(xué)。本文主要探討靜態(tài)語義學(xué)。靜態(tài)語義學(xué)把句子作為靜態(tài)的、獨(dú)立的意義單位,主要研究句子的各個(gè)成分的意義如何構(gòu)成整個(gè)句子的真值。靜態(tài)語義學(xué)又分三種學(xué)說:Frege-Carnap學(xué)說、Davidson學(xué)說和Montague學(xué)說。在介紹這三種學(xué)說之前,我們先來看一下幾個(gè)基本概念。二、意義與所指我們知道,語義理論的功能之一是說明語言里的句法范疇與世界實(shí)體的對應(yīng)關(guān)系。而Frege認(rèn)為自然語言里的基本句法范疇對應(yīng)于一階邏輯的語義類型(typesoffirst-orderlogic)o因此Frege聲稱對于每一一階義類的語言表達(dá)都可以把某一實(shí)體作為其所指(denotation)。一階義類有:(一)個(gè)體項(xiàng)(individualterms)指示世界上的某一個(gè)體;(二)謂詞(predicates),其中一目謂詞(one-placepredicate)指示從個(gè)體到真值(truth-value)的函數(shù)(注:Frege把真值作為陳述句的所指)。每個(gè)函數(shù)都是從自變量的集合(定義域)到函數(shù)值的集合(值域)的映射,因此一目謂詞所指示的函數(shù)f也可以用一個(gè)由能使該函數(shù)產(chǎn)生真值的個(gè)體組成的集合來表示。下面我們看一個(gè)例子:在例(1)中,“John”是個(gè)體項(xiàng),它的所指是一個(gè)叫“John”的個(gè)體。動詞短語“sings指示一個(gè)集合，這個(gè)集合是由能使這個(gè)句子產(chǎn)生真值的個(gè)體組成的。所以當(dāng)且僅當(dāng)“John”所指示的個(gè)體屬于*跡寸所指示的集合時(shí),這個(gè)句子的真值才是真的。(三)真值函項(xiàng)聯(lián)結(jié)詞(connectives)包括and,or,if…then以及not等。這些雙項(xiàng)真值函項(xiàng)聯(lián)結(jié)詞的所指是從一對真值到一個(gè)真值的函數(shù)。所以,只有兩個(gè)句子都是真命題時(shí),“and”所聯(lián)結(jié)的句子才是真命題，否則就是假命題;只有兩個(gè)句子都是假命題時(shí),“or”所聯(lián)結(jié)的句子才是假命題，否則就是真命題;當(dāng)前提是真命題而結(jié)論是假命題時(shí)“if…then”聯(lián)結(jié)的句子就是假命題，否則是真命題;當(dāng)且僅當(dāng)一個(gè)句子是假命題時(shí)，否定聯(lián)結(jié)詞“not”所聯(lián)結(jié)的句子才是真命題。請看下面的例子：(2)a.JohnsingsandMarydances.b.JohnsingsorMarydances.c.IfJohnsingsthenMarydances.d.Johndoesn’tsing.當(dāng)且僅當(dāng)“and”聯(lián)結(jié)的兩個(gè)句子“Johnsings”和“Marydances”都是真命題時(shí),例(2總才是真命題。當(dāng)且僅當(dāng)“or”聯(lián)結(jié)的兩個(gè)句子“Johnsings”和“Marydances”M少有一個(gè)是真命題時(shí)，例⑵b才是真命題。只有當(dāng)"Johnsings”是假命題或“Marydances”是真命題時(shí)，例⑵c才是真命題。只有當(dāng)"Johnsings”是假命題時(shí)，例⑵d才是真命題。那么像“Someonesings”和“Everyonedances”這類句子的情況又怎樣呢?盡管看起來“someone”“everyone”和“John”“Mary”屬于同一句法范疇，事實(shí)上它們不同于“John”“Mary”,它們的所指不是某個(gè)個(gè)體,那么它們到底指示什么呢?接下來我們看一下第四種語義類型(四)一階量詞(quantifiers)指示二階函數(shù)。請看下面的句子:(3)Itisnotthecasethatsomestudentintheclasshasfinishedhis/herpaper.只有當(dāng)這個(gè)班級里已經(jīng)完成論文的學(xué)生的集合是個(gè)空集時(shí),這個(gè)句子才是真命題。一階邏輯有兩個(gè)基本量詞:任意(every)和存在(some),通常分別用符號x和x來表示。還有其他一些符號如:“?”表示否定(itisnotthecasethat),“&”表示連接(and)以及“一”表示如果……就(if…then)。因此，在一階邏輯里例(3)就可以表示為:(4)a.?x(student(x)&finishedx'spaper(x))b.x(student(x)T?finishedx'spaper(x))而例(5)a就可以表示為例(5)b:(5)a.Johnhasfinishedhispaper.b.finishedjohn’spaper(john)專有名詞(如」。卜口)和固定表達(dá)式(如thePrimeMinister)都作為個(gè)體項(xiàng)，故他們的所指都是某一個(gè)體。而我們知道形式語義理論試圖用所指來解釋語言表達(dá)式的含意(meaning)。因此固定表達(dá)式就給這一理論提出了一個(gè)有趣的問題，因?yàn)椤皌heformerGovernorofArkansas”和“thepresidentoftheUnitedStates”有相同的所指:BillClinton(至少在克林頓的總統(tǒng)任職期間是如此)，但是這兩個(gè)表達(dá)式的含意是不一樣的，也就是說，我們不能把“theformerGovernorofArkansas”解釋為“thepresidentoftheUnitedStates”,或反之亦然。這就使得Frege把含意分解成兩個(gè)部分:所指(denotation)和意義(sense)。后來，他的后繼者Carnap分別用外延(extension)和內(nèi)涵(intension)來替代Frege的所指和意義。外延對應(yīng)于世界上的實(shí)體，內(nèi)涵是從可能世界到外延的函數(shù)。陳述句的外延是它的真值,名詞的外延是某一個(gè)體,謂詞的外延是一個(gè)集合。三、靜態(tài)語義學(xué)的三種學(xué)說(一)Frege-Carnap學(xué)說由上文我們得知形式語義理論的任務(wù)之一是解釋人們?nèi)绾螐妮^小表達(dá)單位的意義推導(dǎo)出較大表達(dá)單位的意義。至于這一點(diǎn)Frege采用了語義合成原則(principleofcompositionality)作為充分條件來解釋意義，這個(gè)原則要求任何合格短語的意義是其組成部分意義的函數(shù)。在Frege-Carnap學(xué)說中，這一原則又派生出兩個(gè)次原則:.一個(gè)短語的外延是其各組成部分的外延的函數(shù)。.一個(gè)短語的內(nèi)涵是其各組成部分的內(nèi)涵的函數(shù)。真值函項(xiàng)聯(lián)結(jié)詞產(chǎn)生的復(fù)合句子滿足第二條次原則。因此,例(6)的真值是“and”連接的兩個(gè)部分的真值的函數(shù)。(6)JohnsingsandMarydances.然而,“相信”“認(rèn)為”等這一類動詞卻遇到了問題。因?yàn)樗鼈儾幌裾嬷岛?xiàng)聯(lián)結(jié)詞,所連接的句子不僅會受到作為補(bǔ)語的