phil170-classifying-formulas-arguments.pdf