论文部分内容阅读
本文在“基于模型的语用推理”的框架内,参照语篇表征理论的表述系统,探讨会话含意推导的形式化。话语有两种意义成分,一是话语的命题意义,二是话语所携带的信息;前者是稳定的,后者是依赖语境的、是动态的。话语的意义是命题意义和话语信息的复合。话语意义的理解同语用推理过程在认知上是一致的,运用的是泛因果关系的“说得通的解释”的非单调推理。认为这个解释“说得通”使得认知主体有义务证明自己的信念。基于这种认识,本文在扩充DRT的语言基础上建立一个形式化系统,话语的意义首先在语篇基础上得到真值条件解释,然后在语境中根据“说得通的解释”原则,在语境中寻找话语信息以证明自己信念的合理性。
In the framework of “model-based pragmatic reasoning”, this dissertation explores the formalization of conversational implicature referring to the presentation system of discourse representation theory. There are two meaning components of discourse, one is the proposition meaning of discourse, the other is the information carried by discourse; the former is stable, the latter is context-dependent and dynamic. The meaning of discourse is the combination of propositional meaning and discourse information. The understanding of discourse meaning is cognitively consistent with the process of pragmatic reasoning, using non-monotonic reasoning of “plausible explanations” of pan causal relationships. Think of this explanation as “plausible” to make the cognitive subject have an obligation to prove his belief. Based on this understanding, this article builds a formalized system based on the expanded language of DRT. The meaning of discourse is firstly explained by the conditions of truth under the discourse, and then based on the principle of “plausible explanation” Seeking discourse information in context to justify beliefs.