Logic 101 - PLAUSIBLE & IMPLAUSIBLE REASON

This course is designed for students who are uncomfortable with symbolic systems. It provides an elementary introduction to the structure and function of propositional and predicate logic. This includes translating ordinary language statements and arguments into symbolic form; using truth tables to calculate truth values and determine the validity of arguments in finite universes; quantification in infinite universes; direct, indirect and conditional proof techniques in propositional and predicate logic. The course also surveys topics in inductive logic involving probabilistic and statistical reasoning and elements of decision theory. Enrollment limited to 24.