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

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%)