PHIL 210: Natural Deductive Logic
Spring Semester 2014 | Day | Burnaby
INSTRUCTOR: Ray Jennings, WMC 5650 (jennings@sfu.ca)
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 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.
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.