Note that most homework is to be submitted for online grading. When you submit an assignment for the final time, you must indicate that I should receive a copy of the grade report (at my email address, email@example.com). However, if you wish you may submit one or more trial versions of the homework for online grading with grade reports to be sent only to you. Then you may attempt to correct any mistakes prior to the final online submission.
I will accept only the first grade report I receive for a given assignment, however, so make certain that you have made all the changes you want to or have time for before you have a report sent to me! When you submit an assignment with a grade report to be sent to me, make certain that you include all of the problems for that assignment in a single submission -- if you break up your submission into chunks, I will count only the first chunk.
Homework assignments are to be your own work. Submitting a copy of someone else's file is a violation of academic integrity. Be aware that the grading software watches for this. (Discussing the homework assignments with other students and getting or giving general advice and suggestions is fine. Copying someone else's work is not.)
The schedule below is tentative; changes will probably be made as the semester progresses. Please consult the online schedule for the updated assignment.
(Due by 10:30 AM on the date next to which they are listed)
|Wed, Aug 22||none - first day!
What is an argument? Not this: http://www.youtube.com/watch?v=kQFKtI6gn9Y
|Fri, Aug 24||Introduction (pp. 1-10)||submit "You Try It," pp. 8-10
Note: If you follow the step-by-step instructions in the book, you'll see in step 7 on p. 10 the instruction to select "Just Me" when submitting. Don't do this! Select "Instructor Too" when you submit so I can see you've done it (and so I can give you credit for an incredibly easy assignment).
|Mon, Aug 27||read chapter 1 (all)||submit 1.4-5,9,19
think about, have answers to 1.8,11,12,15-18 (but don't need to submit)
|Wed, Aug 29||read chapter 2.1 - 2.2||turn in: 2.5-2.7 (paper and pencil)|
|Fri, Aug 31||read chapter 2.3-2.5||submit: 2.15-18,21,25
note: on 2.25, you need to submit either a proof or a counterexample, not both. The GG will report that you didn't submit the other file, but you can just ignore that.
read & think: 2.2-4,22-23 (but don't need to submit)
|Mon, Sept 3||No Class||Labor Day|
|Wed, Sept 5||read 3.1-3.4||submit: 3.3, 7, 10
recommended: 3.6, 9 (but don't need to submit -- I'll stop writing this every time!)
|Fri, Sept 7||read 3.5 - 3.8||submit: 3.14-16,21
recommended (especially if any of these give you trouble): 3.12,20,22
think about: 3.25
|Mon, Sept 10||read chapter 4
(especially through 4.4, but also make sure you know the equivalences given on pp. 118-119 and 122.
|submit to the GG: 4.1,2,4,5
(notice that you need to use the keyboard to get the capital letters A, B, C. You need capital letters to stand for sentences, since in our language lower-case a, b, c are individual constants, not sentences.)
turn in (paper & pencil): 4.8
make sure you also know how to use truth tables to determine tautological equivalence and tautological consequence, as in exercises 4.12-18 and 4.20-24.
|Wed, Sept 12||read chapter 5.1-2; 6.1-2||submit: 6.3-6|
|Fri, Sept 14||read chapter 5.3-4; 6.3-6||submit: 6.9,10,12
-Keep in mind that these may or may not be valid (if not submit a counterexample rather than a proof). Don't use Taut Con or Ana Con. (Actually, never use them unless specifically asked to.)
|Mon, Sept 17||submit: 6.21,24,25
-You don't need to write out informal proofs of 24 and 25, but it's a good idea to think about how you would justify the conclusion informally.
|Wed, Sept 19||review for exam||submit: 6.33, 40
For 40 you will probably want to make use of the Law of Excluded Middle, which you will prove in 33. You may use Taut Con to justify an instance of Excluded Middle provided you could prove it if you had to. But don't use Taut Con or Ana Con for anything else!
recommended: 4.31, 39, 40 (on negation, conjunctive, and disjunctive normal form)
|Fri, Sept 21||
|Mon, Sept 24||discuss conditionals and biconditionals||nothing to turn in|
|Wed, Sept 26||read chapter 7 (all)||7.12, 15 (recommended: examine 7.1-8 and determine whether the indicated sentences are tautologically equivalent; the equivalences are useful to know)|
|Fri, Sept 28||8.1-2||8.18-25|
|Mon, Oct 1||finish reading chapter 8||
These are the trickiest proofs we've seen so far. If you can do them without much trouble, you're in great shape. If you can't, don't panic.
|Wed, Oct 3||9.1-4||9.1-3|
|Fri, Oct 5||9.5||9.5,6|
|Mon, Oct 8||9.6||9.9, 11-12 (you don't need to do the written portions, just the parts you can submit to the Grade Grinder)|
|Wed, Oct 10||10.1-10.3||9.16-17|
|Fri, Oct 12||No Class||Fall Recess|
|Mon, Oct 15||10.4-5; review for exam|
|Wed, Oct 17||SECOND EXAM|
|Fri, Oct 19||read: sections 11.1-2||Nothing to turn in, but I recommend doing 11.1-2 as an introduction to multiple quantifiers.|
|Mon, Oct 22||no new reading||11.4-6
Recommended: 11.11-15 (you don't need to submit these, but look over them and do as many as you need to in order to feel comfortable with the material)
|Wed, Oct 24||11.3||11.16-17 (If you have any trouble with these, you may find it helpful to do some or all of exercises 11-15.) Note: if your translation doesn't evaluate correctly in one or more test worlds, then it can't be correct; however, even if it evaluates correctly in all test worlds, that does not guarantee that it is correct!)|
|Fri, Oct 26||11.4||11.18-19|
|Mon, Oct 29||11.5,7||11.20
look at and think about 11.26, but you don't need to turn it in
|Wed, Oct 31||12.1-3;13.1 (note: all the exercises will be from chapter 13, but it will be very helpful to carefully read chapter 12 also)||13.2-8 (You might find it helpful to do 13.1, the "you try it" exercise, first. You can use Taut Con for any purely propositional steps that you know you could prove the long way if you had to.)|
|Fri, Nov 2||13.2||13.11-14 (keep in mind that these may or may not be valid! If not, provide a counterexample instead of a proof. You might want to start with 13.10, the "you try it". If you do 13.15 for fun, notice that one premise is one of those horrible existentially quantified conditionals that I keep telling you to avoid!)|
|Mon, Nov 5||12.4, 13.3||13.23-31 (remember, 13.23-27 may or may not be valid. As usual, you may find it helpful to do 13.19, the "you try it" exercise, first.)|
|Wed, Nov 7||12.5, 13.4; review for exam||13.40-45. Note that 40-42 may or may not be valid. (43-45 are the three directions of the DeMorgan's equivalences for quantifiers that we haven't yet proved.)|
|Fri, Nov 9||
|Mon, Nov 12||intro to determiners|
|Wed, Nov 14||14.1,2 (at least n, at most n, exactly n)||14.3,4|
|Fri, Nov 16||no new reading||14.10-12|
|Mon, Nov 19||
14.3 (the, both, neither)
lecture: LSAT Questions
|Nov 21-23||No Class||Thanksgiving Break|
|Mon, Nov 26||alternatives to classical logic|
|Wed, Nov 28||incompleteness I|
|Fri, Nov 30||incompleteness II|
|Mon, Dec 3||review for final exam|
|Wed, Dec 5||
|Thurs, Dec 13||Final Exam (8:30 AM)|