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 8:30 AM on the date next to which they are listed)
|Wed, Jan 11||none - first day!
What is an argument? Not this: http://www.youtube.com/watch?v=kQFKtI6gn9Y
|Fri, Jan 13||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, Jan 16||No Class||Martin Luther King Day|
|Wed, Jan 18||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)
|Fri, Jan 20||read chapter 2.1 - 2.2||turn in: 2.5-2.7 (paper and pencil)|
|Mon, Jan 23||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)
|Wed, Jan 25||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, Jan 27||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, Jan 30||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, Feb 1||read chapter 5.1-2; 6.1-2||submit: 6.3-6|
|Fri, Feb 3||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, Feb 6||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, Feb 8||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, Feb 10||
|Mon, Feb 13||discuss conditionals and biconditionals||nothing to turn in|
|Wed, Feb 15||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, Feb 17||8.1-2||8.18-25|
|Mon, Feb 20||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, Feb 22||9.1-4||9.1-3|
|Fri, Feb 24||9.5||9.5,6|
|Mon, Feb 27||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, Feb 29||10.1-10.3||9.16-17|
|Fri, Mar 2||10.4-5; review for exam|
|Mon, Mar 5||SECOND EXAM|
|Wed, Mar 7||read: sections 11.1-2||Nothing to turn in, but I recommend doing 11.1-2 as an introduction to multiple quantifiers.|
|Fri, Mar 9||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)
|Mar 10-18||SPRING BREAK||NO CLASSES|
|Mon, Mar 19||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!)|
|Wed, Mar 21||11.4||11.18-19|
|Fri, Mar 23||11.5,7||11.20
look at and think about 11.26, but you don't need to turn it in
|Mon, Mar 26||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.)|
|Wed, Mar 28||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!)|
|Fri, Mar 30||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.)|
|Mon, April 2||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.)|
|Wed, April 4||
|Fri, April 6||
No Class: Good Friday
|Mon, April 9||intro to determiners|
|Wed, April 11||14.1,2 (at least n, at most n, exactly n)||14.3,4|
|Fri, April 13||no new reading||14.10-12|
|Mon, April 16||
14.3 (the, both, neither)
lecture: alternatives to classical logic I
Last day to turn in optional paper
|Wed, April 18||alternatives to classical logic II|
|Fri, April 20||LSAT questions|
|Mon, April 23||incompleteness I|
|Wed, April 25||incompleteness II|
|Fri, April 27||review for final exam|
|Mon, April 30||
|Fri, May 4||Final Exam (12:00 noon)|