Towards Mathematical Philosophy: Papers from the