Philosophy | Introductory Symbolic Logic
P250 | 9039 | Buckner

Logic is the science of correct reasoning.  Instead of assessing
each argument on a case-by-case basis, logicians try to generalize
about good and bad forms of reasoning.  However, most arguments
occur in everyday language in informal contexts, full of vagueness
and ambiguity.  For this reason, logicians have developed formal
symbolic systems of reasoning which attempt to mitigate these forms
of unclarity.

The primary goal of this course is to train you to use two of these
formal symbolic systems, propositional logic and predicate logic.
We will practice translating informal English sentences into
symbolic notation and study formal techniques of reasoning to
determine what conclusions logically follow from a set of premises,
and whether given arguments are valid or invalid.  Because our goal
is to train you to use these formal systems of reasoning, we will
spend a great deal of time practicing translations and proofs, and
you may find this course more like a typical math than a typical
philosophy course.  (Note that there is no prerequisite for this
course, but we will cover twice as much material as is covered in