Curry Typing, Polymorphism, and Fine‐Grained Intensionality
Curry Typing, Polymorphism, and Fine‐Grained Intensionality
复制标题
咖喱类型、多态性和细粒度内涵性
DOI：
10.1002/9781118882139.ch13
复制
发表时间：
2015
影响因子：
0.5
通讯作者：
Shalom Lappin
中科院分区：
文献类型：
--
作者：
Shalom Lappin
蒙太古的框架仍然是形式语义理论的开创性成就。然而，当这个框架扩展到蒙太古正式形成的一小段英语之外时，它的几个基本假设遇到了严重的问题。这一章考察了这些问题，并考虑了蒙太古类型理论的替代方案和他对内涵的刻画，以处理这些问题。对内涵逻辑(IL)的体系结构进行了简要的总结，并讨论了它带来的一些困难。本章描述了带有Curry类型的属性理论(PTCT)，这是一个使用具有弱多态的Curry类型的一阶语义表示系统。它还解释了PTCT如何通过其同一性与等价性的类型化处理来提供对细粒度内涵问题的正式解决方案。这一章提出了一些关于如何从经典的范畴语义理论发展到适应普遍存在的语义属性梯度的概率系统的程序性想法。
Montague's framework remains a seminal achievement in formal semantic theory. However, several of its foundational assumptions encounter serious problems when this framework is extended beyond the small fragment of English that Montague formalized. This chapter examines these problems, and considers alternatives to Montague's type theory and his characterization of intensions in order to deal with these problems. It presents a brief summary of the architecture of intensional logic (IL), and discusses some of the difficulties that it raises. The chapter describes Property Theory with Curry Typing (PTCT), a first‐order semantic representation system that uses Curry typing with weak polymorphism. It also explains how PTCT provides a formal solution to the problem of fine‐grained intensionality through its typed treatment of identity versus equivalence. The chapter presents some programmatic ideas on how one could move beyond classical categorical semantic theories to a probabilistic system that accommodates the pervasive gradience of semantic properties.