1、真值條件語義學(xué)簡(jiǎn)介An Introduction to Truth- conditional Semantics,李 穎 （）,提綱,什么是真值條件語義學(xué) 基本概念與理論架構(gòu) 小結(jié) 結(jié)束語,什么是真值條件語義學(xué),真值條件語義學(xué)也稱邏輯語義學(xué)或者形式語義學(xué)，由蒙太古（Montague）創(chuàng)立。 用數(shù)理邏輯(主要是命題邏輯與謂詞邏輯)作為工具來研究自然語言的語義。奠基性論文有(1)English as a Formal Language.(2)The Proper Treatment of Quantification in Ordinary English.等 面向的是自然語言，但不是自然語言的全

2、部，只是研究其中的陳述句。,基本概念與理論架構(gòu),基本概念 真值條件 模型 可能世界 理論架構(gòu),基本概念,真值條件（truth condition）：那些可使一個(gè)語句為真的條件就是該語句的真值條件。 句子的意義（meaning of sentence）：理解句子的意義就在于獲取它的真值條件。 S is true iff p. S 代表某個(gè)句子，p 代表句子的真值條件，iff （if and only if ）是充分必要條件。例如：“snow is white” is true iff snow is white.,基本概念(2),模型：模型可以理解為一種情景的“表達(dá)”方式。情景總會(huì)涉及到一些人和

3、物以及它們之間的關(guān)系，模型的任務(wù)就是描述這些人和物以及它們之間的關(guān)系。 模型通常用M 表示：M=(U,F) 其中U表示情景中所有本體的集合，是論域。F是賦值函數(shù)，其作用是把句子中的基本詞（個(gè)體詞和謂詞）跟U中的本體直接或間接聯(lián)系在一起。 可以看一個(gè)例子。,模型的一個(gè)實(shí)例,語句：Zhang San likes Li Si 模型M=U，F(xiàn) 其中U=ZHANG SAN，LI SI，WANG WU F（Zhang San）=ZHANG SAN F(Li Si)=LI SI F（Wang Wu）=WANG WU F（like）=(ZHANG SAN，LI SI)，(ZHANG，SAN，WANG WU)，

4、(LI SI，ZHANG SAN) F（walk）=ZHANG SAN，WANG WU,基本概念（3）,可能世界（possible worlds）： A proposition is a function from possible worlds to truth values. 時(shí)間、空間是可能世界的主角。 時(shí)態(tài)、模態(tài)、語氣的表達(dá)完全可以借助可能世界來表達(dá)?！斑^去、現(xiàn)在、將來，本當(dāng)、應(yīng)該、實(shí)際上”是可能世界的一種描述。,理論架構(gòu)（1）,由3部分組成 真值條件理論 模型理論 可能世界真值理論,理論架構(gòu)（2）,處理過程分3步 翻譯：把自然語言句子翻譯成邏輯語言。邏輯語言沒有歧義，句法與語義被精確

5、定義。 建模：為邏輯語言建立一個(gè)形式化的情景模型。 求解：計(jì)算邏輯語言表達(dá)式在給定模型下的真值。 舉例,例1（句子的意義）翻譯Zhang San likes Li Si,NL LL Zhang San likes Li Si like(Zhang San, Li Si) 詞匯 N=Zhang San, Li Si, 個(gè)體常元 a,b,c,. V1=like, love, despise,l. 個(gè)體變?cè)?x,y,z,. V2=walk,run,sing,. 謂詞 P，N，。 句法 S-NP+V 如果P是一元謂詞，a是個(gè)體詞， 那么P（a）合法 S-NP1+V+NP2 如果B是二元謂詞，a，b是個(gè)

6、 體詞，那么B（a,b）合法 NP-Npr,例1（句子的意義）語義解釋Zhang San likes Li Si,（1）建模M=U，F(xiàn) 其中U=ZHANG SAN，LI SI，WANG WU F（Zhang San）=ZHANG SAN ，F(xiàn)(Li Si)=LI SI F（Wang Wu）=WANG WU F（like）=(ZHANG SAN，LI SI)，(ZHANG SAN，WANG WU)，(LI SI，ZHANG SAN) F（walk）=ZHANG SAN，WANG WU （2）語義規(guī)則 如果a是謂詞或個(gè)體常元，a M =F（a） 如果a是一元謂詞，b是個(gè)體常元，則a(b) M =1

