Philosophy of science, logic, and mathematics in the twentieth century