add Plexy and some stubs/reorganization
[lambda.git] / index.mdwn
index 56e223b..c4d51a0 100644 (file)
@@ -145,7 +145,7 @@ Practical advice for working with OCaml and/or Haskell (all will be posted soon)
 
 > *There is some assigned reading for our next meeting.* This comes in two batches. The first batch consists of [[this footnote|readings/kaplan-plexy.pdf]] from Kaplan's *Demonstratives*. Also recommended, but not mandatory, is [[this selection|readings/king-on-schiffer.pdf]] from Chapter 4 of Jeff King's 2007 book *The Nature and Structure of Content*. The second batch consists of [[this paper|readings/rieppel-beingsthg.pdf]] from Michael Rieppel, a recent Berkeley Philosophy PhD, on Frege's "concept horse" problem. Also recommended, but not mandatory, is [[this selection|readings/king-on-logicism.pdf]] from Chapter 5 of King's book. (It reviews and elaborates his paper "[Designating propositions](http://philpapers.org/rec/KINDP)".)
 
-> If you're interested in the scholarly background on Frege's "concept horse" problem, here is [an entry point](http://philpapers.org/rec/PROWIF)).
+> If you're interested in the scholarly background on Frege's "concept horse" problem, here is [an entry point](http://philpapers.org/rec/PROWIF).
 
 > If you're reading along in Hankin, you can look at Chapter 7.
 
@@ -155,6 +155,12 @@ Practical advice for working with OCaml and/or Haskell (all will be posted soon)
 
 > We will be discussing the readings posted above.
 
+> Topics: [[Kaplan on Plexy|topics/week6_plexy]]; King on that-clauses and "the proposition that P"; Rieppel on Frege and the concept HORSE
+
+(**Week 7**) Thursday March 12
+
+> Topics: Interpreter for Combinatory Logic terms; Interpreter for Lambda terms; Starting with Monads
+
 
 <!--
 We've added a [[Monad Library]] for OCaml.