A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
We propose a way to compute the meanings associated with sentences with generic noun phrases corresponding to the generalized quantifier "most". We call these generics "specimens" and they resemble stereotypes or prototypes in lexical semantics. The meanings are viewed as logical formulae that can thereafter be interpreted in your favourite models. To do so, we depart from the Fregean view with a single untyped universe and we adopt a type theory with some hints from Hilbert ε-calculus and fromdoi:10.4000/rlv.2082 fatcat:gaho43wxejbobfosrcf7dlh7l4