Provisional Schedule

Phil 210: Deductive Logic - Summer 2013

Week 1
Wednesday, May 1: Introduction
Exercises:
read pp. 5 - 11
Thursday, May 2: FOL and Atomic Sentences
Readings:
LPL, Chap. 1: pp. 19 - 25, 28 - 29, 31 - 34, 38 - 39
Exercises:
1.1 - 1.7, 1.8 - 1.11, 1.12 - 1.18, 1.20 - 1.21

Week 2
Monday, May 6: The Logic of Atomic Sentences
Readings:
LPL, Chap. 2: pp. 41 - 44, 46 - 52, 54 - 62, 63 - 64
Exercises:
2.1 - 2.4, 2.5 - 2.14, 2.15 - 2.20, 2.21 - 2.27
Tuesday, May 7: The Boolean Connectives
Readings:
LPL, Chap. 3: pp. 67 - 69, 71 - 72, 74 - 76, 77 - 78, 79 - 80, 82 - 83, 84 - 86
Exercises:
3.1 - 3.3, 3.5 - 3.7, 3.8 - 3.10, 3. 12 - 3.17, 3.18 - 3.19, 3.20 - 3.24
Wednesday, May 8: The Logic of Boolean Connectives: Part 1
Readings:
LPL, Chap. 4: pp. 93 - 100, 101 - 103, 106 - 109
Exercises:
4.1 - 4.11, 4.12 - 4.19
Thursday, May 9: The Logic of Boolean Connectives: Part 2
Readings:
LPL, Chap. 4: pp. 110 - 113, 114 - 116, 118 - 121, 122 - 125
Exercises:
4.20 - 4.25, 4.26 - 4.30, 4.31 - 4.37, 4.39 - 4.43
1st assignment posted on MyCourses

Week 3
*Monday, May 13: Methods of Proof for Boolean Logic
Readings:
LPL, Chap. 5: pp. 128 - 131, 132 - 135, 137 - 139, 141 - 142
Exercises:
5.1 - 5.6, 5.7 - 5.11, 5.14, 5.15 - 5.20, 5.21 - 5.26, 5.27
Tuesday, May 14: Formal Proofs for Boolean Logic
Readings:
LPL, Chap. 6: pp. 143 - 155, 156 - 163, 165 - 167, 168 - 173, 175 - 176
Exercises:
6.1 - 6.6, 6.7 - 6.16, 6.17 - 6.20, 6.21 - 6.32, 6.33 - 6.42
Wednesday, May 15: Conditionals
Readings:
LPL, Chap. 7: pp. 178 - 185, 192 - 196
Exercises:
7.1 - 7.21, 7.25 - 7.27, 7.28 (bonus), 7.29 - 7.31
Thursday, May 16: The Logic of Conditionals
Readings:
LPL, Chap. 8: pp. 199 - 204, 207 - 213, 215 - 222

Exercises:

8.1 - 8.9, 8.13, 8.16, 8.17 - 8.38, 8.41 - 8.42, 8.44 - 8.53

2nd assignment posted on MyCourses

Week 4
*Monday, May 20: HOLIDAY -- NO CLASS
Tuesday, May 21: Introduction to Quantification
Readings:
LPL, Chap. 9: pp. 229 - 236, 237 - 241, 241 - 243, 245 - 249, 253 - 255
Exercises:
9.1 - 9.3, 9.4 - 9.7, 9.8 - 9.13, 9.15 - 9.20, 9.22 - 9.25
Wednesday, May 22: The Logic of Quantifiers
Readings:
LPL, Chap. 10: pp. 259 - 265, 267 - 275, 277 - 281, 282 - 285
Exercises:
10.1 - 10.7, 10.8 -10.9, 10.10 - 10.19, 10.20 - 10.22, 10.23 - 10.29
Thursday, May 23: Multiple Quantifiers
Readings:
LPL, Chap. 11: pp. 298 - 300, 302 - 305, 307, 309 - 311, 317 - 318, 320 - 323
Exercises:
11.1 - 11.7, 11.8 - 11.15, 11.16 - 11.17, 11.18 - 11.20, 11.29 - 11.30, 11.33 - 11.38
3rd assignment posted on MyCourses

Week 5
*Monday, May 27: Numerical Quantification
Readings:
LPL, Chap. 14: pp. 373 - 380, 382 - 384, 388 - 390,
Exercises:
14.1 - 14.4, 14.10 - 14.13, 14.26 - 14.28
Tuesday, May 28: Methods of Proof for Quantifiers
Readings:
LPL, Chap. 12: pp. 328 - 336, 338 - 343
Exercises:
12.1 - 12.3, 12.4 - 12.10, 12.11- 12.15 - 12.18, 12.19 - 12.22
Wednesday, May 29: Formal Proofs and Quantifiers
Readings:
LPL, Chap. 13: pp.351 - 355, 357 - 359, 361 - 367
Exercises:
13.1 - 13.9, 13.10 - 13.18, 13.19 - 13.39, 13.40 - 13.52
Thursday, May 30: STUDY BREAK WALK-IN OFFICE HOURS
Friday, May 31 or Monday, June 3: Final Examination (time and location tbd)
*Days in which assignments are due at the beginning of the class