P250 | 10497 | 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.