Same as Mathematics 344K. A second-semester course in symbolic logic: formal syntax and semantics, basic metatheory (soundness, completeness, compactness, and Loewenheim-Skolem theorems), and further topics in logic. Three lecture hours a week for one semester. Prerequisite: Philosophy 313, 313K, or 313Q.