From 617a8c4f7df93fa5c5840319b85ae24bb724ac3d Mon Sep 17 00:00:00 2001 From: jim Date: Mon, 6 Apr 2015 04:57:17 -0400 Subject: [PATCH] update for rename of exercises/assignment5.mdwn to exercises/assignment5-6.mdwn --- index.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.mdwn b/index.mdwn index 1b738792..7c56bb43 100644 --- a/index.mdwn +++ b/index.mdwn @@ -137,7 +137,7 @@ Towards types (in progress); [[System F|topics/week5 system F]]; Types in OCaml and Haskell (will be posted someday); Practical advice for working with OCaml and/or Haskell (will be posted someday); -[[Homework|exercises/assignment5]] +[[Homework|exercises/assignment5-6]] > *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)".) -- 2.11.0