MAT 3220 Symbolic Logic

(also PHI 3220; formerly MAT/PHI 322; 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.