This course equips students to discern between good and bad arguments. Several major systems of logic will be studied, including categorical, truth-functional, and informal.