Towards a Montagovian Account of Dynamics
Towards a Montagovian Account of Dynamics
复制标题
迈向蒙哥维亚动力学解释
DOI：
10.3765/salt.v16i0.2952
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
P. D. Groote
中科院分区：
文献类型：
--
作者：
P. D. Groote
我们提供蒙太古语义学与上下文的概念，允许话语动力学解决。作为一个例子，我们考虑了句内和句间代词的绑定问题。由此产生的框架包含了话语表征理论，而没有诉诸任何特别的定义。它基于丘奇的简单类型λ演算，自由变量和有界变量的概念和往常一样。特别是，除了α-转换的标准概念外，不需要任何类型的变量重命名。我们在本文中支持的论点是，经常被认为落在蒙太古语义范围之外的动态现象可以通过使用数理逻辑的标准工具来处理。特别是，我们不希望诉诸任何类型的动态概念，例如以命令式方式更新的赋值函数（这会导致所谓的破坏性赋值问题）。我们转而使用简单类型的λ微积分，我们所依赖的唯一动态概念是通常的β -还原关系。这样做有几个好处：
We provide Montague semantics with a notion of context that allows discourse dynamics to be tackled. As an example, we consider the problem of intraand intersentential pronominal binding. The resulting framework subsumes Discourse Representation Theory without appealing to any ad hoc definition. It is based on Church’s simply typed λ -calculus, and the notions of free and bound variables are as usual. In particular, there is no need for any kind of variable renaming other than the standard notion of α-conversion. The thesis we support in this paper is that dynamic phenomena that are often considered to fall outside of the scope of Montague semantics may be handled by using the standard tools of mathematical logic. In particular, we do not want to appeal to any kind of dynamic notion such as assignment functions that are updated in an imperative way (which results in the so-called destructive assignment problem). We use instead the simply typed λ -calculus, and the only dynamic notion on which we rely is the usual relation of β -reduction. There are several advantages in doing so: