Propositional and predicate logic. Themes include: translations of English sentences into logical symbols; semantics of and proof rules for propositional and predicate logic. Emphasis is on evaluating arguments with the syntax and semantics of contemporary logic. Special attention to the properties of the languages studied.