本文關鍵詞：試論話語表現(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ā)布。