A broad treatment of different methods of assessing the validity of deductive and inductive arguments. The course covers syllogistic logic, elementary truth-functional logic, quantification and brief discussions of informal logic and inductive logic.