Philosophy | Elementary Logic
P150 | 15642 | Koss

This course is an introduction to the concepts and methods of modern
formal logic. No prior background in this subject will be
presupposed. Our primary focus will be on propositional logic, which
concerns whole statements and the relations between them expressed
by the words “and,” “or,” “not,” and “if…then.” Students will learn
to symbolize English statements and arguments in the language of
formal propositional logic, to analyze these statements and
arguments using truth tables, and to represent chains of inference
using natural deduction derivations.

The course will also provide a basic introduction to first-order
predicate logic, which concerns the quantificational notions
expressed in English by “all” and “some.” Again, students will learn
to symbolize English statements and arguments and to carry out
natural deduction derivations in this language. They will also learn
to use the method of counterexamples to demonstrate an argument’s

The textbook for the course will be the second edition of Daniel
Bonevac’s Deduction (Wiley-Blackwell, 2002). Written work for the
course will include multiple in-class examinations, a final
examination, regular homework assignments, and frequent in-class
quizzes and exercises.