X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=damn.mdwn;h=ad6877528976c79ede34ee1cd1d6c1d182e9e330;hp=a6851621677a739a32d421e8fe0781d697c62d02;hb=3a24f457b5d8dfe280e95913d3b13d65f31b6fe8;hpb=bd87cd9e2bd081e4df617169c0b379899cd8ccc2 diff --git a/damn.mdwn b/damn.mdwn index a6851621..ad687752 100644 --- a/damn.mdwn +++ b/damn.mdwn @@ -1,3 +1,20 @@ +1. Sentences have truth conditions. + +2. If "John read the book" is true, then it follows that: + John read something, + Someone read the book, + John did something to the book, + etc. + +3. If "John read the damn book", + all the same entailments follow. + To a first approximation, "damn" does not affect at-issue truth + conditions. + +4. "Damn" does contribute information about the attitude of the speaker + towards some aspect of the situation described by the sentence. + + Expressives such as "damn" have side effects that don't affect the at-issue value of the sentence in which they occur. What this claim says is unpacked at some length here: . @@ -253,7 +270,7 @@ The idea here is we capture the continuation that `(damn)` has when it gets eval However, this doesn't work. The reason is that an undelimited continuation represents the future of the evaluation of `(damn)` *until the end of the computation*. So when `'id` is supplied to `k`, we go back to building the at-issue tree until we're finished *and that's the end of the computation*. We never get to go back and evaluate the application of `(cons (cons 'side-effect 'bad) <>)` to anything. -With undelimited continuations +With delimited continuations ------------------------------ The straightforward way to fix this is to use, not undelimited continuations, but instead a more powerful apparatus called "delimited continuations." These too will be explained in due course, don't expect to understand all this now.