Russell Russell
Gödel
First Homework Assignment (Due January 13)
Second Homework Assignment (Due January 20)
Third Homework Assignment (Due January 27)
Fourth Homework Assignment (Due February 12)
Fifth Homework Assignment (Due February 17)
Sixth Homework Assignment (Due February 24)
Seventh Homework Assignment (Due March 10)
Preparation for Second Midterm
Preparation for Final Examination
Comparison of Logic Texts (2009)
Brief History of Predicate Logic (2009)
Review of Sentence Logic (2009)
Object Language and Metalanguage (2005)
Atomic Sentences of Predicate Logic (2009)
Formal Semantics for Atomic Sentences (2009)
Introduction to Quantifiers (2009, revised)
Validity in Predicate Logic (2009, revised)
Natural Deduction Rules for Predicate Logic (2009, revised)
Multiple Quantifiers: Syntax and Semantics (2009, revised)
Transcription and Restricted Quantifiers (2009)
Transcription from English to Predicate Logic (2009)
Transcription Strategies (2009)
Definite Descriptions (2009)
Derivations with Iterated Quantifiers (2009)
Derived Derivation Rules for Quantifers (2009)
Logical Truth, Contradictions, Inconsistency, and Logical Equivalence (2009)
Meta-Logic of Predicate Logic (2009)
Solutions for Excercises 1-1, 1-2 (full), 1-3, 1-4, 2-1, 2-2 (partial)
2005 Exercises for Functions and Identity
Solutions to 2005 Exercises for Functions and Identity
Solutions to Selected Problems Determining Truth-Values Using Formal Semantics
Solutions to Selected Problems Determining Meta-Logical Properties Using Formal Semantics