語用推理的形式化研究.pdf

1、傳統(tǒng)的語義學可以分為詞匯語義學和成分語義學，詞匯語義學強調(diào)單個詞匯的作用，而成分語義學強調(diào)詞匯以某種方式組合在一起而得出句子內(nèi)容。人們在話語交際中，所要表達的意思經(jīng)常比字面意義要豐富得多，僅僅依靠語法、詞匯和句子結(jié)構(gòu)來理解話語常常是不夠的，語用推理在話語理解中扮演者重要的角色，沒有語用推理，有些語篇常常是不連貫的，甚至沒有任何意義。語用推理的目的就是在句子的字面意思和話語暗含之間架起一座橋梁，使得話語的含義得到充分理解。
　　

2、語用推理的形式化是以形式化的方法來研究語用推理。形式化的方法基于哲學和邏輯，它的優(yōu)點在于嚴密、準確，形式化的研究方法在計算機廣泛發(fā)展的今天相當普遍，在語用學領(lǐng)域也變得越來越重要。
　　 自然語言形式化的研究可以追溯到塔斯基的真值條件語義理論，在這篇文章中，他給出了形式語義學的基本思想和方法，但是他的理論僅適用于邏輯研究中的人工語言，不能直接適用于自然語言。蒙太古發(fā)展了塔斯基的真值語義理論，并將其應(yīng)用于自然語言，形成了自然語言的形

3、式語義理論：蒙太古語法。蒙太古語用學實際上是形式語義學向形式語用學的一個延伸，可以說基于模型理論向語用問題延伸是形式語用學發(fā)展的一個基本理念，在這樣的理念指引下，許多自然語言現(xiàn)象可以得到合理的解釋。但是蒙太古語法很快暴漏出了自身的缺陷，比如在處理人稱代詞的前指問題和量詞轄域等問題上遇到了挑戰(zhàn)。盡管這與蒙太古語法為多種語言現(xiàn)象都提供了統(tǒng)一的理論機制相比，只是一小部分問題，但是，它暴露了這樣一個信息：那就是在自然語言背后有存在著深層次的本質(zhì)

4、特性，而以往的理論還沒有意識到這些本質(zhì)。塔斯基理論和蒙太古語法都是靜態(tài)的形式化研究方法。
　　 DRT(語篇表征理論)和SDRT(分段式語篇表征理論)是動態(tài)語義理論。DRT的興起最初主要是為了解決“非限定摹狀詞”和“驢子句”的指涉問題。DRT 認為意義是一種心理表象，是人們思想的外在表征，DRT 不僅關(guān)注句子的真值條件，更關(guān)注聽者是如何理解句子的。DRT假設(shè)語言的使用者們是靠構(gòu)建語義結(jié)構(gòu)（DRS）來理解句子的，這樣語篇表征就代表

5、心理表征，這些語義結(jié)構(gòu)運用DRS構(gòu)建規(guī)則來構(gòu)建，DRT的創(chuàng)新之處在于DRS構(gòu)建規(guī)則中考慮到了先前構(gòu)建的DRS的信息，這樣語篇的理解是信息遞增的，語篇是連貫的，這種描述語境變化的能力是動態(tài)語義學的基本特征。在獲得了第一個句子的語義理解之后，這個理解就作為舊信息融入語境之中，服務(wù)于下一個句子的理解。
　　 DRT成功的解釋了非限定摹狀詞和驢子句的指涉問題，但是對很多自然語言現(xiàn)象不能給出合理的形式化，比如說面對搭橋式前指，會話含義等，

6、DRT都是無能為力的。
　　 SDRT是在DRT的基礎(chǔ)之上發(fā)展而來，吸收了DRT的表征模式，將修辭關(guān)系引入語篇理解。SDRT比DRT要復雜得多，SDRT在思想、理論和技術(shù)上都取得了很大的突破，從這個意義上說，SDRT不是DRT的一個理論分支，而是超越了DRT的新的語義理論。SDRT認為語篇中的句子盡管表面看起來像個語句串，但實際上存在著親疏遠近的不同關(guān)系，因而形成語段。語篇的意義依靠修辭結(jié)構(gòu)并且和修辭結(jié)構(gòu)相互作用，修辭結(jié)構(gòu)將句子

7、的意義連接在一起形成一個連貫的整體。換句話說，語篇的理解依靠世界知識、認知狀態(tài)、詞匯意義、句子成分意義和修辭關(guān)系，而SDRT就是一種將這些知識融為一體的語篇理解理論。SDRT不僅將修辭結(jié)構(gòu)和動態(tài)語義融合，而且給出了語用和語義的形式化描述，這是其他方法所不及的。SDRT闡述了幾種相互作用的語篇現(xiàn)象：解決了不同種類的前指照應(yīng)問題，包括橋式照應(yīng)，詞語歧義問題和會話含義等問題。限于本人的邏輯知識水平，本篇論文只介紹了幾種前指照應(yīng)現(xiàn)象的形式化分析

8、和形式化方法。
　　 向任何其他理論一樣，SDRT有它自身的缺陷，比如說，SDRT對更多日常生活中常用的語篇關(guān)系還沒有給出詳細的分析，缺乏調(diào)查以獲得更廣泛的經(jīng)驗，等等。
　　 本文首先對傳統(tǒng)形式語義學作以簡單回顧，介紹了簡單的邏輯知識，主要介紹了本文所用到的命題邏輯和一階謂詞邏輯，在這些準備知識基礎(chǔ)之上，引出了DRT和SDRT,主要介紹SDRT的理論框架和形式化研究方法。最后在SDRT理論框架下，將搭橋推理形式化，這也是