Some Proposals for Reviving the Philosophy of Mathematics