PHIL 7510 Contemporary Issues in Logic