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 or exams.

## Week 1 (Jan 10)Course Introduction, Symbolic Logic as Explication, Set Theory |
Sider, ch. 1; Carnap, |

## Week 2 (Jan 17)Propositional Logic: Grammar and Semantics |
Sider, pp. 25-37; Shapiro, ch. 1 |

## Week 3 (Jan 24)Propositional Logic: Proof Theory, Soundness |
Sider, pp. 37-55; Shapiro, pp. 17-29 |

## Week 4 (Jan 31)Propositional Logic: Proof Theory, Completeness, Variations on PL |
Sider, pp. 56-72; Shapiro, pp. 29-49 |

## Week 5 (Feb 7)Deviations from PL: 3-valued Logics (Ćukasiewicz and strong Kleene), Priest's Logic of Paradox |
Sider, pp. 72-82 |

## Week 6 (Feb 14)Deviations from PL: Supervaluations, Intuitionist Logic, Philosophical Applications |
Sider, pp. 82-89; Shapiro, pp. 49-62 |

## Week 7 (Feb 21)Predicate Logic: Grammar, Semantics, and Proof Theory |
Sider, pp. 90-109; Shapiro, ch. 3 |

## Week 8 (Feb 28)Beyond Standard Predicate Logic: Extensions and Deviations, Second Order Logic, Free Logic |
Sider, pp. 110-132; Shapiro, pp. 88-111 |

## Week 9 (Mar 7)Exam Week: Class meeting will include an exam review session and Shapiro reading group |
Reading TBD |

## Week 10 (Mar 14)Modal Logic: Grammar and Semantics |
Sider, pp. 133-158; Shapiro, pp. 111-125 |

## Week 11 (Mar 21) ** NO CLASS **Spring Break |
-- |

## Week 12 (Mar 28)Modal Logic: Proof Theory |
Sider, pp. 158-182; Shapiro, pp. 126-141 |

## Week 13 (Apr 4)Modal Logic: Philosophical Applications; Intuitionistic Logic |
Sider, ch. 7; Shapiro, pp. 141-162 |

## Week 14 (Apr 11)Modal Logic: Counterfactuals |
Sider, ch. 8; Shapiro, ch. 6 |

## Week 15 (Apr 18)Quantified Modal Logic |
Sider, ch. 9; Shapiro, ch. 7 and "Recapitulation and Conclusion" |

## Week 16 (Apr 25) ** NO CLASS **Reading Day |
TAKE-HOME FINAL EXAM: Due Monday 4/30 by 10am |