試論話語表現(xiàn)理論與動態(tài)謂詞邏輯.pdf 全文
本文關鍵詞:試論話語表現(xiàn)理論與動態(tài)謂詞邏輯,由筆耕文化傳播整理發(fā)布。
河南大學
碩士學位論文
試論話語表現(xiàn)理論與動態(tài)謂詞邏輯
姓名:薛彩霞
申請學位級別:碩士
專業(yè):邏輯學
指導教師:郭橋
座機電話號碼
中文摘要
話語表現(xiàn)理論是形式語義學發(fā)展過程中的一道分水嶺,人們稱其之前的為傳
統(tǒng)形式語義學。它與傳統(tǒng)形式語義學最大的不同就是:后者對句子的分析是靜態(tài)
的,而話語表現(xiàn)理論對句子的分析則是動態(tài)的。該理論是動態(tài)地描述自然語言意
義的邏輯語義學理論,把傳統(tǒng)語義學對單個句子的處理擴大到句子序列,通過逐
漸增添話語信息的方法,聯(lián)系上下文展現(xiàn)其中名詞與代詞的指代照應關系;而且
還從算法的角度展現(xiàn)了從英語語句的句法結(jié)構(gòu)到其語義表現(xiàn)的過程,刻畫了語義
分析的動態(tài)過程,還在話語表現(xiàn)結(jié)構(gòu)等概念的基礎上創(chuàng)建了獨特的形式推演系統(tǒng)。
正是這種動態(tài)的分析方法使其成功地解決了蒙太格語法對摹狀詞處理的不恰當問
題。
動態(tài)謂詞邏輯與話語表現(xiàn)理論一脈相承,為經(jīng)典謂詞邏輯提供一種動態(tài)的語
義解釋。根據(jù)塔斯基的真值定義,動態(tài)謂詞邏輯用指派的集合來確定公式在模型
中的所指外延,將公式的語義表現(xiàn)為指派之間的二元有序?qū)﹃P系,適當?shù)匮由炝?
量詞的約束力,使“|x①八甲”與“|x ①入、王, "等價,與話語表現(xiàn)理論相比,
更好地處理了跨句照應和驢子句的指代照應關系。
盡管話語表現(xiàn)理論與動態(tài)謂詞邏輯都是動態(tài)的形式語義學,但是前者的處理
對象直接針對自然語言表達式,而后者則針對一階謂詞邏
本文關鍵詞:試論話語表現(xiàn)理論與動態(tài)謂詞邏輯,由筆耕文化傳播整理發(fā)布。
,本文編號:149097
本文鏈接:http://lk138.cn/shekelunwen/ljx/149097.html