Note: The reading assignments are in the course outline at the end of the syllabus.
| Date Due | Assignment |
|---|---|
| January 14 | Do the diagnostic I handed out in class on Monday and the Daily Translation problem posted on Tuesday, Jan. 13. Also, think back over the first five chapters of Mates’s Elementary Logic and make at least a mental list of the things you think you’ll need to review to get up to speed for this semester. |
| January 16 | Just do the Daily Translation and read §6 of Chapter 6 of Mates’s Elementary Logic. Apart from that, no homework assigned. |
| January 19 | No class. |
| January 21 | Prove all of the first thirty theorems on pp. 98-104 of Mates’s Elementary Logic that Mates himself hasn’t proved. Continue to review §6 of Chapter 6, and if you have any time left over (after also doing the Daily Translation,) work on the handout I gave you in class on January 16 containing all those Definitions in Mates’s Elementary Logic. |
| January 23 | Prove theorems 31-40 on pp. 104-105 of Mates’s Elementary Logic. Continue to study §6 of Chapter 6, and keep on working on the handout I gave you in class on January 16 containing all those Definitions in Mates’s Elementary Logic. Also, as ever: don’t forget the Daily Translation. I won’t keep on mentioning it here, but it is, as you know, a standing assignment. |
| January 26 | Prove theorems 41-52 on p. 105 of Mates’s Elementary Logic. Continue to study §6 of Chapter 6, and keep on working on the handout I gave you in class on January 16 containing all those Definitions in Mates’s Elementary Logic. |
| January 28 | Prove theorems 53-55, 66-70, and 92 on pp. 105-106 of Mates’s Elementary Logic, and to make this an even ten, also prove the following theorem, which we’re going to call 92*: “((P → Q) & (R → Q)) → (P ∨ R) → Q))”. Read §§1-5 of Chapter 6 in Mates, and keep on working on the handout I gave you in class on January 16 containing all those Definitions in Mates’s Elementary Logic. |
| January 30 | Do Problems 3 and 4 and items a-e of Problem 5 on p. 108 of Mates’s Elementary Logic. Also, read Chapter 7. |
| February 2 | Prove theorems of logic 1-3, 5-7, and 9-12 on pp. 127-128 in Mates’s Elementary Logic, using the basic and derived rules that Mates gives you in Chapter 7: P, T, C, US, UG, E, EG, and ES. Also, keep on working on the previously assigned sets of theorems from Chapter 6: they are, don’t forget, the first four sets of extra credit assignments in the round that’ll be due on the day of the first midterm on February 6. |
| February 4 | No new homework per se. The next ten unproved theorems of logic on pp. 128-130 in Mates will be due next Monday—February 9. In the meantime, you should keep on working on those previously assigned sets of theorems from Chapter 6. To say it once again, those will be the first four sets of extra credit assignments in the round that’ll be due on the day of the midterm on February 6. To them, I plan to add one more set, which should appear on the extra credit page by Wednesday, February 4, and which will cover essentially the same ground as the homework for January 30 dealing with the central concepts of §§1-5 of Chapter 6. |
| February 6 | No new homework. First five sets of extra credit due. Midterm exam. |
| February 9 | The next ten unproven theorems of logic from pp. 128-130 in Mates: numbers 13-15, 17-19, and 21-24. |
| February 11 | Study the handout on mathematical induction distributed in class on Monday, February 9. |
| February 13 | Review again the handout on mathematical induction distributed in class on Monday, February 9 and make as much progress as you can on catching up on Chapter 6 and Chapter 7 proof problems. If you have ’em you can wipe out incompletes and make further progress towards mastering Mates’s derivation rules all at the same time! |
| February 16 | Do Problem 6 at the end of Chapter 3 on p. 52 of Mates’s Elementary Logic. |
| February 18 | Prove assertion (4) on p. 65 in Chapter 4 of Mates’s Elementary Logic. Write out both an informal proof and nice little Platonic dialogue presenting the same argument using the formats explained in class on Monday. |
| February 20 | Prove assertion (5) on p. 65 in Chapter 4 of Mates’s Elementary Logic. Write out both an informal proof and nice little Platonic dialogue presenting the same argument using the formats explained in class on Monday. Also study carefully the first three metatheorems (and their proofs) in Chapter 8 of Mates's Elementary Logic. |
| February 23 | Do Problems 1-5 on p. 67 at the end of Chapter 4 of Mates’s Elementary Logic. All you need to do is informal proofs—no dialogues necessary. Study metatheorems IV-VII on pp. 135-136 in Chapter 8, giving particular thought to what Mates means when he says, about the proof of IV, that “the proof will involve constructing a schematic derivation analogous to the derivation of the corresponding theorem.” |
| February 25 | Prove clause 9 of metatheorem IV on p. 135 of Mates’s Elementary Logic. |
| February 27 | No new homework per se. Instead, work on honing your skills in constructing proofs using the rules of Chapter 6 and Chapter 7, and study metatheorems V-VIII (and their proofs) in preparation for class discussion. |
| March 1 | Again, no new homework per se. Instead, keep on working on mastering the use of the derivation rules given in Chapters 6 and 7, and study metatheorems VI-IX (and their proofs) in Chapter 8 in preparation for class discussion. |
| March 3 | Construct a schematic derivation to show what Mates is talking about when he says, in the proof of metatheorem VII on p. 136: “By an obvious derivation we see that...etc.”—i.e., to indicate just how that derivation goes. Also, study metatheorems VII-XI (and their proofs) in Chapter 8 in preparation for class discussion. |
| March 5 | Once again, no new homework per se. Instead, keep on studying metatheorems VIII-XI (and their proofs) in Chapter 8 in preparation for class discussion. |
| March 8 | Of the problems at the end of Chapter 8 in Mates’s Elementary Logic, do Problem 1 (odd-lettered items only) and Problem 2 (for theorems 1, 3, 5, 7, and 9 on pp. 127-128 only). Also, review metatheorems X-XI (and their proofs) in §1 of Chapter 8, and read §2 of Chapter 8 in preparation for class discussion. |
| March 10 | Do Problems 3 (for the odd-numbered theorems in Mates's list only) and Problem 4 at the end of Chapter 8 (p. 150). Also, study §3 of Chapter 8 in preparation for class discussion. |
| March 12 | Prove assertions (3)-(6) regarding maximal d-consistent sets of sentences and assertion (8) regarding ω-complete sets of sentences on p. 143 in Mates's Elementary Logic. Also, keep on studying §3 of Chapter 8 for class discussion. |
| March 22 | No new homework, but keep on studying §3 of Chapter 8 for class discussion, concentrating this time on the proof of Lemma II. |
| March 24 | Still no new homework, but keep on studying §3 of Chapter 8 for class discussion, concentrating this time on the proof of Lemma III. |
| March 26 | Still no new homework, but keep on studying §3 of Chapter 8 for class discussion, concentrating this time on the second half of the proof of Lemma III—the reductio argument. Also, you may want to start working on the second round of extra credit. |
| March 29 | Once again, no new homework. You should be working on the second round of extra credit, due on the day of the next midterm, Friday, April 2. Also, study §4 of Chapter 8 for class discussion, and give §§1-2 of Chapter 9 a first look-over. |
| March 31 | Keep working on the second round of extra credit, due on Friday, and in preparation for class on the 31st, do what you can to identify questions you need to have answered about the material to be covered on the midterm. Here, for your edification and enjoyment, is a sample of what you can expect on the second midterm. N.B.: This is not the midterm itself. It's a sample test. |
| April 2 | Midterm. No homework, but the second round of extra credit will be due at the time of the test. |
| April 5 | No homework. In preparation for class discussion, give §1-2 of Chapter 9 a close read. |
| April 7 | Prove Theorems 5-11 on p. 156 in Mates’s Elementary Logic. In preparation for class discussion, study §2-3 of Chapter 9. |
| April 9 | No new homework, but you could be working on Theorems 12-18 on p. 156; these will be included in the final round of extra credit sets. For preparation for class discussion, keep on working on §3 of Chapter 9. |
| April 12 | Do the five derivations called for in Problem 8 on p. 163 at the end of Chapter 9 of Mates’s Elementary Logic.. In preparation for class discussion, give §§1-4 of Chapter 11 a first read, concentrating especially on § 1. |
| April 14 | Again, no new homework, but you could still be working on Theorems 12-18 on p. 156; as already indicated, these will be included in the final round of extra credit sets. In preparation for class discussion, study carefully § 1 of Chapter 11. |
| April 16 | Do Problem 6 on p. 162 at the end of Chapter 9 in Mates’s Elementary Logic. In preparation for class discussion, review §1 of Chapter 11 and give §2 of Chapter 11 a good, close read. |
| April 19 | Prove Theorems 11-15 on p. 190 in Mates’s Elementary Logic. In preparation for class discussion, keep reviewing §§1-4 of Chapter 11. |
| April 21 | What was to be due on the 19th will actually be due on the 21st! Yippee! This means that you have an extra 48 hours to prove Theorems 11-15 on p. 190 in Mates’s Elementary Logic. In preparation for class discussion, keep reviewing §§1-4 of Chapter 11. |
| April 23 | Prove Theorems 11-15 of T2 on p. 193 in Mates’s Elementary Logic. In preparation for class discussion, review the part of §4 of Chapter 11 on T4, the theory of Boolean algebras, and carefully work your way through §5 on definitions. |
| April 26 | You have an extension until today to prove Theorems 11-15 of T2 on p. 193 in Mates’s Elementary Logic. In preparation for class discussion, read §§1-2 of Chapter 12. |
| April 28 | In preparation for class discussion, review §§1-2 of Chapter 12 and read §3. |
| April 30 | If you haven’t yet finished it, you might want to read the rest of Chapter 12. We could talk about that on Friday, or we could make Friday entirely a review day. it’s really up to you. |
| May 3 | No new homework due, but all make-up homework and all extra credit work is due at the time of the final exam, 1:30 p.m. May 3. |
![[WAI-A - WCAG 1.0]](../graphics/w3c_wcag1A_w.gif){kind=small}
