Philosophy 201, Introductory Logic

Handouts

Homework

• Homework 0
• Homework 1 | Key 1
• Homework 2 | Key 2
• Homework 3 | Key 3
• Homework 4 | Key 4
• Homework 5 | Key 5
• Homework 6 | Key 6
• Homework 7 | Key 7 (Halvorson) | Key 7 (Budolfson)
• Homework 8 | Key 8
• Homework 9 | Key 9

Exams

• Practice midterm exam
• Midterm exam (version W) | Key
• Practice final exam | Key: Part 1 Part 2 Part 3

Other

• Note on the completeness theorem.
• Note on the soundness theorem.
• Predicate logic practice proofs
• Semantics for predicate logic
• Some helpful terms and definitions for the midterm exam
• Stage 1 inference rules
• Proof strategies
• Propositional logic practice proofs (hints)
• Truth tables