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
Bertrand Russell
Recent News
- This site has been re-designed to conform to UC Davis standards for Web pages.
This is the material covered in each class
- January 9: Review of Sentence Logic
- January 11: Metalanguage, Atomic Sentences to Transcriptions
- January 18: Atomic Sentences to conclusion
- January 23: Formal Semantics
- January 25: Introduction to Quantifiers, to Substitution Instances
- January 30: Introduction to Quantifiers, to conclusion
- February 1: Validity
- February 6: Midterm
- February 8: Derivation Rules
- February 13: Multiple Quantifiers: Syntax and Semantics
- February 15: Transcription and Restricted Quantifiers
- February 22: Transcription from English to Predicate Logic
- February 27: Transcription Strategies
- February 29: Midterm
- March 5: Derivations with Multiple Quantifiers
- March 7: Derived Rules
- March 12: Metalogical Properties in Predicate Logic
- March 14: Applications of Predicate Logic (Theory of Identity and Set Theory)
- March 19: Applications of Predicate Logic (Number Theory), Free Logic