邏輯語義學話語表現理論、范疇類型邏輯和情境語義學是西方學者從事邏輯語義學研究所提出的三種代表性理論。在這三種理論中話語表現理論又是最具代表性的，因為它具有標誌性意義，其標誌性意義在於它是形式語義學發展過程中的一道分水嶺，人們稱它之前的形式語義學為傳統形式語義學。它與傳統形式語義學的最大不同就是：傳統形式語義學對句子語義的分析是靜態的，而話語表現理論對句子語義的分析是動態的。這一理論從算法角度展現了從英語語句的句法形式到語義表現的過程，刻畫了語義分析的動態過程，還在話語表現結構等概念的基礎上創建了獨特的形式推演系統。正是動態的分析方法使其成功地解決了句子序列中代詞和名詞的指代照應關係問題，解決了蒙太格語法對摹狀詞處理的不恰當問題。這一理論在西方受到了極大的關注，有些學者甚至還針對它們設計出了分析自然語言的電腦軟體。與這一理論一同被關注的還有範疇類型邏輯和情境語義學，因為範疇類型邏輯是自然語言邏輯系列的重要發展線索，情境語義學則是信息流邏輯的思想源泉。
與西方學界相比，目前國內學界對自然語言邏輯的研究尚屬起步階段，對邏輯語義學的研究也如此。對這三種有代表性的理論所做的多是介紹性的工作，並且這種介紹是不系統的，也沒有反映出最新的發展情況。以話語表現理論來說，其雛形是漢斯.坎普於20世紀80年代初構建的DRT，之後又先後出現了雙重否定DRT、SDRT等。而我國學者所做的介紹只限於雛形的DRT和雙重否定DRT，其中雙重否定DRT只有香港學者潘海華在一本書里介紹過一次，對SDRT則完全沒有涉及，對“話語表現理論是否適合於漢語語義的分析，適合的話又該如何去實踐”這樣的問題，更是無人問津。
本課題的研究可以解決漢語中某些重大疑難問題，可以促使人們對“邏輯的功能和作用”作出新的反思，對現代邏輯與語言學、現代邏輯與計算機科學間的關係，以及邏輯語義學、形式語義學、自然語言邏輯等概念進行更深入的思考，作出新的、更精細的分析，這可以說是本課題研究的理論價值。從實踐價值來說，在當今語言的信息處理實踐活動中，形式語義學關於自然語言的研究成果常常被計算機人工智慧領域的學者所關注並借用，由於本課題將嘗試用話語表現理論對漢語中的反身代詞作一個較全面的處理，所以本課題的研究還可以啟發人們運用新的邏輯工具，對自然語言的語義問題，尤其是漢語的語義問題，作出新的刻畫，這種刻畫能夠為自然語言信息處理的計算機實現提供理論依據，從而為計算機更好地模擬人的語言認知能力做出貢獻。
2.研究的重點、難點以及創新之處
本課題的研究將圍繞話語表現理論展開，對範疇類型邏輯和情境語義學也略有涉及。
話語表現理論的研究工作將從以下幾個方面進行。首先是澄清形式語義學、邏輯語義學、語言邏輯、自然語言邏輯等基本概念，這些基本概念出現的頻率很高，卻沒有明確的界定，用得很混亂；其次是以坎普的話語表現理論為核心進行外部比較和內部比較。通過外部比較，即與自然語言邏輯領域中其它理論的比較，尤其是與蒙太格語法的比較，我們可以了解該理論都有哪些獨特功能；通過內部比較，即與它之後所出現的雙重否定DRT和SDRT的比較，我們不僅可以把握該理論的發展脈搏，揭示其發展規律，還可以進一步預測其發展方向，並針對其不完善之處做相應的改進工作。第三是嘗試用話語表現理論來解決漢語中部分疑難問題。話語表現理論是針對英語而設計的，漢語在很多方面不同於英語，這一理論能運用於處理漢語中的疑難問題嗎？本課題將在可行性論證的基礎上，著力用這一理論來處理漢語中反身代詞的約束特性問題。漢語中反身代詞的約束特性是國際漢語研究中的一個熱門且又棘手的問題，本課題期望在對這個問題的研究上能夠有所突破。
除進行微觀層面的研究外，本課題還將進行一些巨觀層面的探討，探討自然語言邏輯與現代語言學、人工智慧科學的互動作用，探討自然語言邏輯的研究範圍和特性，等等。
本課題的難點以及創新之處都體現在用話語表現理論來解決漢語中部分疑難問題上。由於“西洋語法是硬的，沒有彈性的；中國語法是軟的，富於彈性的”，而話語表現理論是建立是英語的基礎上的，這就要求首先要對這一理論運用於漢語的可行性進行論證；如何將這一理論套用於漢語語義的分析呢？怎么衡量所進行的分析是否成立呢？這都是難點。本文將通過對反身代詞的分析給出我們的答案。
3.研究採用的方法
研究中要使用的方法預計主要有這樣幾種：
第一，比較方法。在比較中揭示邏輯語義學與語言學、信息科學的關係，在比較中揭示邏輯語義學的各種理論的特點。
第二，形式化方法與非形式化方法相結合的方法。邏輯學工作者研究自然語言和語言學工作者研究自然語言，其間最大的不同就是現代邏輯工具的系統使用，邏輯語義學是順應信息科學的發展需求而出現的，其很多理論本身就是以形式系統的形式出現的，對這些理論進行研究當然要用到形式化方法。要完成本課題的研究，僅有形式化方法是不夠的，所以形式化方法的使用還必須與非形式化的方法進行有機的結合。
第三，分析和綜合相結合的方法。具體分析邏輯語義學的各種理論間的差異，分析話語表現理論與一階謂詞邏輯間的差異，在此基礎上把握語言邏輯用現代邏輯的手段研究自然語言的總體特色。
