INTRODUCTION TO SYMBOLIC LOGIC
(PHI 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. 28: 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. 30: Read Ch. 1.4-1.5 and 2.1 (pp. 28-34, 41-44). Do Ex. 1.5, 1.6, 1.9, and 2.1. Now Register your software (use the following email address to locate me as the instructor: james.woodbridge@unlv.edu, keeping it all lower case, and be sure to pick the right class: Phil 114, Spring 2008) 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/30. Hand in written assignments at the beginning of class (but make a copy for yourself to hold onto during class).
  • For Feb. 4: Do Ex. 1.13-1.16 to hand in on paper at the beginning of class. Read Ch. 2.2-2.4 (pp. 46-62). Be sure to do the "You Try It" (YTI) Exercises in the text. Also, catch up on all Reading and Exercises assigned so far and hand-in/Submit missing Exercises by the beginning of class 2/4.
  • For Feb. 11: Re-read Ch. 2.1-2.2 (pp. 41-52). Do Ex. 2.2-2.4 (on paper to hand in at the beginning of class), and 2.8-2.14 (turn in informal proofs of the valid ones on paper; for the invalid ones, Submit a counterexample world to the Grade Grinder by 12pm).
  • For Feb. 13: Finish Ch. 2 (pp. 41-66). Do Ex. 2.17-2.20 and 2.24-2.27. Submit them to the Grade Grinder by 12pm.
  • For Feb. 20: Read Ch 3.1-3.6 (pp. 67-83). Do Ex. 3.2-3.3, 3.5-3.10. Submit them by 12pm on 2/20.
  • For Feb. 25: Finish Ch. 3. Do Exercises 3.20-3.23. Submit these by noon on 2/25. Next take a look at the following handout on FOL sentence Formation Rules, and do the Exercises on p. 2. Hand them in at the beginning of class 2/25 (but have a copy for yourself in class).
  • For Feb. 27: Try Ex. 3.12-3.16 for practice. Read Ch. 4.1-4.3 (pp. 93-113).
  • For Mar. 3: Do Ex. 4.1-4.2, 4.4-4.7, 4.12-4.18. Submit them by 12pm on 3/3. Then read Ch. 4.4-4.6 (pp. 114-125).
  • For Mar. 5: Do Ex. 4.22-4.24, 4.26, and 4.29-4.31. Submit them by noon on 3/5. Read Ch. 7 (pp. 176-194).
  • For Mar. 10: Do Ex. 4.39-4.40. Re-read Ch. 7. Do Ex. 7.1-7.8, 7.12-13, 7.15-7.16, 7.18, 7.25, 7.27. Submit them by noon on 3/10. Start studying for the First Test, which will be on 3/12.
  • For Mar. 12: First Test! It will be on Ch. 1-4 and 7. Bring an exam book (you can get them at the Student Union), and bring an extra one for someone forgetful.
  • For Mar. 26: Do Ex. 7.28 (and 7.25, 7.27 if you haven't already). And do Ex. 3.26 and 3.27 (back on p. 91). Submit them by noon on 3/26. Then read Ch. 5 (pp. 127-141).
  • For Mar. 31: Do Ex. 5.1-5.4, 5.7-5.11. Read Ch. 6.1-6.3 (pp. 142-161). Turn in written homework problems at the beginning of class; Submit computer Exercises by noon on 3/31.
  • For Apr. 2: Do Ex. 5.15-5.18, and Ex. 6.1-6.7. Read Ch. 6.4-6.6 (pp. 163-175).
  • For Apr. 7: Read Ch. 8.1 (pp. 198-203). Do Ex. 8.1-8.4 (Note: for 8.3, assume the following additional premise, "Mythical(u) v ¬Mythical(u)". Why are we entitled simply to assume this?)
  • For Apr. 9: Re-read Ch. 6.1-6.3 (pp. 142-161) and read Ch 8.2 (pp. 206-212). Do Ex. 6.1-6.6, if you haven't already. Then try Ex. 6.10-6.13 and Ex. 8.19-20 and 8.23-24.
  • For Apr. 14: Re-read Ch. 6.4-6.6 (pp. 163-175). Do Ex. 6.18-6.20, 6.24-6.32.
  • For Apr. 16: Do Ex. 6.34-6.39. Then read Ch. 8.3-8.4 (pp. 214-223). Do Ex. 8.44-8.49.
  • For Apr. 21: Study for the Second Test, which will be on this day. 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), Methods of Proof and informal proofs (Ch. 5 and Ch 8.1), Formal Proofs using introduction and elimination rules for the connectives and identity (Ch. 6 and 8.2), 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. 23: Read Ch 9.1-9.4 (pp. 227-238).
  • For Apr. 28: Do Ex. 9.1-9.3, 9.5, 9.6. Submit them by noon on 4/28. Then read Ch. 10.1-10.4 (pp. 257-282) and do Ex. 10.24-10.29.
  • For Apr. 30: Read Ch. 9.5-9.8 (pp. 239-256). Do Exercises 9.9, 9.12-9.14, 9.16-9.19. Read Ch. 11.1-11.2 (pp. 289-296). Do Ex. 11.3 and 11.4.
  • For May 5: Do Ex. 10.10-10.13. Then read 11.3-11.7 (pp. 298-314). Do Ex. 11.9, 11.13, 11.17. Read Ch. 12.1-12.4 (pp. 319-334). Do Ex. 12.4, 12.6, 12.8.
  • For May 7: Read Ch. 13.1-13.3 (pp. 342-358). Do Ex. 13.1-13.5, 13.10, 13.12, 13.17.
  • For May 12: Review Session 3:10pm-5pm in CBC C124. For some examples of how to do the quantificational proofs assigned, click here.
  • For May 14: Final Exam: 3:10pm-5:10pm. In our regular classroom. Bring an exambook to write your answers in (and bring an extra one for someone who forgets).
Last updated May 7, 2008

This site is maintained by James A. Woodbridge.

This document was created on December 22, 2007.