PHILOSOPHY 120    INTRODUCTION TO LOGIC
HOMEWORK ASSIGNMENTS

Homework will be assigned each week, usually on Tuesday.  It is due the following week, in your discussion section.
Homework will count toward the final grade.  (See Grading in the Syllabus.)

 

Week 1:     Intro. & Translations: Conditional Logic.   Read Chapter I, Secs. 1, 2, 3.
   4/1            Do problems 1, 2, 3, 4, 5, 6, 7, 9, 11, 13, 16 (pp.7-8 and 12-13)
.
Week 2:     Derivations & Theorems: Conditional Logic.   Read Chapter I, Secs. 3, 4, 5, 6, 7
   4/8               Do problems 18, 21, 22, 24, 28, 29, 31, 33, 34, 36, 37 (pp. 27, 34-35, & p.43).

Week 3:     Intro. & Translations: Sentential Logic.  Read Chapter II,  Secs. 1,  2 , 3.
    4/15           Do problems 3,  5,  9 (p. 53) 11,  13,  14,  15, 18,  21 (pp 57-9) 22a,  c,  e,
                       f,  j,  l ,  n,  o (p.63).

Week 4:     Derivations: Sentential Logic.  Read Chapter II,  Secs. 4, 5, 6, 7.
    4/22            Prove Theorems T28, 29, 39, 40, 42, 44 (pp.65-68).  Do problem #25 (p.75).
                      Prove Thms 54,  55,  65,  83,  96,  114 (pp.79-86).

Week 5:     Truth Tables and Trees.  Read Chapter II,  Secs.7, 8,  9. Begin reading Chapter III.
    4/29            Truth value analysis,  and (NOT IN BOOK) especially TRUTH TREES.
                       Do problems 43 and 44 on p.87. Symbolize,  derive conclusion from premises
                       AND SHOW VALID VIA TRUTH  TREES.
                       Do 51, 52,  53 (p.95),  64, 65, 66 (p.101),  68, 70, 72, 73, 77 (pp.102-3)
                       ALL VIA  TRUTH  TREES.

Week 6:     Intro & Translations: Monadic Logic.  Read Chapter III, Secs 1 thru 4.
      5/6           Do problems #3, 4, 5, 6, 13 (p.123),  16, 17 (p.125) 21, 23, 25 (p.133) and
                         30, 31, 32, 33, 34, 35, 38, 43, 50, 52, 56 (pp.136-39).

Week 7:     Derivations: Monadic Logic (Proper Substitution & Rules of Inference).
      5/13            Read Chapter III,  Secs.5-11.
                       Do #60, 62 (p.143), 63(p.145), 66(p.149), 69 (p.159); prove
                       Theorems 210, 214, 246; do #83, 85, 92, 105, 109, 111 (pp.172-74).

Week 8:     Derivations & Models : Monadic Logic.  On pp.172-73 do #84, 86, 87, 88, 106.
       5/20            Read Chapter III,  Sec.12.  Do #115, 116 (p. 181).  (NOTE  MODEL FORMAT,
                                    NOT IN TEXT
.)

Week 9:        Models and Invalidity.  Again Chap III, Sec. 12. #122, 125, 127 (pp.182-83).
      5/27            For review,  p. 97:#59 all parts (all the equivalents sentential pairs),

                            p. 160:# 71, 72, 73, 74 (Monadic fallacies),
                            p. 182:# 120 (4 element model). AND
                            p. 213:# 1,3,5; p. 214: #15 a, c, g, l, r, t (
multi-place predicate translations
                            from Chapter IV)