Philosophy 3349 |
| date | topic | assignment |
| Tuesday 1-15 | Intro to the Course; Naive Set Theory 1 | None |
| Thursday 1-17 | Naive Set Theory 2 | Barwise & Etchemendy, Language, Proof, and Logic, chapter 15 |
| Tuesday 1-22 | Zermelo-Frankel Set Theory | B&E, chapter 15, continued |
| Thursday 1-24 | Languages: Syntax | Leary, chapter 1 through section 1.4 do: p. 9 #4, p. 15 #3, and find what's wrong with the proof on p. 16 |
| Tuesday 1-29 | Languages: More Syntax! | read 1.4-1.6 do: p. 20 #3, 6; p. 24 #1, 3; p. 30 #1 (and look at 5) |
| Thursday 1-31 | Languages: Semantics | finish reading chapter 1; no exercises |
| Tuesday 2-5 | Deduction | Leary, chapter 2 through section 2.4 do some exercises re: chapter 1 so the concepts don't drop out of memory. Do: p. 38 #2, 4, 5 (notice that although 5 looks extremely long, it's really just a yes-or-no question!) p. 42 #2 (we didn't talk about substitutions in class, but the definitions are pretty clear) look at p. 44, #4. (If you ask me, this just shows why we shouldn't worry much about logical implication for formulas that are not sentences!) |
| Thursday 2-7 | Presentation Topics; Quantifier Axioms and Rules |
Leary, sections 2.5-6 (no new homework) |
| Tuesday 2-12 | Soundness | from the premises Ax(Tet(x)) Ax(Tet(x) -> Large(x)) Prove the conclusion Ax(Large(x)) in Leary's system. |
| Thursday 2-14 | Deduction Theorem; Axioms of Number Theory | 2.7 (but skip Theorem 2.7.1 if you want), 2.8 (example 2.8.3
only) homework: p. 76 #5 (L suggests proof by contradiction, but as far as I can see there is an utterly straightforward and very short proof that doesn't require this); p. 83 #7,8 |
| Tuesday 2-19 | Completeness | 3.1-2 |
| Thursday 2-21 | Interlude: Arbitrary Objects | Kit Fine, "In Defense of Arbitrary Objects" (handout) |
| Tuesday 2-26 | Compactness; Skolem-Löwenheim Theorems | rest of chapter 3 |
| Thursday 2-28 | Interlude: Putnam on Models and Reality | Putnam, "Models and Reality" (recommended: Lewis, "Putnam's Paradox") |
| Tuesday 3-5 |
review for midterm exam |
no new reading |
| Thursday 3-7 |
Midterm Examination |
|
| Tuesday 3-12 Thursday 3-14 |
Spring Break - No Class |
|
| Tuesday 3-19 | Incompleteness: Groundwork | Leary, chapter 4 |
| Thursday 3-21 | Incompleteness Theorems | Leary, chapter 5 |
| Tuesday 3-26 | Philosophical significance I | Penrose, handout |
| Thursday 3-28 | Philosophical significance II | Chalmers (etc?) Final Project Prospectus Due (submit by email) |
| Tuesday 4-2 | Modal Logic | Jess |
| Thursday 4-4 | intuitionistic logic | Jeff |
| Tuesday 4-9 |
free logic |
Tristan |
| Thursday 4-11 | fuzzy logic | Kenneth |
| Tuesday 4-16 | many-valued logic | Kenneth |
| Thursday 4-18 | temporal logic | Tristan |
| Tuesday 4-23 | logic games; program or something | Jess, Jeff |
| Thursday 4-25 |
Final Project Due |
|
| Tuesday 4-30 | wrapping things up; review for the final exam | |
| Wednesday, 5-8 8:30 AM |
Final Examination |
|
Last update: April 8, 2002 |