X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2F_week8_intensionality.mdwn;h=c96d3d3c1cfa1b81fe9f0fb03a0eb661c2e2366e;hp=4159f845c8325643ad4c355608c3e7db6ba06ec2;hb=4e5741cd8c63a133973ab4eaf3d78d9a31ff401c;hpb=ea187cef2fbecef2991baeac77e0d79d768ce941
diff --git a/topics/_week8_intensionality.mdwn b/topics/_week8_intensionality.mdwn
index 4159f845..c96d3d3c 100644
--- a/topics/_week8_intensionality.mdwn
+++ b/topics/_week8_intensionality.mdwn
@@ -10,7 +10,7 @@ approach to
intensionality](http://parles.upf.es/glif/pub/sub11/individual/bena_wint.pdf),
though without explicitly using monads.
-All of the code in the discussion below can be found here: [[intensionality-monad.ml]].
+All of the code in the discussion below can be found here: [[code/intensionality-monad.ml]].
To run it, download the file, start OCaml, and say
# #use "intensionality-monad.ml";;
@@ -48,9 +48,9 @@ Vs t->e->t (s->t)->(s->e)->s->t thought
This system is modeled on the way Montague arranged his grammar.
-There are significant simplifications: for instance, determiner
-phrases are thought of as corresponding to individuals rather than to
-generalized quantifiers.
+There are significant simplifications compared to Montague: for
+instance, determiner phrases are thought of here as corresponding to
+individuals rather than to generalized quantifiers.
The main difference between the intensional types and the extensional
types is that in the intensional types, the arguments are functions
@@ -61,10 +61,11 @@ propositions (type s->t) rather than truth values (type t).
In addition, the result of each predicate is an intension.
This expresses the fact that the set of people who left in one world
may be different than the set of people who left in a different world.
-(Normally, the dependence of the extension of a predicate to the world
+
+Normally, the dependence of the extension of a predicate to the world
of evaluation is hidden inside of an evaluation coordinate, or built
into the the lexical meaning function, but we've made it explicit here
-in the way that the intensionality monad makes most natural.)
+in the way that the intensionality monad makes most natural.
The intensional types are more complicated than the extensional
types. Wouldn't it be nice to make the complicated types available