INTRODUCTION TO SYMBOLIC LOGIC
(PHIL 114, Sec. 001)

Reading and Homework Assignments

Readings from Language, Proof and Logic, by Barwise and Etchemendy, are listed by chapter and section numbers, with page numbers in parentheses. Homework assignments from the book are listed by chapter.exercise number.
  • For Jan. 14: Read the Introduction and Ch. 1.1-1.3 (pp. 1-15, 17-25). Do the "You try it" Exercise and Ex. 1.2-1.4, but do not Submit them to the Grade Grinder and do not Register your software yet. Just try the problems out and get used to the software. Once you Register your software and Submit problems to the Grade Grinder no one else can ever use your CD-ROM, so you cannot sell it to someone else.
  • For Jan. 19: MLK Day--No Class!
  • For Jan. 21: Read Ch. 1.4-1.5, 1.8, and 2.1-2.2 (pp. 28-34, 40-52). Do Ex. 1.5, 1.6, 1.9, and 2.1, 2.2. Now Register your software (use the following email address to locate me as the instructor: woodbri3@unlv.nevada.edu, keeping it all lower case, and be sure to pick the right class: Phil 114, Spring 2009) and Submit Ex. 1.1-1.4 along with the new exercises due today (some portions of some problems must be written out by hand and submitted in class). Remember, you can have the Grade Grinder send the results just to you at first, and as many times as you like, while you check and re-work problems. When you are satisfied with your score, then have the results sent to me. Submit these Exercises to me via the Grade Grinder all at the same time, and do it by 12pm on 1/21. Hand in written assignments at the beginning of class (but make a copy for yourself to hold onto during class).
  • For Jan. 26: Read Ch. 2.3-2.4 (pp. 52-62). Be sure to do the "You Try It" (YTI) Exercises in the text. Do Exercises 2.3, 2.4, 2.8-2.14 to hand-in or Submit (as necessary). Also, catch up on all Readings and Exercises assigned so far and hand-in/Submit missing Exercises by the beginning of class on 1/26.
  • For Jan. 28: Finish reading Ch. 2.
  • For Feb. 2: Do Ex. 2.15-2.20 and 2.24-2.27. Then read Ch. 3.1-3.6 (pp. 67-83) and do Ex. 3.2-3.3, 3.5-3.10. Submit all these Exercises by 12pm on 2/2.
  • For Feb. 9: Finish Ch. 3. Do Exercises 3.12-3.16 and 3.20-3.23. Submit them by 12pm on 2/9. Read Ch. 4.1-4.3 (pp. 93-113).
  • For Feb. 11: Do the Syntax Exercises handed out in class, involving the application of the Formation Rules. Hand the problems in at the beginning of class.
  • For Feb. 18: Do Ex. 4.1-4.2, 4.4-4.7, 4.12-4.18. Submit them by noon on 2/18. Then read Ch. 4.4-4.6 (pp. 114-125).
  • For Feb. 23: Do Ex. 4.22-4.24, 4.26, and 4.29-4.31. Read Ch. 7 (pp. 176-194). Do Ex. 7.1-7.8. Submit all Exercises by noon on 2/23.
  • For Feb. 25: Do Ex. 7.12-13, 7.15-7.16, 7.18, 7.25. Submit them by noon on 2/25. Start studying for the First Test, which will be on 3/4.
  • For Mar. 2: Re-read Ch. 3.8 (pp. 89-90). Do Ex. 3.26-3.27. Then do Ex. 4.27-4.28, 7.10-7.11, 7.14. Start re-reading Ch. 1-4 and 7 for the test.
  • For Mar. 4: First Test! It will be on Ch. 1-4 and 7 (Re-read the assigned sections of these Chapters). Bring an exam book (you can get them at the Student Union), and bring an extra one for someone forgetful. To practice some additional material for the test, do Exercises 4.32, 4.39-4.40 and 7.27-7.28.
  • For Mar. 11: Re-read Ch. 4.5 and 4.6 (pp. 117-125). Do Ex. 4.33-4.36 and 4.41-4.43.
  • For Mar. 16: Read Ch. 5 (pp. 127-141). Do Ex. 5.1-5.5.
  • For Mar. 18: NO CLASS--SICK!
  • For Mar. 23: Read Ch. 6.1-6.3 (pp. 142-161). Do Ex. 6.1-6.3.
  • For Mar. 25: Read Ch. 6.4-6.6 (pp. 163-175).
  • For Mar. 30: Do Ex. 6.4-6.6, 6.8-6.14. Then read Ch. 8.1-8.2 (pp. 198-212).
  • For Apr. 1: Do Ex. 6.18-6.20, 6.28-6.32, 6.34, 6.36. Then do Ex. 8.19-20 and 8.23-24.
  • For Apr. 13: Read Ch. 8.3-8.4 (pp. 214-223). Try as many of the following proofs as you can: Ex. 6.24-6.27 (just the formal proofs), 6.35, 6.37-6.39, 8.26, 8.28, 8.34-8.37. Don't worry if you don't get to all of them or can't figure out how to do all of them--just try as many as possible (practice makes perfect). Then read Ch. 9.1-9.6 (pp. 227-247).
  • For Apr. 13: Review Session for Second Test! 5pm-7pm at the conference room across from my office (CDC 426). Drop in any time between 5pm and 7pm and stay only as long as you want.
  • For Apr. 15: Second Test! Bring an exambook. This Test will cover everything we've done since the First Test, including the truth-functional completeness of our set of sentential connectives (Ch 7.4), Formal Proofs using introduction and elimination rules for all 5 sentential connectives, the absurdity symbol, and the identity predicate (Ch. 6 and 8.2), proofs from zero premises, the logic of conditionals (Ch 8.1), alternative notations for connectives (p. 197), and the concepts of the Soundness and Completeness of a deductive system as a whole (Ch. 8.3).
  • For Apr. 20: Re-read Ch. 9.1-9.6 (pp. 227-247). Do Ex. 9.1-9.3 and 9.6. Take a look at the extended Formation Rules for well-formed formulae (wffs, pronounced "woofs") of FOL. Then read Ch. 10.1-10.4 (pp. 257-283).
  • For Apr. 27: Do Ex. 9.5, 9.9, 9.12-9.13, 9.16-9.18. Then do Ex. 10.24-10.29. Read Ch. 11.1-11.3 (pp. 289-300). Do Ex. 11.2 and 11.3.
  • For Apr. 29: Do Ex. 10.10-10.13 and 11.9, 11.13, 11.17. Read Ch. 11.7 (pp. 311-315) and do Ex. 11.37. Then read Ch. 13.1-13.3 (pp. 342-358). Do Ex. 13.1-13.5, 13.10-13.14.
  • For Apr. 29: Review Session! 6pm-7:30pm, at the Philosophy Dept. in the conference room across from my office (CDC 426).
  • For May 1: Review Sessions! 1pm-2:30pm and 6pm-7:30pm, both in our classroom (WRI C311).
  • For May 4: Final Exam! In our classroom at 1pm. Bring an exambook, and bring an extra for someone who forgets.
Last updated April 26, 2009

This site is maintained by James A. Woodbridge.

This document was created on January 9, 2009.