Symbolic Logic

Fall, 2012

Paper-and-pencil assignments to be turned in are to be given to me at the beginning of the class period on the date due.  Assignments using the computer software are to be submitted for online grading using the program Submit. These must be submitted prior to the beginning of the class period for which they are due. No credit will be given for late assignments.

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, 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.


Exercises and Problems
(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:
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 8.26, 28-30
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
Paper Due
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

reading day


Thurs, Dec 13 Final Exam (8:30 AM)  

Last update: August 23, 2012.
Curtis Brown  |  Symbolic Logic I  |  Philosophy Department  |  Trinity University