Philosophy | Elementary Logic
P150 | 28095 | Carlson

The topic of this course is logic, the study of correct reasoning.
Most reasoning employs only natural language (e.g. English) but,
unfortunately, evaluation of natural language arguments is not
always a precise affair, owing to the imprecision of the language in
which they are stated. To avoid this problem, we will concern
ourselves with symbolic logic; logic that employs artificial
languages to articulate and evaluate inferences in a precise and
unambiguous way. To that end, we will discuss methods for
symbolizing natural language idioms, such as the English "not",
“if, then”, “or ”, and “all” in an artificial symbolic language. We
will then cover a variety of techniques for evaluating expressions
and arguments formulated in our symbolic language, including truth
tables, truth trees, and a natural deduction calculus.