Search Results

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: Philosophy 313, 313K, 313Q.

Appendix A: Texas Common Course Numbering System

Undergraduate

http://catalog.utexas.edu/undergraduate/appendix-a/

...PHIL 1301 PHL 301 PHIL 2303 PHL 312...3 KINE 1306 KIN 313 (Topic 1) 1...