Office: CH319C, 270 745.3136
Office Hours: Please see posted schedule on office door.
Philosophy 415-001, Advanced Logic, Fall 2006
Instructor: Dr. C. Pinnick
Introduction to Logic, Copi and Cohen (Prentice Hall).
An Enquiry Concerning Human Understanding, Hume (Hackett).
Logic, Kant ( Dover).
The Language of First-Order Logic, Barwise & Etchemendy (CSLI).
Reasoning from Evidence, Gustason (Macmillan).
Course Description: Advanced Logic builds on the formal techniques introduced in Elementary Logic and introduces students to topics in the Philosophy of Logic. The course aims to study correct reasoning. The methodology includes techniques for analyzing, evaluating, and preparing formal proofs, and the application of quantitative techniques to appraise the strength of deductive and ampliative arguments. Good reasoning requires the mastery of the skills just mentioned. A good grade in this course requires that students demonstrate mastery of the skills.