Fall schedule

Fall 2009

Remember that for your grade I do expect a weekly log with one point deducted for each week that you fail to report. However, you also will be credited one point for each of ten exercises--the three review tests indicated below and seven additional exercises located in the chapters themselves. Chart your progress by going to the progress web page.

strongly recommended: print out and use a personal checklist for the different chapters

SECTION 1: SYMBOLIZATION AND TRUTH VALUES Week of August 31 1. GETTING STARTED additional material Week of September 7: 2. BASIC SYMBOLIZATION FOR COMPLETE STATEMENTS Week of September 14: 3. EXPRESSING CONDITIONAL RELATIONSHIPS (review exercise included) additional material Week of September 21: 4. SYMBOLIZATION TO EXPRESS ONE-PLACE PREDICATES 5. SYMBOLIZATION TO EXPRESS QUANTIFICATION (review exercise included) additional material 6. SYMBOLIZATION TO EXPRESS RELATIONSHIPS Week of September 28: 7. UNDERSTANDING TRUTH FUNCTIONS (review exercise included) additional material Week of October 5: 8. TESTING FOR EQUIVALENCE WITH TRUTH TABLES 9. BONUS MATERIAL: THE SHEFFER STROKE REVIEW FOR SECTION 1 review tips on symbolization and truth values first review test SECTION 2: TESTING FOR VALIDITY AND DERIVATIONS FOR EQUIVALENCE Week of October 12: 10. TESTING FOR VALIDITY WITH COMPLETE TRUTH TABLES additional material 11. TESTING FOR VALIDITY USING THE REVERSE METHOD (review exercise included) additional material	Week of October 19: 12. DERIVATIONS USING EQUIVALENCE RULES Week of October 26: 13. QUANTIFIER NEGATION REVIEW FOR SECTION 2 second review test SECTION 3: CONSISTENCY TREES AND DERIVATIONS Week of November 2: 14. USING CONSISTENCY TREES FOR PROPOSITIONAL LOGIC 15. A FIRST RULE SET FOR DIRECT DERIVATIONS Week of November 9: 16. AN EXPANDED RULE SET FOR DIRECT DERIVATIONS additional material 17. INFERENCE RULES FOR QUANTIFIERS (review exercise included) Week of November 16: 18. USING CONSISTENCY TREES FOR QUANTIFIED EXPRESSIONS Week of November 23: 19. USING INDIRECT DERIVATIONS (review exercise included) Week of November 30: 20. USING CONDITIONAL DERIVATIONS third review test Week of December 7: 21. WORKING WITH MULTIPLE QUANTIFIERS (review exercise included) review tips on more complex symbolization and derivations 22. EXPRESSIONS INVOLVING IDENTITY 23. BONUS MATERIAL: DISJUNCTIVE AND CONJUNCTIVE NORMAL FORMS REVIEW FOR SECTION 3
FINAL EXAM ON CAMPUS: 7-9 PM, Friday, December 18 (room TBA) This exam will be worth 50 points; you already begin with 50 points toward your total grade, although you can lose points by not submitting a weekly log and you can gain points by submitting certain exercises indicated in the chapters and here on the schedule.