Phl 313K

Fall ’Äò02

Prof. Koons

SYLLABUS:

1. Introduction to Logic: Ch. 1 & 2.
2. Sentential Deduction: Ch. 3
   HW #1, due Sept. 10
3. Sentential Deduction: ch. 3
4. Quantifiers: Ch. 4
   First Test: Sept. 19 (sentential logic)
5. Quantificational Logic: Ch. 5
   HW #2: due Sept. 26
6. Quantificational Deduction: Ch. 5
7. Identity & Function symbols: Ch. 6
   HW #3, due Oct. 8
8. Identity & Function symbols: Ch. 6
   Second Test: Oct. 17 (predicate logic)
9. Set Theory: Ch. 7
10. Sets, cont., Relations: ch. 7 & 8
    HW#4, due Oct. 31
11. Relations, Functions: Ch. 8 & 9
12. Functions: Ch. 9
    Third Test: Nov. 12 (Sets and relations)
13. Induction: Ch. 10
14. Induction: Ch. 10 HW#5, Nov. 26
15. Induction & Applications: Ch. 10
    Fourth text: Dec. 5

Final exam: during final exam period

---

Last updated August 29, 2002
Created by: Robert C. Koons
Send comments to: rkoons@mail.utexas.edu

Philosophy Department | Phl 313K | UT Austin Web Central