Logic and Argument: the joys of symbolic and philosophical logic.