projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
e68afbc
)
edits
author
Chris
<chris.barker@nyu.edu>
Wed, 25 Mar 2015 02:49:32 +0000
(22:49 -0400)
committer
Chris
<chris.barker@nyu.edu>
Wed, 25 Mar 2015 02:49:32 +0000
(22:49 -0400)
topics/_week8_intensionality.mdwn
patch
|
blob
|
history
diff --git
a/topics/_week8_intensionality.mdwn
b/topics/_week8_intensionality.mdwn
index
4159f84
..
c96d3d3
100644
(file)
--- 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.
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";;
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
</pre>
This system is modeled on the way Montague arranged his grammar.
</pre>
This system is modeled on the way Montague arranged his grammar.
-There are significant simplifications
: for instance, determine
r
-
phrases are thought of as corresponding to individuals rather than
to
-generalized quantifiers.
+There are significant simplifications
compared to Montague: fo
r
+
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
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.
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
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
The intensional types are more complicated than the extensional
types. Wouldn't it be nice to make the complicated types available