Introduces students to some of the modern formal systems used to distinguish between good and bad forms of reasoning in either or both deductive or inductive realms. Topics may include translation ...