This course will present quantificational logic, a significant advance in logic begun by Frege and utilized in 20^th century analytic philosophy. The methods encountered in Logic I will be unified into a single system and extended to cover matters of a complexity far beyond classical logic. Sentences of any complexity will be translatable into the new Frege-Russell predicate notation, the derivation system of Logic I will be extended to cover these new types of sentences, and truth-trees, analogous to the truth tables of Logic I, will be devised for testing various logical properties. In addition, significant meta-theoretical features of the system (such as the limit of mechanical methods) will be examined as well as the ways in which quantifier logic has affected philosophical discussions in the 20^th century. Prerequisite: PHIL 221 GE: Logic I.

Textbooks:

• Merrie Bergmann, James Moor, Jack Nelson, The Logic Book, third edition, (1998) New York: McGraw-Hill.
• Merrie Bergmann, James Moor, Jack Nelson, Solutions to Selected Exercises in the Logic Book, third edition, (1998) New York: McGraw-Hill.

Course Requirements:

Exercises from the textbook will be collected on a regular basis; homework scores will count 25% toward the overall course grade. There will be three exams, two midsemester exams and a final, each will count 25% toward the course grade. Each exam will have an in-class section and a take-home section.

ACADEMIC INTEGRITY:

East Stroudsburg University demands academic integrity from its students. Any form of academic dishonesty, including (but not limited to) plagiarism or cheating at tests or exams, is a sufficient ground for failure in this course and for further academic discipline.