Introduction to formal proofs, semantics, quantifiers, inductive methods, decision theory, and scientific reasoning. Three lecture hours and one laboratory hour a week for one semester. Only one of the following may be counted: Philosophy 313, 313K, 313Q. Philosophy 313Q and Tutorial Course 310 may not both be counted. Prerequisite: Admission to the Plan II Honors Program.