Note: The reading assignments are in the course outline at the end of the syllabus.
| Date Due | Assignment |
|---|---|
| May 4 | Final exam—1:30-4:00 p.m. All extra credit and all homework not previously handed in is due at this time as well. |
| April 28 | Do Exercise 6 at the end of Chapter 9 for more practice with identity and in Chapter 11, focus on the concluding part of §5—the part beginning with the last paragraph starting on p 199. That’swhat we’ll be discussing on Friday. |
| April 26 | Read over §§2-3 of Chapter 11 to see two nice examples of axiomatized deductive theories formalized in logistic systems with which we are now familiar. Also read §5. Our discussions on Wednesday and Friday will primarily have to do with §5. |
| April 24 | Keep working on §1 of Chapter 11. |
| April 21 | Keep working on §1 of Chapter 11, making sure you understand the definitions. |
| April 19 | Study §1 of Chapter 11, making sure you understand the definitions in paragraphs 1-3. |
| April 17 | Do Exercise 8 (d)-(e) on p. 163 of Mates’s Elementary Logic, and once again, have a glance at Chapter 10 (which we’re not going to do in detail) and at §1 of Chapter 11 (which we are). |
| April 14 | Do Exercises 8 (a)-(b) and 9 on p. 163 of Mates’s Elementary Logic, have a glance at Chapter 10 (which we’re not going to do in detail) and at §1 of Chapter 11 (which we are). |
| April 12 | Prove theorems 5-11 on p. 156 of Mates’s Elementary Logic, and review §3 of Chapter 9. |
| April 10 | Read Chapter 9 of Mates’s Elementary Logic, concentrating especially on §§1-2. |
| April 7 | Second midterm. Also, the second round of extra credit is due on the 5th. |
| April 5 | Keep on working on identifying things we need to review, and if you haven’t already done so, start working on extra credit. |
| April 3 | Keep on working on identifying things we need to review. |
| March 31 | Look over everything we’ve done since the first midterm to see what we need to review. |
| March 29 | Review §3 (the last two paragraphs) and §4 of Chapter 8 of Mates’s Elementary Logic. |
| March 27 | Establish that all maximal d-consistent sets of sentences have properties 3-6 described on p. 143 of Chapter 8 of Mates’s Elementary Logic and that all maximal d-consistent sets of sentences that are also ω-complete have property 8; also do Exercise 8 at the end of Chapter 8 on p. 150. |
| March 24 | Continue to review §3 of Chapter 8 of Mates’s Elementary Logic—the proof of completeness. |
| March 22 | Review §3 of Chapter 8 of Mates’s Elementary Logic—the proof of completeness. |
| March 20 | No new assignment (except for the Daily Translation that appears on March 19). Have a great spring break! |
| March 10 | Do Exercises 3 (Theorems 1-5) and 4 on p. 150 of Elementary Logic. Also, study up on the next two metatheorems (X and XI) and study section 2 of Chapter 8. |
| March 8 | Now: as a formal homework assignment, do Exercises 1 and 2 on p. 150 of Elementary Logic. Also, study up on the next two metatheorems (X and XI) and read over section 2 of Chapter 8. |
| March 6 | Not as a formal homework assignment, but just for fun, try your hand—without spending any time reviewing the prenex normal form theorem or Mates’s illustrative examples—at doing Exercise 2 on p. 150 of Elementary Logic. You’ve been looking at equivalent prenex normal form formulas on the Daily Translation all semester, but do you know yet how to create one given a randomly selected formula? This exercise will help you decide. |
| March 3 | Prove clause 9 of Metatheorem IV on p. 135 in Chapter 8 of Mates’s Elementary Logic. Review the metatheorems we covered in class on Wednesday, study the proof of metatheorem VII (p. 136) and read on into the presentation and proof of the next two metatheorems: the Negation Theorem and the Prenex Normal Form Theorem (VIII and IX, pp. 136-139). |
| March 1 | Construct the schematic derivation called for in the proof of clause 1 of Metatheorem IV on p. 135 in Chapter 8 of Mates’s Elementary Logic. Also, all additional extra credit sets from Round I are due today. |
| February 27 | Continue to work away on Chapter 8: review the first four metatheorems and read ahead as far as you can. We—ll be starting on Monday with Metatheorem V. For the rest, go back and review whatever you need to review to prepare for the midterm retake at 8:00 a.m. on Tuesday. Also, a special gift: I’m reopening the first round of extra credit. You may turn in on Wednesday any additional sets from that round. |
| February 24 | Do Exercises 1 and 2 at the end of Chapter 4 in Mates’s Elementary Logic (p. 67). Also, continue to work away on Chapter 8: review the first three metatheorems and read ahead as far as you can. |
| February 22 | Write (a) an informal proof of assertion 5 on p. 65 in Chapter 4 of Mates’s Elementary Logic and (b) a small Sokratic dialogue paralleling that proof and rendering more visible what’s going on in it. Also, review the preliminaries in Chapter 8 as well as the statement and proof of Metatheorem I. Finally, read over the next few metatheorems and proofs to understand as much as you can of them before Wednesday's class. |
| February 20 | Write (a) an informal proof of assertion 4 on p. 65 in Chapter 4 of Mates’s Elementary Logic and (b) a small Sokratic dialogue like the one in the handout I gave you in class on Friday paralleling that proof and rendering more immediately visible what’s going on in that proof. Also, don't forget to send your redone inductive proofs in to Nicki or Non by 1:10 p.m. on Saturday the 18th. |
| February 17 | Do problem 6 at the end of Chapter 3 in Mates’s Elementary Logic and review pp. 65-67 in Chapter 4 (the nineteen generalizations and two proofs) and §1 of Chapter 8. |
| February 15 | Without first reading on beyond it, write out a proof of the problem posed at the bottom of the first page of the handout on Mathematical Induction. Once you’ve done that, study the rest of the handout, contemplate problem 6 at the end of Chapter 3, and read §1 of Chapter 8 of Mates’s Elementary Logic. |
| February 13 | No homework except, of course, for the Daily Translation (which we’re going to stop mentioning on a daily basis now; we’ll be treating the Daily Translation assignment as going without saying). On the 13th we’ll be starting on metatheory. |
| February 10 | No new homework except, of course, for the Daily Translation. The first midterm will be given in class. The first round of extra credit sets is due. |
| February 8 | No new homework except, of course, for the Daily Translation. There are those extra credit options to work on. Class on the 8th will be devoted to review for the midterm. |
| February 6 | Write out proofs of Theorems 13-24 on pp. 128-130 in Chapter 7 in Mates’s Elementary Logic. To prepare for our class discussion on the 6th, review System W*. And as ever, there’s the Daily Translation. |
| February 3 | Write out proofs of Theorems 1-12 on pp. 127-128 in Chapter 7 in Mates’s Elementary Logic. To prepare for our class discussion on the 3rd, review all of Chapter 7 of Mates’s Elementary Logic. And don’t forget the Daily Translation. |
| February 1 | Do Exercises 4 and 8a on pp. 108-109 of Chapter 6 in Mates’s Elementary Logic. To prepare for our class discussion on the 1st, read or review §§1-4 of Chapter 7 of Mates’s Elementary Logic. And don’t forget the Daily Translation. |
| January 30 | Write out SC derivations of theorems 53-55, 66-70, 92, and 92*: “(P → R) → ((Q → R) → ((P v Q) → R))” on pp. 105-106 of Chapter 6 in Mates’s Elementary Logic, and do Exercise 3 on p. 108. To prepare for our class discussion on the 30th, review §2 of Chapter 6 and read Chapter 7 of Mates’s Elementary Logic. And as ever, do the Daily Translation. |
| January 27 | Write out SC derivations of theorems 42-52 on p. 105 of Chapter 6 in Mates’s Elementary Logic. To prepare for our class discussion on the 27th, read §§1-5 of Chapter 6 of Mates’s Elementary Logic. Also don’t forget your Daily Translation. |
| January 25 | Write out SC derivations of theorems 31-40 on pp. 104-105 of Chapter 6 in Mates’s Elementary Logic. To prepare for our class discussion on the 25th, read over the next twelve theorems (up through theorem 52) and review Mates’s discussion of the replacement rule. As ever, there’s a Daily Translation to do, namely the one for the 24th. You may also do the one for the 23rd if you wish. |
| January 23 | Write out SC derivations of theorems 21-30 on pp. 103-104 of Chapter 6 in Mates’s Elementary Logic. To prepare for our class discussion on the 23rd, read over the next ten theorems (up through theorem 40) along with Mates’s discussion of the replacement rule. As ever, there’s a Daily Translation to do, namely the one for the 22nd. You may also do the ones for the 20th and the 21st if you wish. (Remember: A translation a day...). |
| January 20 | Write out SC derivations of theorems 11-20 on pp. 102-103 of Chapter 6 in Mates’s Elementary Logic. To prepare for our class discussion on the 20th, read over the next twenty theorems (up through theorem 40) along with Mates’s discussion of the replacement rule. As ever, there’s a Daily Translation to do, namely the one that appeared on the 19th. You may also do the one that appeared on the 18th so as to have a chance of improving on whatever you do for the one that appeared on the 19th. |
| January 18 | Write out SC derivations of theorems 1-10 on pp. 98-100 of Chapter 6 in Mates’s Elementary Logic. To prepare for our class discussion on the 18th, read over—study—the next 30 theorems and all the things Mates has to say along the way. Of course there’s also the Daily Translation that comes out on the 17th to do, and you can do the ones that appeared during the previous four days (Friday, Saturday, Sunday, and Monday) for extra credit (i.e., as four distinct chances at improving the score I’ll be recording for what you turn in on the 18th) as well. |
| January 13 | Do the diagnostic I handed out in class, and do the Daily Translation problem for 1/12 (the one for 1/11 is extra credit). |
| January 11 | 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. |
![[WAI-A - WCAG 1.0]](../graphics/w3c_wcag1A_w.gif){kind=small}
