本文關(guān)鍵詞：試論話語(yǔ)表現(xiàn)理論與動(dòng)態(tài)謂詞邏輯，由筆耕文化傳播整理發(fā)布。

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

  本文關(guān)鍵詞：試論話語(yǔ)表現(xiàn)理論與動(dòng)態(tài)謂詞邏輯，由筆耕文化傳播整理發(fā)布。