P250 | 10036 | Senchuk

This course is an introduction to the basic ideas and tools of modern symbolic logic. The course aims to foster a philosophical understanding as well as a mastery of logical techniques. Covering material in both sentence (or, propositional) and predicate (or, quantificational) logic, this section of the course will emphasize (truth¿table, truth¿tree, and natural deduction) methods for assessing the validity of arguments. But since the effective use of these methods depends on translating (or, transcribing) arguments into abbreviated, symbolic versions, much attention will also be paid to the task of symbolic transcription. There will be weekly homework exercises, five quizzes, and a final exam. Mastering the course material does not require much memorization per se but does demand a lot of practice doing problem¿oriented exercises, in order to develop some important basic skills. The skills are intertwined with and facilitate the understanding of logical theory and principles. This course has no prerequisites. No background in logic is presupposed. The course does satisfy the logic area requirement for undergraduate Philosophy majors. Text: Paul Teller, A Modern Formal Logic Primer: Volume I: Sentence Logic, and (in part) Volume II: Predicate Logic. [This text, currently out of print, is being made available online. You may download it free of charge at: http://tellerprimer.ucdavis.edu/ If you prefer a spiral-bound hard-copy, a ClassPak is also available for purchase at TIS and the IUB Bookstore. Course Requirements: 1. Attendance is mandatory, and excessive absences—from lectures or Friday discussion sections--will jeopardize your grade. Make-up quizzes will usually be made available only within one week of an excused absence. 2. Weekly Homework Exercises (20%) 3. Five In-class Quizzes (50%) 4. Comprehensive Final Examination (30%)