presupposition and anaphora

以下内容主要参考刘强（2011）先设消解机制的分析. 北京语言大学出版社

先设击发语（Presupposition triggers）

共识：

• 先设是一种特殊的信息
• 与某些词汇、结构有关

吴平的别墅就在海边。他后悔买了它。

吴平的别墅 triggers 吴平有个别墅。
后悔买了 triggers 吴平买了别墅。

这两个句子都可以通过否定测试法（constancy under negation）
这两个句子传递的信息就是先设
“吴平的别墅”和“后悔”就是先设击发语

先设的约束消解（Binding Resolution）

注：笔者认为这里术语容易产生误解，所谓“代词的约束消解”、“代词被消解”，严格说是接受约束后所指不明的符号（如代词）所击发的先设被消解。代词并非被消解的对象，代词一直存在；约束也并非消解对象，而是消解手段（p. 66）。总而言之：先设是消解的对象，先行语是消解的材料，约束是消解的手段。

Hans Kamp (1981) 提出Discourse Representation Theory (DRT)，动态地处理语篇（一个句子序列）中的每一个句子，对新句子的分析依赖于之前处理过的旧句子。处理过的句子构形成discourse representation structure （DRS），每处理一个新的句子更新一次DRS。在DRS中，表达式的所指问题需要得到解决（作者写作“消解”）。消解机制即为代词（以代词为例）寻找一个合适的话语所指，建立起等同性条件（equality condition）。

一个照应表达式通过和一个先行词确定等同性（=接受约束）而得到消解。

除此约束消解之外还有纳入消解（accommodation resolution）和架桥消解（bridging resolution）。

先设与照应

照应是指某些词语（即照应语）自身缺乏清楚独立的指称，必须通过与其他词语（即先行语）相关联而获得指称和解释的语言现象。（p. 64）