Verification Theory of Meaning: Theory held by logical positivists, summarized in the slogan “the meaning of a proposition is its method of verification.” Logical positivism, popularized in English by A.J. Ayer, held that all propositions that have cognitive meaning (are either true or false) are either analytic (true or false solely because of the meaning of the terms) or else verifiable by sense experience. The heart of the view is the claim that all nonanalytic propositions are empirically verifiable. The positivists believed this would show that religious and metaphysical propositions were meaningless. Unfortunately for the positivists, it was soon noticed that the verification theory of meaning does not pass its own test for meaningfulness: it does not seem to be true by definition, and it is not empirically verifiable. It also was discovered that many propositions of science were not directly verifiable. But when the theory was weakened to allow such propositions meaning, it was easily shown that theological and metaphysical propositions were also meaningful on the weaker criterion.1