PHIL 214 Axiomatic Logic

Spring Semester 2013 | Day | Burnaby

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

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

REQUIRED TEXTS

• Printed notes will be provided

COURSE REQUIREMENTS

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

Prerequisites:
One of PHIL 210, MACM 101, MATH 144, or CMPT 205.