This course provides an introduction to deductive reasoning through the study of a formal system, i.e., sentential and predicate logic. In particular, students will learn basic logical concepts and learn to symbolize arguments, analyze the truth values of statements, and formally test arguments for validity. Further topics may include counterfactuals, modal logic, and inductive logic. The course is intended to give students a thorough understanding of the fundamental forms of reasoning and rational argument and to improve critical reasoning skills that could be of use in a wide range of disciplines and careers.