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
Thoralf Skolem
Recent News
- None
This is the material covered in the course.
- January 9: History of Metalogic
- January 11: Sets and Functions
- January 18: Inductive Definitions, Metalogical Proofs, Problem Set 1
- January 23: Preliminaries through Theorem 4
- January 25: Theorem 5 through Exercise 7
- January 30: Semantics for Propositional Logic
- February 6: Proof Theory for Propositional Logic through Proposition 25
- February 13: Consistency, Soundness, Completeness of Propositional Logic
- February 20: Syntax of Predicate Logic
- February 22: Semantics of Predicate Logic through Local Determination
- February 27: Substitution Theorem, Proof Theory of Predicate Logic through Ax0
- March 1: Proof Theory of Predicate Logic, Ax1 through Lemma 65
- March 6: Proof Theory of Predicate Logic, Lemma 65 to end, Soundness of Predicate Logic
- March 8: Completeness of Predicate Logic to beginning of Theorem 80