New Directions in the Philosophy of Mathematics