PHILOSOPHY 202: Intermediate Logic -- FALL, 2009

T. E. Downing
Bond Hall 301B; 650-3862
e-mail: Tom.Downing@wwu.edu
WebPage: http://www.ac.wwu.edu/~tdowning/
Office Hours: 10 MTWF, 11 R, and by arrangement
Text: Symbolic Logic, Fifth Edition, by I. Copi

I. Review of Propositional Logic

A. Chapters 1 - 3.

B. Mini-metatheorems (theorems about logic and logical notions)

Test I.

II. Introduction to (or review of) Elementary Quantification Theory

Chapter 4, Sections 4.1 - 4.3.

Test II.

III. Multiple Quantification, Relations, Identity, Definite Descriptions, Higher Order Logic.

Chapter 4, Sections 4.3 - 4.7 and Chapter 5.

Final Exam: Wednesday, December 9, 8:00 - 10:00

The tests will constitute 90% of the grade.

There will be a number of graded homework assignments constituting the remaining 10% of the grade.