From 339f9f89e0ad0c23fe105165c74093fdeb0a9368 Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Mon, 1 Nov 2010 15:24:09 -0400 Subject: [PATCH 1/1] Added assignmemnt 6 --- index.mdwn | 2 +- intensionality_monad.mdwn | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/index.mdwn b/index.mdwn index 6bee2248..3c5ef38b 100644 --- a/index.mdwn +++ b/index.mdwn @@ -49,7 +49,7 @@ preloaded is available at [[assignment 3 evaluator]]. > Topics: Types, Polymorphism, Unit and Bottom -(1 Nov) Lecture notes for [[Week7]]; Assignment6. +(1 Nov) Lecture notes for [[Week7]]; [[Assignment6]]. > Topics: Monads; [[Reader Monad]]; [[Intensionality Monad]] diff --git a/intensionality_monad.mdwn b/intensionality_monad.mdwn index 526404cb..83824a42 100644 --- a/intensionality_monad.mdwn +++ b/intensionality_monad.mdwn @@ -55,16 +55,16 @@ generalized quantifiers. The main difference between the intensional types and the extensional types is that in the intensional types, the arguments are functions from worlds to extensions: intransitive verb phrases like "left" now -take intensional concepts as arguments (type s->e) rather than plain +take individual concepts as arguments (type s->e) rather than plain individuals (type e), and attitude verbs like "think" now take 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 intenstional types are more complicated than the intensional types. Wouldn't it be nice to make the complicated types available -- 2.11.0