試論話語表現(xiàn)理論與動態(tài)謂詞邏輯.pdf

1、話語表現(xiàn)理論是形式語義學(xué)發(fā)展過程中的一道分水嶺，人們稱其之前的為傳統(tǒng)形式語義學(xué)。它與傳統(tǒng)形式語義學(xué)最大的不同就是：后者對句子的分析是靜態(tài)的，而話語表現(xiàn)理論對句子的分析則是動態(tài)的。該理論是動態(tài)地描述自然語言意義的邏輯語義學(xué)理論，把傳統(tǒng)語義學(xué)對單個句子的處理擴大到句子序列，通過逐漸增添話語信息的方法，聯(lián)系上下文展現(xiàn)其中名詞與代詞的指代照應(yīng)關(guān)系；而且還從算法的角度展現(xiàn)了從英語語句的句法結(jié)構(gòu)到其語義表現(xiàn)的過程，刻畫了語義分析的動態(tài)過程，還在話語

2、表現(xiàn)結(jié)構(gòu)等概念的基礎(chǔ)上創(chuàng)建了獨特的形式推演系統(tǒng)。正是這種動態(tài)的分析方法使其成功地解決了蒙太格語法對摹狀詞處理的不恰當(dāng)問題。 動態(tài)謂詞邏輯與話語表現(xiàn)理論一脈相承，為經(jīng)典謂詞邏輯提供一種動態(tài)的語義解釋。根據(jù)塔斯基的真值定義，動態(tài)謂詞邏輯用指派的集合來確定公式在模型中的所指外延，將公式的語義表現(xiàn)為指派之間的二元有序?qū)﹃P(guān)系，適當(dāng)?shù)匮由炝肆吭~的約束力，使“ xФ∧Ψ”與“ x(Ф∧Ψ)”等價，與話語表現(xiàn)理論相比，更好地處理了跨句照應(yīng)和驢子