Symbolic Logic.

Catalog description

This course is an introduction to the basic concepts and methods employed in the analysis of arguments. The course begins with some of the basic concepts of logic, such as truth, probability, validity, soundness, proof, and consistency. Students learn how to translate arguments into symbolic languages (categorical, sentential, and predicate logics) and evaluate them using various formal techniques. Time may also be spent examining the notion of probability and the character of inductive inference, as well as detecting and explaining common fallacies. ( GE3B , GEQR , PLAW )