Search Results

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.

Department of Philosophy

Undergraduate

http://catalog.utexas.edu/undergraduate/liberal-arts/courses/philosophy/

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.