Syllabus
This is a tentative syllabus, which may be modified as the class progresses.
| Date | Sections in Text | Brief Description |
|---|---|---|
| 1/4 | 1.1 | Course Introduction; the Language of Sentential Logic |
| 1/7 | 1.2 | Truth Assignments and Tautological Implication |
| 1/9 | 1.7 | Compactness |
| 1/11 | 1.7 | Effectiveness |
| 1/14 | 1.7 | Effectiveness and Completeness |
| 1/16 | 2.0, 2.1 | The Language of First-Order Logic |
| 1/18 | Handout | Mathematical Structures |
| 1/21 | NOTE | No class on MLK Day; meet tomorrow during x-hour |
| 1/22 | Handout | Mathematical Structures |
| 1/23 | Handout | Mathematical Structures |
| 1/25 | 2.2 | Truth and Models |
| 1/28 | NOTE | Midterm I due today |
| 1/28 | 2.2 | Definability |
| 1/30 | 2.2 | Homomorphisms |
| 2/1 | 2.4 | Deductions |
| 2/4 | 2.4 | Deductions |
| 2/6 | 2.5 | Soundness and Completeness |
| 2/8 | 2.5 | Soundness and Completeness |
| 2/11 | 2.5 | Soundness and Completeness |
| 2/13 | 2.5 | Soundness and Completeness |
| 2/15 | 2.5 | Soundness and Completeness |
| 2/18 | NOTE | Midterm II due today |
| 2/18 | 2.5 | Soundness and Completeness |
| 2/20 | Incompleteness | |
| 2/22 | Incompleteness | |
| 2/25 | NOTE | Final paper preliminary questions due today |
| 2/25 | Incompleteness | |
| 2/27 | Incompleteness | |
| 3/1 | Incompleteness | |
| 3/4 | NOTE | Final paper first draft due today |
| 3/4 | Incompleteness | |
| 3/6 | Course Finale | |
| 3/11 | NOTE | Final paper due today |