PHL 313Q PHL 313Q. Logic and Scientific Reasoning. 3 Hours.
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: Computer Science 313H, 313K, Philosophy 313, 313K, 313Q. Philosophy 313Q and Tutorial Course 310 may not both be counted. Prerequisite: Admission to the Plan II Honors Program.