900 State Street
Salem, Oregon 97301
The construction of a formal system including a truth-functional and a predicate calculus. Rigorous reasoning about the properties of such a formal system. A discussion of some of the philosophical problems which arise from a consideration of this system.
General Education Requirement Fulfillment: Quantitative and Analytical Reasoning