On Bound Anaphora in Type Logical Grammar
On Bound Anaphora in Type Logical Grammar
复制标题
论类型逻辑语法中的绑定回指
DOI：
10.1007/978-94-010-0037-6_6
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
G. Morrill
中科院分区：
文献类型：
--
作者：
G. Morrill
在本文中，我们解决了句内回指象限的间指和句内回指和下指饼。Montague（1974）将人称代词定义为先行词后接的约束回指语，主语位置采用主格形式，宾语位置采用省略形式。在本文中，我们给出了一个类型的回指（也考虑到反身代词）这样一个观点的逻辑公式。Lager，2001通过一个证明理论的定义提出了几乎相同的任务，希望可以给出一个模型理论的理由，而在这里我们采用“类型逻辑”来表示定义首先是模型理论的。Moortgat，1988提出了在这个意义上是类型逻辑的不连续性，但遇到了分离点的不确定性的困难。Versmissen，1991提出用指针标记分离点，Solias，1992提出将分离点编码为绝对自由元组操作的操作数之间的位置。莫里尔，2002渴望通过分隔符常量运算符来推广各种努力，除了有多个分隔符出现之外，它接近Versmissen，并且接近Solias，除了没有嵌套。Moortgat，1996中也出现了常数算子。在本文中，莫里尔，2oo0 b的发展，我们调用什么似乎是足够的类型逻辑处理的句内回指。在§ 1中，我们定义了相关的形式主义，在§ 2中，我们提出了一个类型赋值演算。在第3节中，我们提出并讨论了回指的处理。在第4节中，我们讨论了约束性原则，并论证了原则B和原则B的延迟效应对我们来说并不是意料之外的。在附录中，我们提出了一个不连续的微积分，它是免费的结构规则。
In this paper we tackle the intrasentential anaphora quadrant of the intersentential and intrasentential anaphora and cataphora pie. Montague, 1974 characterized personal pronouns as bound anaphors preceded by their antecedents and taking nominative forms in subject position and accusative forms in object position. In this paper we give a type logical formulation of such a view of anaphora (taking into account also reflexive pronouns). lager, 2001 broaches much the same task by a proof-theoretic definition which, it is to be hoped, can be given a model-theoretic justification, whereas here we take'type logical'to mean that the definition is model-theoretic in the first place. Moortgat, 1988 initiates discontinuity which is type logical in this sense, but encounters difficulties with indeterminacy of separation points. Versmissen, 1991 proposes to mark a separation point by a pointer and Solias, 1992 to encode separation points as the positions in between the operands of an absolutely free tuple operation. Morrill, 2002 aspires to generalize various efforts by means of a seperator constant operator, which is close to Versmissen, except that there are multiple seperator occurrences, and close to Solias, except that there is no nesting. A constant operator also appears in Moortgat, 1996. In this paper, a development of Morrill, 2oo0b, we invoke what would appear to be sufficient for a type logical treatment of intrasentential anaphora. In § 1 we define the relevant formalism and in § 2 we present a type assignment calculus. In § 3 we present and exemplify the treatment of anaphora. In § 4 we discuss binding principles and argue that Principle B and the Delay of Principle B Effect are not unexpected on our account. In the appendix we present a discontinuous sequent calculus which is free of structural rules.