From 2dd73ab29518785f2584259a41aa3efe49121237 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Wed, 15 Sep 2010 22:48:27 -0400 Subject: [PATCH] week1: fix markup processing? Signed-off-by: Jim Pryor --- test2.mdwn | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/test2.mdwn b/test2.mdwn index 0da54ebc..a9178fb1 100644 --- a/test2.mdwn +++ b/test2.mdwn @@ -1,3 +1,19 @@ +From philosophy +--------------- + +* the natural semantics for positive free logic is thought by some to have objectionable ontological commitments; Jim says that thought turns on not understanding the notion of a "union type", and conflating the folk notion of "naming" with the technical notion of semantic value. We'll discuss this in due course. + +* those issues may bear on Russell's Gray's Elegy argument in "On Denoting" + +* and on discussion of the difference between the meaning of "is beautiful" and "beauty," and the difference between the meaning of "that snow is white" and "the proposition that snow is white." + +* the apparatus of monads, and techniques for statically representing the semantics of an imperatival language quite generally, are explicitly or implicitly invoked in dynamic semantics + +* the semantics for mutation will enable us to make sense of a difference between numerical and qualitative identity---for purely mathematical objects! + +* issues in that same neighborhood will help us better understand proposals like Kit Fine's that semantics is essentially coordinated, and that `R a a` and `R a b` can differ in interpretation even when `a` and `b` don't + + Basics of Lambda Calculus ========================= -- 2.11.0