All those formal systems, in mathematics and physics and the philosophy of science, which claim to give foundations for certain truth are surely mistaken. I am tempted to say that we do not look for truth, but for knowledge. But I dislike this form of words, for two reasons. First of all, we do look for truth, however we define it, it is what we find that is knowledge. And second, what we fail to find is not truth, but certainty; the nature of truth is exactly the knowledge that we do find.