Description
(also PHI 322; formerly MAT/PHI 228)
Historical background of mathematical logic; mathematics and argumentation; logic and language, arguments with compound statements, deduction, propositional functions and quantifiers, deductive systems, propositional calculus, paradoxes and philosophical implications of mathematical logic. This course builds skills useful for understanding computer language and programming. Prerequisite: Three years of high school mathematics, including Algebra I, Geometry and Algebra 2; passing of the Algebra I Regents Examination; or equivalent.