系統(tǒng)Z的量化擴(kuò)張及其對(duì)話語(yǔ)表現(xiàn)理論的處理.pdf

1、摘要本文意圖為話語(yǔ)表現(xiàn)理論構(gòu)造一個(gè)簡(jiǎn)單處理的形式系統(tǒng)。話語(yǔ)表現(xiàn)理論〔DRT)是由HansKalnp在20世紀(jì)80年代初期提出的、動(dòng)態(tài)地描述自然語(yǔ)言意義的形式語(yǔ)義學(xué)理論，從以蒙太格語(yǔ)法為首的關(guān)于自然語(yǔ)言語(yǔ)義學(xué)的模型論方法那里發(fā)展起來(lái)。DRT的提出主要是為處理所謂的“驢子句”帶來(lái)的語(yǔ)義疑難，即句子系列之間名詞與代詞的指代照應(yīng)關(guān)系:包含由不定冠詞“a(an)”組成的名詞短語(yǔ)的語(yǔ)句通常被處理成存在量化式，而在特定的語(yǔ)境下，比如在包含不定冠詞的“

2、驢子句”那里卻直觀上表述了全稱量化式的意思。為解決這些問(wèn)題，D盯在通常形式語(yǔ)義學(xué)具有的句法規(guī)則和模型論語(yǔ)義解釋的基礎(chǔ)上，提出了一種表現(xiàn)自然語(yǔ)言語(yǔ)義的特定方式，即話語(yǔ)表現(xiàn)結(jié)構(gòu)(DRS)并在經(jīng)典邏輯語(yǔ)義學(xué)基礎(chǔ)上發(fā)展了一種帶有嵌入函項(xiàng)的特定模型來(lái)解釋話語(yǔ)表現(xiàn)結(jié)構(gòu)。DRT把傳統(tǒng)模型論形式語(yǔ)義學(xué)對(duì)白然語(yǔ)言句子的分析擴(kuò)大到句子系列，通過(guò)對(duì)句子上下文的分析，充分展示其中名詞與代詞的照應(yīng)關(guān)系，以及其中動(dòng)詞在時(shí)間方面的復(fù)雜聯(lián)系:它的動(dòng)態(tài)研究方法比較符合人

3、們理解語(yǔ)言的認(rèn)知過(guò)程，就刻畫(huà)句子信息的不斷積累與遞增來(lái)說(shuō)比以往的靜態(tài)方法有明顯的優(yōu)越性。從邏輯的角度看，不僅要關(guān)注對(duì)自然語(yǔ)言語(yǔ)義問(wèn)題的分析，更要進(jìn)一步把DRT處理自然語(yǔ)言語(yǔ)義的結(jié)果同推理聯(lián)系起來(lái)，探索話語(yǔ)表現(xiàn)結(jié)構(gòu)構(gòu)成推演系統(tǒng)的可能性。本文首先綜述了話語(yǔ)表現(xiàn)理論的基本內(nèi)容，然后介紹了以系統(tǒng)2為代表的采用括號(hào)記法的經(jīng)典邏輯系統(tǒng)，并在命題邏輯系統(tǒng)2的基礎(chǔ)上，構(gòu)造了兩個(gè)以廣義析舍和存在量詞為初始聯(lián)結(jié)詞、采用括號(hào)記法的一階系統(tǒng)，其中系統(tǒng)2‘的完全

4、性證明比較簡(jiǎn)單。最后，說(shuō)明了話語(yǔ)表現(xiàn)理論和一階邏輯之間的對(duì)應(yīng)關(guān)系，并且在系統(tǒng)2‘的基礎(chǔ)上給出了一個(gè)用系統(tǒng)2‘處理的、以表現(xiàn)自然語(yǔ)言語(yǔ)義的話語(yǔ)表現(xiàn)結(jié)構(gòu)為形式語(yǔ)言的形式公理系統(tǒng)zL。與系統(tǒng)2‘一樣，系統(tǒng)ZL也以廣義析舍和存在量詞為初始聯(lián)結(jié)詞:不同的是，系統(tǒng)ZL由于直接以話語(yǔ)表現(xiàn)結(jié)構(gòu)為形式語(yǔ)言，而話語(yǔ)表現(xiàn)結(jié)構(gòu)是以方框的形式出現(xiàn)的，因此，系統(tǒng)采用方框記法，只不過(guò)這一記法與括號(hào)記法并無(wú)二致，一個(gè)方框就是一對(duì)括號(hào)。另外，系統(tǒng)zL的元定理證明與系統(tǒng)2

5、的一樣。這樣，就使得新的話語(yǔ)表現(xiàn)理論形式公理系統(tǒng)比己有的形式系統(tǒng)更為簡(jiǎn)潔。hutinDRI’呼“quarefelefeflCeShavenoothermeanin士discourselconnectdl化ofthesvsten:SVSTell門(mén)2二LalldthediscoursecOnlya于igni乎ISal一eOOUn口theDRSactedastheeec奴1111二Lne尸嚇。澳黔只Q那功eexPres冬lonln功eTgr拱