Search Results

Search Results for "PHIL 410"

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.