Philosophy | Elementary Logic
P150 | 3491 | McCarty
The course provides students with a first introduction to basic techniques in modern
logic. The bulk of our attention will be directed toward prepositional logic – the logic of
statements and their interrelations. The principal techniques students encounter here
include analysis of statements via symbolization, evaluation of arguments with truth
tables and the representation of inferences using natural deduction derivations. Our
treatment of prepositional logic will be followed by a briefer excursion into predicate
logic – the logic of quantifiers. There, simple symbolizations and natural deduction
derivations also play a leading role.
Required texts: Howard Pospesel's two paperback volumes, Propositional Logic and
Predicate Logic, supplemented with a reading packet.
Along with occasional quizzes and homework, students will be expected to complete
three in-class, written examinations and the course final.