Thanks, that looks interesting and I'll try to read it. But it appears to mostly be about philosophy, and it doesn't say much about what (mathematical) logicians are doing today.