From ea03a6e43dc928c56a35f5041e03efb2703c1a3e Mon Sep 17 00:00:00 2001 From: barker Date: Thu, 16 Sep 2010 13:20:29 -0400 Subject: [PATCH] --- applications.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/applications.mdwn b/applications.mdwn index b7747045..5602c3ef 100644 --- a/applications.mdwn +++ b/applications.mdwn @@ -3,7 +3,7 @@ We mentioned a number of linguistic and philosophical applications of the tools From linguistics ---------------- -* 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. +* Generalized quantifiers are a special case of operating on continuations. [[!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 . -- 2.11.0