PHIL 1102 Logic

This course is the study of the deductive analysis of arguments using the tools of contemporary symbolic logic. The course includes the examination of basic logical concepts (logical form, validity, logical truth, consistency), symbolization of arguments expressed in natural language, truth tables, formal proofs or truth trees, and elementary quantification theory.