From: Jim Date: Sun, 1 Feb 2015 21:48:54 +0000 (-0500) Subject: add closing par to order X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=a81c07d1547c3b6840827931278eea817450b31e;hp=54e9fbd4f0fb616d1a0b183b27271650c6f84fc5 add closing par to order --- diff --git a/topics/week1_order.mdwn b/topics/week1_order.mdwn index f86ffd05..02ed4836 100644 --- a/topics/week1_order.mdwn +++ b/topics/week1_order.mdwn @@ -242,5 +242,14 @@ the value of the implication as a whole depends on the value of `X`, but in the material implication `F --> ?`, the outcome is `T` no matter what the value of `X` turns out to be. -[to be added: citation details; reasoning about order sensitivity in -an order-independent way] +(To be added: citation details; reasoning about order sensitivity in +an order-independent way.) + +The preceding discussion has endeavored to bring out some *similarities* +between the kind of order-dependence in our three-valued truth-table, and the +kinds of order-dependence exhibited by "dynamic semantics." But there are also +of course substantial *differences* between them, and these are also, perhaps +even more interesting. Over the course of this semester we hope to clarify and +help you to think more carefully about both the similarities and the +differences. +