Type-theoretical semantics with coercive subtyping
Type-theoretical semantics with coercive subtyping
复制标题
具有强制子类型的类型理论语义
DOI：
10.3765/salt.v20i0.2580
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Zhaohui Luo
中科院分区：
文献类型：
--
作者：
Zhaohui Luo
在基于现代类型理论的形式语义学中，普通名词被解释为类型，而不是像蒙塔古语法那样被解释为实体的功能子集。这在语言解释中带来了重要的优势，但也导致了表达能力的限制，因为与功能子集相比，对类型的操作较少。强制子类型化理论充分扩展了现代类型理论的子类型化的概念，如本文所示，在使类型理论更具有形式语义表达能力方面发挥了非常有用的作用。特别是，它给出了一个令人满意的治疗类型理论的解释修改常见名词，并允许直接的解释有趣的语言现象，如copredication，其解释已被发现在蒙塔古的设置困难。我们还将研究一些类型理论的结构，提供了有用的表示工具，正式的词汇语义，包括如何表示逻辑多义的所谓的点类型可以表示在一个强制子类型的类型理论。
In the formal semantics based on modern type theories, common nouns are interpreted as types, rather than as functional subsets of entities as in Montague grammar. This brings about important advantages in linguistic interpretations but also leads to a limitation of expressive power because there are fewer operations on types as compared with those on functional subsets. The theory of coercive subtyping adequately extends the modern type theories with a notion of subtyping and, as shown in this paper, plays a very useful role in making type theories more expressive for formal semantics. In particular, it gives a satisfactory treatment of the type-theoretic interpretation of modified common nouns and allows straightforward interpretations of interesting linguistic phenomena such as copredication, whose interpretations have been found difficult in a Montagovian setting. We shall also study some type-theoretic constructs that provide useful representational tools for formal lexical semantics, including how the so-called dot-types for representing logical polysemy may be expressed in a type theory with coercive subtyping.