Philosophy 201, Introductory Logic

Handouts

Homework

• Homework 0
• Homework 1
• Homework 2
• Homework 3
• Homework 4
• Homework 5
• Homework 6
• Homework 7
• Homework 8
• Homework 9

Lecture Notes

• Feb 3
• Diagram of the sixteen types of sentences built from two atomic sentences.
• Semantics for the predicate calculus.

Other

• Practice final exam
• Solutions to the practice final, and more solutions.
• Fun with algorithms. A supplementary handout from the legendary Brett Sherman.
• Terms and definitions for the midterm exam.
• Practice midterm exam
• Stage 1 inference rules
• Truth Tables
• Some useful validities and equivalences
• Some tips on doing proofs from Brett Sherman (a preceptor for this course in 2004).