Philosophy | Introductory Symbolic Logic
P250 | 1437 | O'Connor


This course will introduce some basic concepts and symbolic techniques that are
useful in evaluating the validity of general "forms" of reasoning used in many
everyday arguments.  We'll introduce a very simple formal language (at first
restricted to `propositional' logic and then extended to `predicate' logic) for which
we'll develop rules to govern step-by-step inferences on the way to establishing
the target conclusions.  We will practice  `translating' sentences from English into
this formal language and, in general, we'll try to keep the intended application to
everyday reasoning in view throughout.

This course has no prerequisites.