PHL 313 PHL 313. Introductory Symbolic Logic. 3 Hours.
Introduction to symbolic logic (through first-order predicate logic); interpretations; formal proofs, consistency; some practical applications. Three lecture hours and one discussion hour a week for one semester. Only one of the following may be counted: Computer Science 313H, 313K, Philosophy 313, 313K, 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.
...PHIL 1301 PHL 301 PHIL 2303 PHL 312...3 KINE 1306 KIN 313 (Topic 1) 1...