Print

PHIL 210 Natural Deductive Logic

Fall Semester 2012 | Day | Burnaby

 

INSTRUCTOR: Ray Jennings, WMC 5650

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. 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.


COURSE REQUIREMENTS

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


NOTE:
 Prerequisites - PHIL 210 has no prerequisites. Quantitative.