On this basis Hume delivered his famous dismissal of metaphysics, which he did not consider any kind of truth at all. Consider the central religious claims that “there is life after death” or “God made the universe:’ Hume’s point is that these statements are neither true by definition, nor can they be verified by checking the facts. Consequently, he argued, these statements are not even untrue—they are meaningless. Hume wrote, “If we take in our hand any volume—of divinity or school metaphysics, for instance—let us ask, does it contain any abstract reasoning concerning quality or number? No. Does it contain any experimental reasoning concerning matters of fact or experience? No. Commit it then to the flames, for it can contain nothing but sophistry and illusion.”

This is sometimes known as Hume’s principle of empirical verifiability. It allows only two kinds of truths: those that are true by definition and those that are true by empirical confirmation. Right away, however, we see a problem. Let us apply Hume’s criteria to Hume’s own doctrine: Is the principle of verifiability true by definition? No. Well, is there a way to confirm it empirically? Again, no. Consequently, taking Hume’s advice, we should commit his principle to the flames because it is not merely false, it is also incoherent.

There is another problem with Hume’s reasoning, less obvious but equally serious. Ittook the genius of Immanuel Kant to point out an error that had completely escaped Hume’s attention. Contrary to Hume’s assertions, mathematical truths are not analytic. Consider the famous mathematical proposition in Euclidean geometry that “the shortest distance between two points is a straight line.” This seems self-evidently true, and yet it cannot be confirmed simply by examining the sentence. There is nothing in the definition of the terms that makes it true. So how do we know it is true? We have to check. It is only when we make two points on a piece of paper and then draw a line through them that we can observe that the shortest distance between them is a straight line. Kant showed that many other mathematical propositions are of this sort.

I mention Kant’s correction of Hume not to suggest that these mathematical axioms are wrong. What I am suggesting is that their veracity can be established only synthetically. We can proceed only by looking at the data. So mathematical laws are, in general, like scien- tific laws. We can verify them only by examining the world around us. When we examine the world around us, however, we make a disconcerting discovery first noted by Hume himself.

Scientific laws are not verifiable. They cannot be empirically validated. Science is based on the law of cause and effect, and that law cannot be validated in experience either. Hume’s argument was a bombshell. So far-reaching were its implications that very few people grasped them, and to this day Hume’s ghost continues to haunt the corridors of modern science. It is quite amusing to see educated people, including our community of self-styled “brights,” continue to make claims about science that were exploded two centuries ago by Hume.

Why are scientific laws unverifiable? Hume’s answer was that no finite number of observations, however large, can be used to derive an unrestricted general conclusion that is logically defensible. If I say all swans are white and posit that as a scientific hypothesis, how would I go about verifying it? By checking out swans. A million swans. Or ten million. Based on this I can say confidently that all swans are white. Hume’s point is that I don’t really know this. Tomorrow I might see a black swan, and there goes my scientific law