Formal logic and its application to the evaluation of everyday arguments, the abstract properties of logical systems, the implications of inconsistency. Examples drawn from law, philosophy, economics, literary criticism, political theory, commercials, mathematics, psychology, computer science, off-topic debating, and the popular press. Deduction and induction, logical symbolism and operations, paradoxes, and puzzles. May not be taken for credit with PHI 202.