Length of Course: One semester (14 weeks)

 

Classroom Hours Per Week: 4 hours lecture

 

Number of Credits: 3 credits

 

Corequisite: English 099

 

An introduction to sentential and predicate logic with special emphasis on the translation of natural language into formal.

 

This course covers syntax, symbolization, semantics, and formal deduction systems for first-order sentential and predicate logic.

 

In-class exams 50%
Homework assignments 5%
Final Exam 45%

 

Bergmann, Moor, and Nelson, The Logic Book, 4 th Edition

 

SFU: PHIL 210(3) Q
UBC: PHIL 220(3)
UVic: PHIL 203(1.5 units)

 

Brent Smart, B.A. ( Calgary), M.A., Ph.D. ( British Columbia)