To Joel's Homepage

Philosophy 211 - Elementary Logic 

Spring 2006

 

--Please check back here often as I will shortly begin regularly posting assignments and comments.

 

--An online site dedicated to our text Logic Primer can be found at: http://logic.tamu.edu/

Handouts Assignments
   
Syllabus         Assignment #1
Proof Strategy     - Help on homework 1
Additional Problem Set Assignment #2
Sample In-Class Exam 1     - Help on homework 2 (-> rules)
Notes on the Soundness Theorem Assignment #3     (due 2-8)
Take Home Exam 1 (due3-8)     - Help on homework 3 (&,v rules)
  Assignment #4     (due 2-15)
Translation in Predicate Logic (part 1)     - Help on homework 4 (RAA rule)
Translation in Predicate Logic (identity)     - More help (DeM and NegCon)
  Assignment #5  (due 2-22)
Diagrams     - Help on homework 5 (Full Tables)
      - More help (short tables)
Sample In-Class Exam 2 Assignment #6 (due 3-22)
      - Help on homework 6 (Soundness)
Harder Proofs from 4-3 Assignment #7 (due 3-29)
  - Help on homework 7 (Universal Proofs)
Careful explanation of the EE rule Assignment #8 (due 4-5)
  - Help on homework 8 (Existential Proofs)
QE shortcut proof rules Assignment #9 (due 4-26)
  - Basic Semantics
Identity Proof Rules - Help on homework 9 (Building Models)
   
Take Home Exam #2 (due 5-5)  
Sample Take Home Problem Sample Final Exam