PHIL 29400 1 (Winter 2018) Intermediate Logic