New Directions in Philosophy of Mathematics, 4 October