Introduction to formal proofs, semantics, quantifiers, inductive methods, decision theory, and scientific reasoning.