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 is subject to change 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, etc.

## Week 1 (Jan 15)Course Introduction, Symbolic Logic as Explication, Formal Philosophy |
Sider, pp. 1-11; Carnap, |

## Week 2 (Jan 22)Set Theory |
Sider, pp. 12-24; Tennant, ch. 1 |

## Week 3 (Jan 29)Propositional Logic: Grammar and Semantics |
Sider, pp. 25-37; Tennant, pp. 37-56 |

## Week 4 (Feb 5)Propositional Logic: Proof Theory, Soundness |
Sider, pp. 37-55; Tennant, pp. 56-66 |

## Week 5 (Feb 12)Propositional Logic: Proof Theory, Completeness, Variations on PL |
Sider, pp. 56-72; Tennant, pp. 67-82 |

## Week 6 (Feb 19)Deviations from PL: 3-valued Logics (Łukasiewicz and strong Kleene), Priest's Logic of Paradox |
Sider, pp. 72-82; Tennant, ch. 3 |

## Week 7 (Feb 26)Deviations from PL: Supervaluations, Intuitionist Logic, Philosophical Applications |
Sider, pp. 82-89; Tennant, pp. 95-124 |

## Week 8 (Mar 5)Predicate Logic: Grammar, Semantics, and Proof Theory; Exam Review Session |
Sider, pp. 90-109 |

## Week 9 (Mar 12)Exam Week (class meeting will only cover Tennant reading) |
Tennant, pp. 124-139; SKIM Tennant, chs. 5-7 |

## Week 10 (Mar 19) ** NO CLASS **Spring Break |
-- |

## Week 11 (Mar 26)The Logic of Belief Revision I |
Shear and Fitelson, "Two Approaches to Belief Revision" (on CANVAS); SEP: "Logic of Belief Revision", sect's 1-4 (on CANVAS); Tennant, pp. 253-261 |

## Week 12 (Apr 2)Modal Logic: Grammar and Semantics |
Sider, pp. 133-158; Tennant, pp. 261-273 |

## Week 13 (Apr 9)Modal Logic: Semantics, Proof Theory; The Logic of Belief Revision II |
Sider, pp. 158-166; Tennant, ch. 11 |

## Week 14 (Apr 16)Modal Logic: Proof Theory |
Sider, pp. 166-182; Tennant, ch. 12 |

## Week 15 (Apr 23) Modal Logic: Philosophical Applications, Deontic Logic, Epistemic Logic, Tense Logic |
Sider, ch. 7; Haber, "How to Misidentify a Type Specimen" (on CANVAS); Witteveen, "Naming and Contingency" (on CANVAS) |

## Week 16 (Apr 30)FINALS EXAM PERIOD |
TAKE-HOME FINAL EXAM: Due Friday 5/1 by 4pm to my mailbox in CTIHB 402F |