British philosopher, logician, mathematician, historian, and social critic.