Frege Russell

Tarski Gödel

Course Text Web Page

Preparation for First Midterm

Preparation for Second Midterm

Preparation for Final Examination

Brief History of Predicate Logic

Review of Sentence Logic (corrected)

Object Language and Metalanguage

Atomic Sentences of Predicate Logic

Solutions for Excercises 1-1, 1-2 (full), 1-3, 1-4, 2-1, 2-2 (partial)

Exercises for Functions and Identity

Solutions to Exercises for Functions and Identity

Formal Semantics for Atomic Sentences

Introduction to Quantifiers

Solutions to Selected Problems Using Formal Semantics

Validity in Predicate Logic

Natural Deduction Rules for Predicate Logic

Multiple Quantifiers: Synstax and Semantics

Transcription and Restricted Quantifiers

Transcription from English to Predicate Logic

Transcription Strategies

Definite Descriptions

Derivations with Iterated Quantifiers

Derived Derivation Rules for Quantifers

Logical Truth, Contradictions, Inconsistency, and Logical Equivalence

Meta-Logic of Predicate Logic

Solutions to Selected Exercises Using Formal Semantics

Previous Examinations

• First Midterm
• 2001 (Solutions)
• 2002 (Solutions)
• 2003 (Solutions)
• Second Midterm
• 2001 (Solutions)
• 2002 (Solutions)
• 2003 (Solutions)
• Final Examination
• 2001 (Solutions)
• 2002 (Solutions)
• 2003 (Solutions)

Links

• Professor Stanley Burris, University of Waterloo, "Concept Script: Frege"