We will be following our two main texts closely throughout the term. However, our pace will be determined in part by my evaluations of student progress (through homeworks, class discussions, and such). Thus, the schedule below should be thought of as tentative, subject to many many changes throughout the semester. Make sure you visit this page regularly in order to keep track of the reading and homework assignments. Below, in the right column, I list your assigned reading for the week, then supplementary material, then any homework, review sessions, exams, and the like.
Week 1 (Jan 10,12)Course Introduction, Symbolic Logic as Explication, Formal Philosophy |
Sider, pp. 1-11; Carnap, Logical Foundations of Probability, ch. 1 (on CANVAS) |
Week 2 (Jan 17,19)Lemmon's Proof System |
Lemmon, pp. 1-27 |
Week 3 (Jan 24,26)NO CLASS THIS WEEK, Set Theory |
Sider, pp. 12-24; Lemmon, pp. 28-33 |
Week 4 (Jan 31, Feb 2)Propositional Logic: Grammar and Semantics |
Sider, pp. 25-37; Lemmon, pp. 34-41 |
Week 5 (Feb 7,9)Propositional Logic: Proof Theory, Soundness |
Sider, pp. 37-55 |
Week 6 (Feb 14,16)Propositional Logic: Proof Theory, Completeness, Variations on PL |
Sider, pp. 56-72, Lemmon, pp. 42-62 |
Week 7 (Feb 21,23)Deviations from PL: 3-valued Logics (Łukasiewicz and strong Kleene) |
Sider, pp. 72-82 |
Week 8 (Feb 28, Mar 1)Deviations from PL: Supervaluations, Intuitionist Logic, Philosophical Applications |
Sider, pp. 82-89; David Lewis, "Logic for Equivocators" (on CANVAS) |
Week 9 (Mar 6,8)Exam Week |
TAKE-HOME MIDTERM EXAM: Due Friday Mar 9 by 4pm to my mailbox in CTIHB 402F |
Week 10 (Mar 13,15) ** NO CLASS **Spring Break |
-- |
Week 11 (Mar 20,22)Predicate Logic: Grammar, Semantics, and Proof Theory |
Sider, pp. 90-109 |
Week 12 (Mar 27,29)Predicate Logic; Modal Logic: Grammar and Semantics |
Sider, pp. 133-158 |
Week 13 (Apr 3,5)Modal Logic: Semantics, Proof Theory |
Sider, pp. 158-173 |
Week 14 (Apr 10,12)Modal Logic: Philosophical Applications, Deontic Logic, Epistemic Logic, Tense Logic |
Sider, pp. 173-175, 183-192; Plantinga, "The Ontological Argument" (on CANVAS) |
Week 15 (Apr 17,19)Modal Logic: Counterfactuals |
Sider, pp. 199-226 |
Week 16 (Apr 24) ** NO CLASS Apr 26 **Exam Review |
REVIEW SESSION: Tuesday Apr 24, regular class time |
Week 17 (May 1)FINALS WEEK |
TAKE-HOME FINAL EXAM: Due Monday, April 30 by 4pm to my mailbox in CTIHB 402F |