This schedule will be filled in
as the semester progresses.
| Date | Topic | Assignment |
| Wed, Jan 14 | Introduction to the Class | |
| Fri, Jan 16 | Review of classical propositional logic | reading: Priest, chapter 1 |
| Mon, Jan 19 |
NO CLASS |
Martin Luther King Day |
| Wed, Jan 21 | Conclude discussion of classical propositional logic; introduction to modal logic |
homework: pp. 18-19: 1a-g; think about how you would
answer 2 |
| Fri, Jan 23 | Basic modal logic | reading: Priest, chapter 2 |
| Mon, Jan 26 | Basic modal logic, continued | no new assignment |
| Wed, Jan 28 | Basic modal logic, continued | reading: Mathematical Prolegomenon |
| Fri, Jan 30 | normal modal logics, introduced | exercises: 2.g-i, r-t |
| Mon, Feb 2 | normal modal logics, continued | reading: Priest, 3.1-3.4 exercises: Priest, p. 55: 1, 2r-t |
| Wed, Feb 4 | temporal logic | reading: Priest, rest of chapter 3 |
| Fri, Feb 6 | non-normal modal logics; strict implication | reading: Priest, chapter 4 |
| Mon, Feb 9 | begin discussing conditional logics | homework: do the missing proofs in 4.5.4, 4.6.2, and 4.6.3 |
| Wed, Feb 11 | conditional logics, continued | reading: chapter 5 (through 5.5) |
| Fri, Feb 13 | class cancelled due to mass illness | |
| Monday, Feb 16 | conditional logics, continued | reading: rest of chapter 5 homework: provide the proofs needed for sections 5.2.1, 5.4.3, and 5.5.4. Also do p. 101, 2a-b and 3a-b. (Re: 2a, note that we are assuming that the logic of the necessity and possibility operators is K-upsilon, that is, that every world is accessible from every world.) |
| Wednesday, Feb 18 | begin intuitionistic logic | |
| Friday, Feb 20 | continue intuitionistic logic | reading: chapter 6 no hw assignment |
| Monday, Feb 23 | conclude intuitionistic logic; transition to many-valued logics | no new reading homework: chapter 6, 3a-c and 4a-c |
| Wednesday, Feb 25 | many-valued logics | read: Priest, chapter 7 |
| Friday, Feb 27 | many-valued logics, continued: philosophical motivations | |
| Monday, March 2 | supervaluations; review for midterm | |
| Wednesday, March 4 | midterm exam | |
| Friday, March 6 |
go over exam; discuss project ideas |
|
| March 7-15 | spring break | |
| Mon, March 16 | First-Degree Entailment 1 | |
| Wed, March 18 | First-Degree Entailment 2 | read: Priest, chapter 8 homework: problem 8.10.1.a-f, pp. 161-162 recommended: rest of problem 1, problem 2, a few from problem 6 |
| Fri, March 20 | relevant logics 1: basic relevant logic | read: Priest, chapter 9 |
| Mon, March 23 | relevant logics 2: basic r.l., continued | homework: problem 9.11.1, p. 185 (details for 9.4.1 and 9.4.2 only) |
| Wed, Mar 25 | relevant logics 3: mainstream relevant logics | read: Priest, chapter 10 |
| Fri, Mar 27 | fuzzy logic | read: Priest, chapter 11 |
| Mon, Mar 30 | lecture: Classical first-order logic | homework: try Priest chapter 11 problems 3 a-c and 4
a-c. (We haven't done axiomatic proofs before -- they're hard compared with tableaux proofs or natural deduction proofs!) |
| Wed, April 1 | Deontic Logic 1 | |
| Fri, April 3 |
Deontic Logic 2 |
|
| Mon, April 6 | ||
| Wed, April 8 | ||
| Fri, April 10 | Good Friday - no class | |
| Mon, April 13 | ||
| Wed, April 15 | project presentations | |
| Fri, April 17 | project presentations | |
| Mon, April 20 | ||
| Wed, April 22 | final project due | |
| Fri, April 24 | ||
| Mon, April 27 | ||
| Wed, April 29 | ||
| Fri, May 1 | review for final | |
| Friday, May 8 |
FINAL EXAM, 2:00 PM |
|
Last update: March 20, 2009 |