张旭红

(哈尔滨师范大学，哈尔滨150025)

1 引言

Russell主张，一切哲学问题经过分析都是语言问题，而语言问题归根到底就是逻辑问题。Carnap以及Montague等逻辑语言先驱们的研究成果也证明了这样一个事实，即形式化研究方法可以为抽象的语言研究提供最佳的元语言，使语言研究走出用语言研究语言的困境，使研究者从根本上摆脱自然语言的羁绊。形式化研究方法的目标就是尽可能清晰、直观、明确、简洁地揭示语言加工过程中的运行规律，尽可能往计算机化的方向努力。目前，国内学术界关于回指一般理论的研究并不少见，但从形式化视角展开的深层回指的研究却极为少见，至于本研究所涉及的针对某一形式化语义模型的修正和完善的尝试则更是很少有人问津。这不能不说是回指研究的一个缺陷。为此，本文拟从回指研究的形式化分析方法入手，展开对以Hans Kamp为代表的、建立在Montague逻辑语用学基础上的话语表征理论(Discourse Representation Theory，简称DRT)的回指形式方案的研究和修正工作，旨在探索更有效的回指消解途径，以期在DRT理论框架下解决更多的回指问题，进而使 DRT在话语回指消解方面的应用更具普遍性。

2 2D-RS对DRS的修正

DRT在模型-理论语义学的基础上发展了一种带有嵌入函数的语义模型，同时将话语表征结构(Discourse Representation Structure，简称DRS)作为一个心智表达式引入到模型中来，把传统模型论单句语义的静态研究扩展到句子序列的动态语义研究。然而，针对深层回指现象，DRT则无法给出有效的解释。……