Symbolic Logic

Catalog description

This course develops a theory of valid reasoning. The logic (and semantics) of propositions, quantifiers, properties, relations and identity are covered. It also examines the concepts of consistency, logical truth, logical form, logical equivalence, validity, and related notions. The student should emerge more attuned to how deductive arguments work in actual use and able to evaluate them.