7、當(dāng)且僅當(dāng) b M a M 如果a是二元謂詞，b,c是個(gè)體常元，則a(b,c) M =1當(dāng)且僅當(dāng) (b M ,c M ) a M,例1（句子的意義）真值計(jì)算Zhang San likes Li Si,likes(Zhang San, Li Si) M =1當(dāng)且僅當(dāng) (Zhang San M ,Li Si M ) like M (Zhang San M ,Li Si M )=(F(Zhang San),F(Li Si)=(ZHANG SAN, LI SI) like M = F（like）=(ZHANG SAN，LI SI)，(ZHANG SAN，WANG WU)，(LI SI，ZHANG SAN

8、) 由于 (ZHANG SAN, LI SI) (ZHANG SAN，LI SI)，(ZHANG SAN，WANG WU)，(LI SI，ZHANG SAN) 所以 likes(Zhang San, Li Si) M =1 也就是說，likes(Zhang San, Li Si)的真值為真。 其含義是，存在兩個(gè)人Zhang San和 Li Si并且Zhang San 喜歡Li Si。,例2（復(fù)合命題）：Tom is handsome and he is rich .,分解 Tom is handsome p Tom is rich q And Tom is handsome and he is

9、 rich . p q “pq” 意義定義為： pq =1 iff p=1并且 q=1 更多的聯(lián)結(jié)詞,常見邏輯聯(lián)結(jié)詞真值表,例3（命題邏輯形式推理1）,例3如果今天是星期一，則要進(jìn)行英語或語言學(xué)考試，如果英語老師有會(huì)，則不考英語。今天是星期一，英語老師有會(huì)，還考語言學(xué)嗎？ p: 今天是星期一 q: 進(jìn)行英語考試 r: 進(jìn)行語言學(xué)考試 s: 英語老師有會(huì) 前提：p(rq), sq, p, s 結(jié)論：r,例3（命題邏輯形式推理2）,(1) p(rq) 前提引入 (2) p 前提引入 (3) rq (1)(2)假言推理 (4) sq 前提引入 (5) s 前提引入 (6) q (4)(5)假言推理

10、(7) r (3)(6)析取三段論,例4（謂詞邏輯形式推理）,主要貢獻(xiàn) 主要缺陷,主要貢獻(xiàn),用數(shù)理邏輯方法解釋自然語言的語義，開辟了用嚴(yán)格數(shù)學(xué)方法研究自然語言語義的新方向。具有重要意義。因?yàn)樵谶@之前，邏輯學(xué)家和語言學(xué)家都認(rèn)為適合人工形式語言的描述方法不能直接用于自然語言。,主要缺陷（1）,1、面向的對(duì)象不是整個(gè)自然語言中的語句，只研究陳述句； 2、把自然語言轉(zhuǎn)換成謂詞表達(dá)式，沒有提供一種與語種無關(guān)的普適的轉(zhuǎn)換方法，蒙太古針對(duì)英語做了很深的研究，但事實(shí)上漢語在這一步比較艱難。我國(guó)學(xué)者在領(lǐng)域中很有建樹（陸汝占、靳光瑾、方立等）； 3、真值條件語義學(xué)，只是孤立地分析一個(gè)句子，沒有語境的支持，有時(shí)候是

11、不會(huì)得出語句的真正含義的。需要有語用學(xué)來支撐。,主要缺陷（2）,4、邏輯聯(lián)結(jié)詞只是自然語言眾多連接詞中的一小部分，未能處理句子之間各種語義關(guān)系，就是定義好了的邏輯聯(lián)結(jié)詞，其意義與自然語言中的意義在對(duì)接中也存在一定誤差，如合取，英語用“and” （1a）they got married and had a baby （1b）they had a baby and got married （2）if they got married and had a baby , their parents would be pleased , but if they had a baby and got married, their parents would be upset. 析取，漢語用“或” （3a）我們選張三當(dāng)班長(zhǎng)或者選李四當(dāng)班長(zhǎng)； （3b）他學(xué)過英語或法語。,結(jié)束語,真值條件語義學(xué)使人們看到了語言形式化處理的曙光，架起了語義學(xué)與邏輯學(xué)的橋梁。但其缺陷讓人不得不思考這樣的問題：語言學(xué)中是否存在一個(gè)笛卡爾坐標(biāo)系？如同空間中的一個(gè)點(diǎn)（X，Y，Z）總可以通過它的一組基底（1，0，0），（0，1，