PHIL 210 Natural Deductive Logic

Fall Semester 2011| Day

INSTRUCTOR  Ray Jennings, WMC 5650

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%

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