PHIL 321 Formal Logic I

A first course in formal logic. Topics include calculi and artificial languages, the logistic method, truth functions, propositional calculi, calculi for first order logic, and a semantics for first order logic.