Logic and Formal Reasoning

Catalog description

This course offers an introduction to three major types of formal reasoning: deductive, inductive (probabilistic and statistical), and practical (decision-making). The course will begin with the study of classical sentential and predicate logics. It will move on to elementary probability theory, contemporary statistics, decision theory and game theory.