This course is designed for students who are uncomfortable with symbolic systems. It will provide an elementary introduction to the structure and function of propositional and predicate logic. This will include 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 will also survey topics in inductive logic involving probabilistic and statistical reasoning and elements of decision theory. Enrollment limited to 24.