本文意图为话语表现理论构造一个简单处理的形式系统。 话语表现理论(DRT)是由Hans Kamp在20世纪80年代初期提出的、动态地描述自然语言意义的形式语义学理论，从以蒙太格语法为首的关于自然语言语义学的模型论方法那里发展起来。DRT的提出主要是为处理所谓的“驴子句”带来的语义疑难，即句子系列之间名词与代词的指代照应关系：包含由不定冠词“a(an)”组成的名词短语的语句通常被处理成存在量化式，而在特定的语境下，比如在包含不定冠词的“驴子句”那里却直观上表述了全称量化式的意思。为解决这些问题，DRT在通常形式语义学具有的句法规则和模型论语义解释的基础上，提出了一种表现自然语言语义的特定方式，即话语表现结构(DRS)，并在经典逻辑语义学基础上发展了一种带有嵌入函项的特定模型来解释话语表现结构。DRT把传统模型论形式语义学对自然语言句子的分析扩大到句子系列，通过对句子上下文的分析，充分展示其中名词与代词的照应关系，以及其中动词在时间方面的复杂联系；它的动态研究方法比较符合人们理解语言的认知过程，就刻画句子信息的不断积累与递增来说比以往的静态方法有明显的优越性。从逻辑的角度看，不仅要关注对自然语言语义问题的分析，更要进一步把DRT处理自然语言语义的结果同推理联系起来，探索话语表现结构构成推演系统的可能性。 本文首先综述了话语表现理论的基本内容，然后介绍了以系统Z为代表的采用括号记法的经典逻辑系统，并在命题逻辑系统Z的基础上，构造了两个以广义析舍和存在量词为初始联结词、采用括号记法的一阶系统，其中系统Z’的完全性证明比较简单。最后，说明了话语表现理论和一阶逻辑之间的对应关系，并且在系统Z’的基础上给出了一个用系统2’处理的、以表现自然语言语义的话语表现结构为形式语言的形式公理系统ZL。与系统Z’一样，系统ZL也以广义析舍和存在量词为初始联结词；不同的是，系统ZL由于直接以话语表现结构为形式语言，而话语表现结构是以方框的形式出现的，因此，系统采用方框记法，只不过这一记法与括号记法并无二致，一个方框就是一对括号。另外，系统ZL的元定理证明与系统Z的一样。这样，就使得新的话语表现理论形式公理系统比已有的形式系统更为简洁。