Quick links
1240 Social Sciences and Humanities
University of California, Davis
One Shields Avenue
Davis, CA 95616
Phone: (530) 752-0607
Fax: (530) 752-8964
Alfred Tarski
Recent News
- This site has been re-designed to conform to UC Davis standards for Web pages.
These are the reading assignments for this class. Readings are from the Teller text and instructor’s notes.
| Month | Day | Topic | Teller | Mattey |
| January | 9 | Logic Texts, Review of Sentence Logic | 1-1 | |
| 11 | Metalanguage, Atomic Sentences | 10-1, 10-2, 2-1, 2-2 | ||
| 16 | NO CLASS | |||
| 18 | Identity and Functions | 9-1, 9-2, 9-3 | ||
| 23 | Formal Semantics | Handout | ||
| 25 | Quantifiers I | 1-2 | ||
| 30 | Quantifiers II | 1-3 | ||
| February | 1 | Validity | 2-3 | |
| 6 | MIDTERM | |||
| 8 | Derivation Rules | 5-1 - 5-6 | ||
| 13 | Multiple Quantifiers, Equivalences | 3-1, 3-2, 3-3, 3-4 | ||
| 15 | Transcription I, Transcription II | 4-1, 4-2 | ||
| 20 | NO CLASS | |||
| 22 | Transcription III | 4-3 | ||
| 27 | Definite Descriptions | 9-4 | ||
| 29 | MIDTERM | |||
| March | 5 | Derivations with Multiple Quantifiers | 6-1 | |
| 7 | Derived Rules | 6-2 | ||
| 12 | Metalogical Properties in Predicate Logic | 6-3 | ||
| 14 | Applications of Predicate Logic | Handout | ||
| 19 | Meta-Logic of Predicate Logic | Handout | ||
| 21 | FINAL EXAMINATION, 1-3 P.M. |