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
Leopold Löwenheim
Recent News
- This site has been re-designed to conform to UC Davis standards for Web pages.
This is a list of the instructor’s virtual slides for the course material.
- Comparison of Logic Texts (2010)
- Brief History of Predicate Logic (2009)
- Review of Sentence Logic (2010)
- Object Language and Metalanguage (2010)
- Atomic Sentences of Predicate Logic (2010, revised)
- Formal Semantics for Atomic Sentences (2010, revised)
- Introduction to Quantifiers (2010, revised)
- Validity in Predicate Logic (2010)
- Natural Deduction Rules for Predicate Logic (2009, revised)
- Multiple Quantifiers: Syntax and Semantics (2012)
- Transcription and Restricted Quantifiers (2012)
- Transcription from English to Predicate Logic (2012)
- Transcription Strategies (2012)
- Definite Descriptions (2012)
- Derivations with Iterated Quantifiers (2012)
- Derived Derivation Rules for Quantifers (2012)
- Meta-Logical Properties in Predicate Logic (2012)
- Applications of Predicate Logic (2012)
- Meta-Logic of Predicate Logic (2010)