PHL 344K PHL 344K. Intermediate Symbolic Logic. 3 Hours.
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.
There are several courses offered each year in philosophy that should be of interest to undergraduates who have strong interests outside philosophy. In addition to the introductory courses ( Philosophy 301 , 304 , 305 , and 310 ) and the basic sequence in the history of philosophy ( Philosophy 329K and 329L ), the courses listed below are of particular relevance to students who are interested in the indicated areas.