Search Results

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.

Minor in Logic, Argumentation, and Writing

Undergraduate Catalog

...the 200 level or above. b Recommended courses. PHIL 210 meets prerequisite for PHIL 410 .