样本：上下文灵活类型理论中的“大多数”通用NP
Specimens: "most of" generic NPs in a contextually flexible type theory
摘要：
本文提出了一种计算句子意义的方法，该方法使用的是与大多数广义量词相对应的类属名词短语。我们称这些泛型为样本，它们类似于词汇语义学中的原型或原型。这些意义被视为逻辑公式，可以在您最喜欢的模型中进行解释。我们宁愿离开占主导地位的弗雷根单一无类型宇宙，而从希尔伯特微积分和中世纪哲学的提示去寻找类型论。我们的类型理论分析与词汇语义学的研究有一定的相似之处。我们的模型也适用于经典的例子，涉及一个类（或这个类的通用元素），这是由上下文提供的。本研究的一个结果是，在最低限度语境主义的辩论，如果一个采用类型理论的观点，术语编码的纯语义成分，而他们的类型是语用确定的。
英文摘要：
This paper proposes to compute the meanings associated to sentences with generic NPs corresponding to the most of generalized quantifier. We call these generics specimens and they resemble stereotypes or prototypes in lexical semantics. The meanings are viewed as logical formulae that can be thereafter interpreted in your favorite models. We rather depart from the dominant Fregean single untyped universe and go for type theory with hints from Hilbert epsilon calculus and from medieval philosophy. Our type theoretic analysis bears some resemblance with on going work in lexical semantics. Our model also applies to classical examples involving a class (or a generic element of this class) which is provided by the context. An outcome of this study is that, in the minimalism-contextualism debate, if one adopts a type theoretical view, terms encode the purely semantic meaning component while their typing is pragmatically determined.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
