(no commit message)

[lambda.git] / applications.mdwn

diff --git a/applications.mdwn b/applications.mdwn
index 5c95338..5602c3e 100644 (file)
--- a/applications.mdwn
+++ b/applications.mdwn
@@ -1,12 +1,12 @@
-Applications
-============
-

 We mentioned a number of linguistic and philosophical applications of the tools that we'd be helping you learn in the seminar. (We really do mean "helping you learn," not "teaching you." You'll need to aggressively browse and experiment with the material yourself, or nothing we do in a few two-hour sessions will succeed in inducing mastery of it.)
 
 From linguistics
 ----------------
 
 We mentioned a number of linguistic and philosophical applications of the tools that we'd be helping you learn in the seminar. (We really do mean "helping you learn," not "teaching you." You'll need to aggressively browse and experiment with the material yourself, or nothing we do in a few two-hour sessions will succeed in inducing mastery of it.)
 
 From linguistics
 ----------------
 

-*      generalized quantifiers are a special case of operating on continuations
+*       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 <http://dx.doi.org/10.1023/A:1022183511876>.

 
 *      (Chris: fill in other applications...)
 
 
 *      (Chris: fill in other applications...)