Symbolic Logic

Spring, 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 8:30 AM on the date next to which they are listed)
Wed, Jan 11 none - first day!
What is an argument? Not this:
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 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, 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)
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

reading day


Fri, May 4 Final Exam (12:00 noon)  

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