A study of the foundations of mathematics and logical reasoning. Topics include propositional calculus, predicate calculus, properties of formal systems, completeness and compactness theorems, Godel’s Incompleteness Theorem, and axiomatic set theory. Some attention will be given to related philosophical issues.

OWU Units: 1.00. Crosslisting(s): PHIL 371 . Prerequisite(s): MATH 250 . Corequisite(s): None. Antirequisite(s): None. Fee: None. Core Competency: None. Offered: TBD.