3:00 pm - 5:00 pm Metaphysics & Logic Seminar: Greg Restall – ‘Will the Real Higher-Order Logic Please Stand Up?’