double box
[lambda.git] / topics / week1_order.mdwn
index f86ffd0..02ed483 100644 (file)
@@ -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.
+