Philosophy 110 - Introduction To Logic

An introduction to symbolic logic, including sentential and predicate logic. Its purpose is to familiarize you with certain formal methods for representing and evaluating arguments and reasoning. These methods can be used not only for philosophy, but for any subject matter. The focus is on translating English statements into symbolic notation, and evaluating arguments for validity using formal proof techniques. (Gen. Ed. R2)