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.