)逻辑语义学
逻辑语义学话语表现理论、范畴类型逻辑和情境语义学是西方学者从事逻辑语义学研究所提出的三种代表性理论。在这三种理论中话语表现理论又是最具代表性的，因为它具有标志性意义，其标志性意义在于它是形式语义学发展过程中的一道分水岭，人们称它之前的形式语义学为传统形式语义学。它与传统形式语义学的最大不同就是：传统形式语义学对句子语义的分析是静态的，而话语表现理论对句子语义的分析是动态的。这一理论从算法角度展现了从英语语句的句法形式到语义表现的过程，刻画了语义分析的动态过程，还在话语表现结构等概念的基础上创建了独特的形式推演系统。正是动态的分析方法使其成功地解决了句子序列中代词和名词的指代照应关系问题，解决了蒙太格语法对摹状词处理的不恰当问题。这一理论在西方受到了极大的关注，有些学者甚至还针对它们设计出了分析自然语言的电脑软件。与这一理论一同被关注的还有范畴类型逻辑和情境语义学，因为范畴类型逻辑是自然语言逻辑系列的重要发展线索，情境语义学则是信息流逻辑的思想源泉。
与西方学界相比，目前国内学界对自然语言逻辑的研究尚属起步阶段，对逻辑语义学的研究也如此。对这三种有代表性的理论所做的多是介绍性的工作，并且这种介绍是不系统的，也没有反映出最新的发展情况。以话语表现理论来说，其雏形是汉斯.坎普于20世纪80年代初构建的DRT，之后又先后出现了双重否定DRT、SDRT等。而我国学者所做的介绍只限于雏形的DRT和双重否定DRT，其中双重否定DRT只有香港学者潘海华在一本书里介绍过一次，对SDRT则完全没有涉及，对“话语表现理论是否适合于汉语语义的分析，适合的话又该如何去实践”这样的问题，更是无人问津。
本课题的研究可以解决汉语中某些重大疑难问题，可以促使人们对“逻辑的功能和作用”作出新的反思，对现代逻辑与语言学、现代逻辑与计算机科学间的关系，以及逻辑语义学、形式语义学、自然语言逻辑等概念进行更深入的思考，作出新的、更精细的分析，这可以说是本课题研究的理论价值。从实践价值来说，在当今语言的信息处理实践活动中，形式语义学关于自然语言的研究成果常常被计算机人工智能领域的学者所关注并借用，由于本课题将尝试用话语表现理论对汉语中的反身代词作一个较全面的处理，所以本课题的研究还可以启发人们运用新的逻辑工具，对自然语言的语义问题，尤其是汉语的语义问题，作出新的刻画，这种刻画能够为自然语言信息处理的计算机实现提供理论依据，从而为计算机更好地模拟人的语言认知能力做出贡献。
2.研究的重点、难点以及创新之处
本课题的研究将围绕话语表现理论展开，对范畴类型逻辑和情境语义学也略有涉及。
话语表现理论的研究工作将从以下几个方面进行。首先是澄清形式语义学、逻辑语义学、语言逻辑、自然语言逻辑等基本概念，这些基本概念出现的频率很高，却没有明确的界定，用得很混乱；其次是以坎普的话语表现理论为核心进行外部比较和内部比较。通过外部比较，即与自然语言逻辑领域中其它理论的比较，尤其是与蒙太格语法的比较，我们可以了解该理论都有哪些独特功能；通过内部比较，即与它之后所出现的双重否定DRT和SDRT的比较，我们不仅可以把握该理论的发展脉搏，揭示其发展规律，还可以进一步预测其发展方向，并针对其不完善之处做相应的改进工作。第三是尝试用话语表现理论来解决汉语中部分疑难问题。话语表现理论是针对英语而设计的，汉语在很多方面不同于英语，这一理论能运用于处理汉语中的疑难问题吗？本课题将在可行性论证的基础上，着力用这一理论来处理汉语中反身代词的约束特性问题。汉语中反身代词的约束特性是国际汉语研究中的一个热门且又棘手的问题，本课题期望在对这个问题的研究上能够有所突破。
除进行微观层面的研究外，本课题还将进行一些宏观层面的探讨，探讨自然语言逻辑与现代语言学、人工智能科学的交互作用，探讨自然语言逻辑的研究范围和特性，等等。
本课题的难点以及创新之处都体现在用话语表现理论来解决汉语中部分疑难问题上。由于“西洋语法是硬的，没有弹性的；中国语法是软的，富于弹性的”，而话语表现理论是建立是英语的基础上的，这就要求首先要对这一理论运用于汉语的可行性进行论证；如何将这一理论应用于汉语语义的分析呢？怎么衡量所进行的分析是否成立呢？这都是难点。本文将通过对反身代词的分析给出我们的答案。
3.研究采用的方法
研究中要使用的方法预计主要有这样几种：
第一，比较方法。在比较中揭示逻辑语义学与语言学、信息科学的关系，在比较中揭示逻辑语义学的各种理论的特点。
第二，形式化方法与非形式化方法相结合的方法。逻辑学工作者研究自然语言和语言学工作者研究自然语言，其间最大的不同就是现代逻辑工具的系统使用，逻辑语义学是顺应信息科学的发展需求而出现的，其很多理论本身就是以形式系统的形式出现的，对这些理论进行研究当然要用到形式化方法。要完成本课题的研究，仅有形式化方法是不够的，所以形式化方法的使用还必须与非形式化的方法进行有机的结合。
第三，分析和综合相结合的方法。具体分析逻辑语义学的各种理论间的差异，分析话语表现理论与一阶谓词逻辑间的差异，在此基础上把握语言逻辑用现代逻辑的手段研究自然语言的总体特色。
