PHIL 210 Natural Deductive Logic

Fall Semester 2013 | Day | Burnaby

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

COURSE DESCRIPTION

The course is a standard introduction to propositional and first-order natural deductive logic and metatheory. Some attention will be paid to the representation of natural language in the language of logic, and to applications for the analysis of natural language arguments.

REQUIRED TEXTS

• Proof and Consequence: an introduction to classical logic, R.E. Jennings and N. Friedrick, Broadview Press
• Simple Simon (study guide), Jennings and Friedrick
• Course software. Much of the assigned work of the course will be completed using instructional software called SIMON, which will be available on assignment lab computers and for downloading.

COURSE REQUIREMENTS

• Term work - 50%
• Mid Term Exam - 16.66%
• Final Exam - 33.33%
  

Prerequisites: None. PHIL 210 may be applied toward the Certificate in Liberal Arts and the Q-requirement.