From: barker Date: Thu, 16 Sep 2010 17:20:11 +0000 (-0400) Subject: (no commit message) X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=44843f96be29b33e45ee026b2a6b87c4a65876b9;hp=7e0ffa15ed30fe95e208e4086d4cbcb92ee3d237 --- diff --git a/applications.mdwn b/applications.mdwn index 0ee4aa5b..b7747045 100644 --- a/applications.mdwn +++ b/applications.mdwn @@ -3,7 +3,10 @@ We mentioned a number of linguistic and philosophical applications of the tools From linguistics ---------------- -* generalized quantifiers are a special case of operating on continuations +* Generalized quantifiers are a special case of operating on continuations. Montague [[!wikipedia Richard_Montague]] analyzed all NPs, including, e.g., proper names, as sets of properties. + This gives names and quantificational NPs the same semantic type, which explain why we can coordinate them (*John and everyone*, *Mary or some graduate student*). So instead of thinking of a name as refering to an individual, which then serves as the argument to a verb phrase, in the Generalized Quantifier conception, the name denotes a higher-order function that takes the verb phrase (its continuation) as an argument. Montague only continuized +one syntactic category (NPs), but a more systematic approach would continuize uniformly throughout the grammar. +See . * (Chris: fill in other applications...)