| Date Due | Assignment |
|---|---|
| November 1st | As we didn’t meet on the 29th, the assignment remains the same for the 1st. Our meeting on the 1st will be at 2:30 p.m. |
| October 29th | In preparation for our discussion on the 29th, study §2 of Chapter 12 of Mates’s Elementary Logic, the section on Medieval Logic. Our meeting on the 29th will be at 2:30 p.m. |
| October 27th | In preparation for our discussion on the 27th, study the introductory paragraphs and §1 of Chapter 12 of Mates’s Elementary Logic, the section on Ancient Logic. Our meeting on the 27th will be at 2:30 p.m. |
| October 25th | As we didn’t meet on the 22nd either, the assignment remains the same for the 25th. Our meeting on the 25th will be at 2:30 p.m. |
| October 22nd | As we didn’t meet on the 20th, the assignment remains the same for the 22nd. Our meeting on the 22nd will be at 2:30 p.m. |
| October 20th | Work through the discussions on pp. 200-201 of Mates’s Daily Translation of the forms that definitions of sentential letters and individual constants should take in extending the vocabularies of theories formalized in the first-order predicate calculus with identity and operation symbols, and, if time permits, work through the discussion on pp. 201-202 of the form that definitions of operation symbols should take in extending the vocabularies of such theories. Our meeting on the 20th will be at 2:30 p.m. |
| October 15th | Review §§1-2 of Chapter 11 and study § 4. Feel free, if inspired, to try your hand at proving some of the unproven theorems of T2. And what about a Daily Translation? Our meeting on the 15th will be at 2:30 p.m. |
| October 13th | Prove theorem 6 at the end of §1 of Chapter 9 of Mates’s Elementary Logic, and, if you feel like it, do Problem 8(d) at the end of Chapter 9. For our discussion on Wednesday, study §1 of Chapter 11 and at least scan §§2-4 to get a feel for the examples of formalized theories they contain. Finally, note that as a special treat, the Daily Translation problem posted on the 12th calls for the use of the language L´! Our meeting on the 13th will be at 2:30 p.m. |
| October 11th | Prove theorems 5-11 at the end of §1 of Chapter 9 of Mates’s Elementary Logic, and study §3 in preparation for Monday’s meeting. And if any of this becomes at all boring and you need a change of pace, the obvious thing to do is a Daily Translation! In any case, our meeting on the 11th will be at 2:30 p.m. |
| October 8th | Study §§1-2 of Chapter 9 of Mates’s Elementary Logic. (And why not also do a Daily Translation?) Our meeting on the 8th will be at 2:30 p.m. |
| September 10th | Study §4 of Chapter 8 of Mates’s Elementary Logic. Our meeting on the 10th will be at 2:30 p.m. |
| September 9th | Keep working on the proof of Lemma III in §3 of Chapter 8 of Mates’s Elementary Logic. Also, do problems 6 and 10 at the end of Chapter 8. Our meeting on the 9th will be at 1:30 p.m. |
| September 8th | Master as much of the detail as you can in the proofs of Lemmas II and III in §3 of Chapter 8 of Mates’s Elementary Logic. Also, make sure that you understand the definitions presented at the beginning of that section and that you understand the overall strategy of Henkin’s completeness proof. Our meeting on the 8th will be at 2:30 p.m. |
| September 7th | Busy day for TT—no meeting. |
| September 6th | Labor Day—no meeting. |
| September 3rd | Since we didn’t meet on the 2nd, the assignment remains the same for the 3rd. Our meeting on the 3rd will be at 2:30 p.m. |
| September 2 | Prove assertions 10 and 11 on p. 66 in Mates’s Elementary Logic, and read as far into §3 of Chapter 8 as you can. Our meeting on the 2nd will be at 1:30 p.m. |
| September 1 | Since we didn’t meet on the 30th or 31st, the assignment remains the same for the 1st. Our meeting on the 1st will be at 2:30 p.m. |
| August 30 | In each of Problems 1-3 at the end of Chapter 8 of Mates’s Elementary Logic, do the first three items. Also do Problem 4. In addition, read over §2 of Chapter 8, and don’t forget to do your Daily Translation (complete with equivalent formula in prenex normal form). Our meeting on the 30th will be at 2:30 p.m. |
| August 27 | Still no new assignment. Work on those two proofs by induction from Chapter 3 and keep on working on §1 of Chapter 8, with special attention to the two examples at the end of the discussion of metatheorem VIII and to the statement and proofs of metatheorems IX-XI. Our meeting on the 27th will be at 2:30 p.m. |
| August 25 | Again, no new assignment. Just keep on working on §1 of Chapter 8. Our meeting on the 25th will be at 2:30 p.m. |
| August 24 | No new assignment (remember: this is your opportunity to catch up!). Just keep on working on §1 of Chapter 8. Our meeting on the 24th will be at 1:30 p.m. |
| August 23 | Do problems 3, 4, and 5 at the end of Chapter 4 in Mates’s Elementary Logic, and read as much as you can of §1 of Chapter 8. Our meeting on the 23rd will be at 2:30 p.m. |
| August 20 | Do problems 1 and 2 at the end of Chapter 4 in Mates’s Elementary Logic. Our meeting on the 20th will be at something like 1:30 or 2:00 p.m. |
| August 19 | Do problem 7 at the end of Chapter 3 in Mates’s Elementary Logic, and prove assertion 4 on p. 65 in Chapter 4. Our meeting on the 19th will be at 10:00 a.m. |
| August 17 | Study the handout on informal mathematical proofs, and don’t forget your Daily Translation). Our meeting on the 17th will be at 1:30 p.m. |
| August 16 | Take the first midterm (take-home test—time limit: 50 minutes), study the handout on Mathematical Induction, and don’t forget your Daily Translation). Our meeting on the 16th will be at 1:30 p.m. |
| August 13 | Do problem 7 at the end of Chapter 6 in Mates’s Elementary Logic (and the Daily Translation). Our meeting on the 13th will be at 1:30 p.m. |
| August 12 | No new assignment. Our meeting on the 12th will be at 1:30 p.m. |
| August 11 | Prove SC Theorems 51-60 in Chapter 6 and do your Daily Translation. Our meeting on the 11th will be at 1:30 p.m. |
| August 10 | Since we didn’t meet on the 9th, you should prove Theorems of Logic 1-3, 5-7, and 9-12 in Chapter 7 of Mates’s Elementary Logic for today, and if you have time left over, you should start working on SC Theorems 51-60 in Chapter 6. The plan now is to have those be due on the 10th. Our meeting on the 10th is once again at 1:30 p.m. |
| August 9 | Prove Theorems of Logic 1-3, 5-7, and 9-12 in Chapter 7 of Mates’s Elementary Logic. If you’ve got time left over, start working on SC Theorems 51-60 in Chapter 6. Those will be due on the 10th. Don’t forget that our meeting on the 9th is at 10:00 a.m. |
| August 6 | Do items (k) and (m)-(p) in Problem 1 at the end of Chapter 7 of Mates’s Elementary Logic...and, of course, your Daily Translation. |
| August 5 | As we didn't meet on the 4th, the assignment for the 5th is the same. |
| August 4 | The deadline for items (a)-(e) in Problem 1 at the end of Chapter 7 in Mates’s Elementary Logic has been extended to today. Our meeting on the 4th will be at 1:30 p.m. Oh, don’t forget to do your Daily Translation. |
| August 3 | Do items (a)-(e) in Problem 1 at the end of Chapter 7 in Mates’s Elementary Logic—perhaps best in the order: c, d, e, a, b. In addition, keep looking over the proofs given by Mates of the SC Theorems and the Theorems of Logic we haven’t yet looked at thinking in your spare time about proof strategies in both Mates’s Sentential Calculus and the system presented in Chapter 7). Our meeting on the 3rd will be at 10:00 a.m. |
| August 2 | Still no new assignment (except to be looking over the proofs given by Mates of the SC Theorems and the Theorems of Logic we haven’t yet looked at in class and to be thinking in whatever spare time you’ve got about how to do proofs in both Mates’s Sentential Calculus and the system presented in Chapter 7)! Our meeting on the 2nd will be at 1:30 p.m. |
| July 29 | Once again, no new assignment—catch up time! Our meeting on the 29th will be at 1:30 p.m. |
| July 28 | No new assignment. Our meeting on the 28th will be at 1:30 p.m. |
| July 27 | Do problems 2 and 3 at the end of Chapter 6 in Mates’s Elementary Logic. New reading assignment: Chapter 7. Our meeting on the 27th will be at 1:30 p.m. |
| July 26 | Do the first semester final (take-home exam; time limit: two and a half hours). New reading assignment: §§1-5 of Chapter 6 of Mates’s Elementary Logic. Our meeting on the 26th will be at 1:30 p.m. |
| July 23 | No new reading assignment. No new homework. Instead, review for the first semester final. Our meeting on the 23rd will be at 1:30 p.m. |
| July 22 | Prove the unproved SC theorems on pp. 98-100 of Mates’s Elementary Logic, and supply any missing justifications statements for the theorems on those pages for which Mates has supplied proofs. No new reading assignment. Our meeting on the 22nd will be at 1:30 p.m. |
| July 21 | Do the System W* problems handed out in class. New reading assignment: §6 of Chapter 6 in Mates, reading all the prose parts and paying particular attention to theorems 1-10. Our meeting on the 21st will be at 1:30 p.m. |
| July 20 | Do System W Proof Problems 91-100, and study the handouts on System W* (System WHY?). Otherwise, no new reading assignment. Our meeting on the 20th will be at 1:30 p.m. |
| July 19 | Take the second midterm (take-home test—time limit: 50 minutes). No new reading assignment. Our meeting on the 19th will be at 1:30 p.m. |
| July 16 | Do problem 3 at the end of Chapter 5 of Mates’s Elementary Logic. New reading assignment: §4 of Chapter 2 in Mates’s Elementary Logic. Our meeting on the 16th will be at 1:30 p.m. |
| July 15 | Do problems 1 (a)-(j) and 2 (a)-(e) at the end of Chapter 5 of Mates’s Elementary Logic. New reading assignment: §§2 and 3 of Chapter 5 and §2 of Chapter 2 of Mates’s Elementary Logic. Our meeting on the 15th will be at 1:30 p.m. |
| July 14 | Do problems 10 and 11 at the end of Chapter 2 of Mates’s Elementary Logic. New reading assignment: §1 of Chapter 5 and (if time permits) §2 of Chapter 2 of Mates’s Elementary Logic.. Our meeting on the 14th will be at 1:30 p.m. |
| July 13 | Do System W Proof Problems 81-90 and problems 1 and 3 at the end of Chapter 3 of Mates’s Elementary Logic. New reading assignment: §5 of Chapter 2 and §3 of Chapter 4 of Mates’s Elementary Logic. Our meeting on the 13th will be at 1:30 p.m. |
| July 8 | Do System W Proof Problems 71-80 and the Truth-Table (and Derivation) Problems handed out on the 6th. New reading assignment: §§1-2 of Chapter 4 of Mates’s Elementary Logic, and the handout containing the Derived Rules for System W. Our meeting on the 8th will be at 1:30 p.m. |
| July 6 | As we didn't meet on the 5th, the assignment remains the same for the 6th: System W Proof Problems 61-70. No new reading assignment: Instead, review Chapter 3 of Mates’s Elementary Logic. Our meeting on the 6th will be at 1:30 p.m. |
| July 5 | System W Proof Problems 61-70. No new reading assignment: Instead, review Chapter 3 of Mates’s Elementary Logic. Our meeting on the 5th will be at 1:30 p.m. |
| July 2 | More System I Proof Problems plus System W Proof Problems 51-60. New reading assignment: Chapter 3 of Mates’s Elementary Logic. Our meeting on the 2nd will be at 1:30 p.m. |
| July 1 | Do the System I Proof Problems handed out in class. New reading assignment: handouts describing a semantics for System W and a decision procedure for System W. Our meeting on the 1st will be at 1:30 p.m. |
| June 30 | Do System W Proof Problems 41-50. New reading assignment: §3 of Chapter III of Basic Symbolic Skills. Our meeting on the 30th will be at 1:30 p.m. |
| June 29 | As we didn't meet on the 28th, the assignment remains the same for the 29th: do System W Proof Problems 21-40. New reading assignment: §§1-2 of Chapter III of Basic Symbolic Skills. Our meeting on the 29th will be at 1:30 p.m. |
| June 28 | Do System W Proof Problems 21-40. New reading assignment: §§1-2 of Chapter III of Basic Symbolic Skills. Our meeting on the 28th will be at 1:30 p.m. |
| June 23 | Do the problems at the end of §8 of Chapter II of Basic Symbolic Skills, do System W Proof Problems 21-30, and take the first midterm (take-home test—time limit: 50 minutes). No new reading assignment. Our meeting on the 23rd will be at 1:30 p.m. NOTE: no meeting on the 22nd. |
| June 21 | Do the problems at the end of §7 of Chapter II of Basic Symbolic Skills. New reading assignment: §8 of Chapter II of Basic Symbolic Skills. Our meeting on the 21st will be at 1:30 p.m. |
| June 18 | Homework: the problems originally assigned for June 14. The reading assignment for June 18th is §7 of Chapter II of Basic Symbolic Skills. Our meeting time on the 18th will be 1:30 p.m. |
| June 17 | Hearing no suggestions, I declare 1:30 p.m. the meeting time for June 17. No new assignment, since we have yet to meet this week. |
| June 16 | Still nothing new since we didn't get any farther on the 15th either. I need to hear from you as to a good meeting time. I'm at your disposal.... |
| June 15 | Nothing new since no one was able to come on the 14th. For the 15th, unless anyone has any objections, let's do it at 11:15 a.m. |
| June 14 | Do the problems (not the puzzles) at the end of §6 of Chapter II of Basic Symbolic Skills, and do the 20 derivations needed to establish derivation claims 1-20 in the handout containing the 100 System W Proof Problems distributed in class on the 11th. No new reading assignment. Instead, this is your chance to review for the first midterm, which will be distributed in class as a take-home exam on June 14. Our meeting on June 14 will be at 11:15 a.m. |
| June 11 | Do the problems (not the puzzle) at the end of §5 of Chapter II of Basic Symbolic Skills. The reading assignment is §6 of Chapter II of Basic Symbolic Skills. Our meeting on June 11 will be at 10:00 a.m. |
| June 10 | Do the problems (not the puzzles) at the end of §§1 and 4 of Chapter II of Basic Symbolic Skills. New reading assignment: §5 of Chapter II of Basic Symbolic Skills. Our meeting on June 10 will be at 1:20 p.m. |
| June 9 | Give §§1-4 of Chapter II of Basic Symbolic Skills a close second reading. Our meeting on June 9 will be at 1:20 p.m. |
| June 8 | No new homework assignment. The reading assignment for June 8 is (1) §§1-4 of Chapter II of Basic Symbolic Skills and (2) the description of the rules of WFF'N PROOF handed out in class on the 7th. Our meeting on June 8 will be at 1:20 p.m. |
| June 7 | Do the problems (not the puzzles) at the end of §5 in Chapter I of Basic Symbolic Skills. The reading assignment for June 7 is §6 of Chapter I of Basic Symbolic Skills—including the description of System W´ in the puzzle at the end of the section. Our meeting on June 7 will be at 11:15 a.m. (last minute change in plans) for all those who can make it at that time. For anyone who can't: let's meet at 1:20 p.m. as originally planned. |
| June 4 | Due to the small turnout on June 3, the assignment due that day has been moved back a day: the problems (not the puzzles) at the ends of §§1, 2, and 4 in Chapter I of Basic Symbolic Skills. The reading assignment for June 4 is also still §5 of Chapter I of Basic Symbolic Skills. Our meeting on June 4 will be at 10:00 a.m. -- unless it turns out that that time is impossible. |
| June 3 | Do the problems (not the puzzles) at the ends of §§1, 2, and 4 in Chapter I of Basic Symbolic Skills. The reading assignment for June 3 is §5 of Chapter I of Basic Symbolic Skills. Also, look over the problems at the end of §5 to see what, if anything, you'll need to ask questions about in our meeting on June 3. The June 3 meeting will be at 1:20 p.m. |
| June 2 | Due to the small turnout on June 1, the assignment due that day has been moved back a day: problems 3 and 4 on p. 19 of Mates’s Elementary Logic. Also read the front matter and §§1-4 of Chapter 1 of Basic Symbolic Skills, and look over the problems at the end of the sections that include them. Our meeting on June 2 will be at 1:20 p.m. |
| June 1 | Do problems 3 and 4 on p. 19 of Mates’s Elementary Logic. Also read the front matter and §§1-4 of Chapter 1 of Basic Symbolic Skills, and look over the problems at the end of the sections that include them. Unless you hear otherwise, our meeting on June 1 will be at 11:15 a.m. |
| May 27 | Do problems 1 and 2 on pp. 18-19 of Mates’s Elementary Logic. Also read §§5-6 of Chapter 1 of Mates’s Elementary Logic, and look over the exercises at the end of the chapter relevant to those sections of the text—specifically, problems 3 and 4 on p. 19. Finally, if you still don’t have them down, continue to work on the definitions of basic and evaluative terms in “Arguments and Their Evaluation.” |
| May 26 | Read §§1-4 of Chapter 1 of Mates’s Elementary Logic. Also, look over the exercises at the end of the Chapter (pp. 18-19) relevant to those sections of the text—specifically, problem 1 on p. 18 and problem 2 on p. 19. If you don’t yet have them down, continue to work on the definitions of basic and evaluative terms in “Arguments and Their Evaluation.” |
| May 25 | Do the argument exercises handed out in class on 5/24. These presuppose familiarity with (a) the section containing Definitions of Basic Terms on p. 1 and (b) the first paragraph of the section on Argument Evaluation Strategy on p. 2 of “Arguments and Their Evaluation,” also handed out in class on 5/24. The reading assignment for our meeting on Tuesday (5/25) is the entirety of “Arguments and Their Evaluation.” |
![[WAI-A - WCAG 1.0]](../graphics/w3c_wcag1A_w.gif){kind=small}
