PHIL 210 Natural Deductive Logic
Fall Semester 2012 | Day | Burnaby
INSTRUCTOR: Ray Jennings, WMC 5650
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.
- Proof and Consequence: an introduction to classical logic, R.E. Jennings and N. Friedrich, Broadview Press
- Simple Simon (study guide), Jennings and Friedrich
- 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.
- Term work - 50%
- Mid Term Exam - 16.66%
- Final Exam - 33.33%
NOTE: Prerequisites - PHIL 210 has no prerequisites. Quantitative.