PHIL 2303: Introduction to Logic

The development of formal and symbolic systems for the analysis of arguments. The scope of the course will be modern logic, including truth-functional analysis, propositional calculus, and predicate calculus.