Logic
(Philosophy 230)
The aggregate of all applications of logic will not compare with the treasure of the pure theory itself. For when one has surveyed the whole subject, one will see that the theory of logic, insofar as we attain to it, is the vision and the attainment of that reasonableness for the sake of which the heavens and the earth have been created.
C. S. Peirce
Textbook | Language, Proof, and Logic Jon Barwise and John Etchemendy |
Requirements | There will be frequent pledged sets. These will be due at the beginning of the class period. No late sets will be accepted. |
Exams | There will be three exams during the semester and a final exam. |
Attendance | Each absence beyond three will lower the course grade by one point on a hundred-point scale. Being late three times will count as one absence. |
Grades | Pledged sets: 25% Three exams: 50% Final exam: 25% |
Office Hours | PS 307 MWF 10:10-10:30, WF 1:30-3:30, TTh 2:00-4:00, and by appointment. |
Syllabus
Date | Sections | Date | Sections |
Aug. 27 | Introduction | Oct. 17 | 8.0-8.2 |
Aug. 29 | 1.0-1.3 | Oct. 19 | 8.2 (Omit 8.3-8.4) |
Aug. 31 | 1.4 & 1.6 | Oct. 22 | Exam II |
Sept. 03 | 1.5 & 1.7-1.8 | Oct. 24 | 9.0-9.3 |
Sept. 05 | 2.0-2.2 | Oct. 26 | 9.4 |
Sept. 07 | 2.2-2.3 | Oct. 29 | 9.5-9.6, 9.8 (Omit 9.7) |
Sept. 10 | 2.4-2.6 | Oct. 31 | 10.0-10.2 |
Sept. 12 | 3.0-3.4 | Nov. 02 | 10.3-10.4 (Omit 10.5) |
Sept. 14 | 3.5-3.6 | Nov. 05 | 11.0-11.2 |
Sept. 17 | 3.7 | Nov. 07 | 11.3-11.4 |
Sept. 19 | 3.8 | Nov. 09 | 11.5 & 11.7 (Omit 11.6 & 11.8) |
Sept. 21 | Exam I | Nov. 12 | Exam III |
Sept. 24 | 4.0-4.1 | Nov. 14 | 12.0-12.3 |
Sept. 26 | 4.2-4.3 | Nov. 16 | 12.4 (Omit 12.5) |
Sept. 28 | 4.4-4.5 (Omit 4.6) | Nov. 19 | 13.0-13.1 |
Oct. 01 | 5.0-5.2 | Nov. 26 | 13.2 |
Oct. 03 | 5.3-5.4 | Nov. 28 | 13.3 |
Oct. 05 | 6.0-6.3 | Nov. 30 | 13.3 & 13.5 (Omit 13.4) |
Oct. 08 | 6.4-6.6 | Dec. 03 | 14.0-14.1 |
Oct. 10 | 7.0-7.2 | Dec. 05 | 14.3 (Omit 14.2) |
Oct. 12 | 7.3-7.5 | Dec. 07 | 14.3 (Omit 14.4-14.6) |
Fall BREAK | FINAL EXAMS |