From: Chris Date: Wed, 25 Mar 2015 02:49:32 +0000 (-0400) Subject: edits X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=c51b60c2bd25dea96b703d1f210eadb8365bf8d5 edits --- 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