PHIL 410. Introduction to Formal Logic. 3 or 4 hours.
Review of predicate logic and of introductory set theory. The concept of a formal system. Notions of completeness and soundness. Introduction to Godel's first incompleteness theorem. Course Information: 3 undergraduate hours. 4 graduate hours. Prerequisite(s): PHIL 210 or consent of the instructor.
...the 200 level or above. b Recommended courses. PHIL 210 meets prerequisite for PHIL 410 .