PHIL 314: Topics in Logic I:  Axiomatic Logic

Spring Semester 2014 | Day | Burnaby

INSTRUCTOR: Ray Jennings, WMC 5650 (jennings@sfu.ca)

REQUIRED TEXT

• Continuing Logic, R.E. Jennings.  A pdf version of the text will be circulated.

COURSE DESCRIPTION

Axiomatic propositional and first-order logic and their major metatheorems.  This course provides the student with the necessary formal apparatus for later courses in logic, and the application of formal methods in philosophy.  This course is not recommended for students that have taken PHIL 214.

COURSE REQUIREMENTS

• Exercises -30%                                 
• Mid Term Exam -10%                    
• Final Exam - 60%             
  

Prerequisites: One of PHIL 210, 214, or an otherwise suitable background