Philosophy | Introductory Symbolic Logic
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.


Paul Teller, A Modern Formal Logic Primer: Volume I: Sentence Logic,
and (in part) Volume II: Predicate Logic.