Prerequisite and degree relevance: Philosophy 313, 313K, or 313Q.

Course description: Same as Philosophy 344K. A second-semester course in symbolic logic: formal syntax and semantics, basic metatheory (soundness, completeness, compactness, and Löwenheim-Skolem theorems), and further topics in logic.