The Verificationist Criterion of Meaning

The Vienna Circle's version of the verificationist criterion divides statements into two cognitively meaningful categories: analytic statements (true by virtue of meaning alone, like "all bachelors are unmarried") and synthetic statements (whose truth depends on empirical facts and which are meaningful only if they are in principle verifiable by observation). Statements that belong to neither category — that are neither analytic nor empirically verifiable — are cognitively meaningless: they express no genuine proposition, convey no information, and their apparent disputes are pseudo-disputes about nothing real.

The primary target is traditional metaphysics: statements like "the Absolute is perfect," "the thing-in-itself is unknowable," "being qua being is the subject of first philosophy." Carnap argues in "The Elimination of Metaphysics through Logical Analysis of Language" (1932) that these statements are not false but meaningless: they have the grammatical form of statements but lack the semantic content that would make them genuinely truth-apt. They arise from the misleading surface grammar of natural language, which allows nouns to be formed from verbs ("being" from "to be") and generates the illusion that there is something to talk about when there is not.

The criterion proved difficult to formulate precisely. Strong verificationism (a statement is meaningful only if it can be conclusively verified by a finite set of observations) rules out universal laws of science, which are never completely verified. Weak verificationism (a statement is meaningful if some possible observation bears on its truth) is so permissive that it seems to admit everything. Carnap spent years attempting to formulate a precise, adequate version, eventually shifting from verificationism to confirmability. Hempel's "Problems and Changes in the Empiricist Criterion of Meaning" (1950) documented the failures systematically. The criterion was eventually abandoned as a universal principle, though its underlying intuition — that meaningful claims must make a difference to possible experience — remains influential in pragmatist and naturalist philosophy.

The verificationist criterion of meaning is the central doctrine of Carnap's "The Elimination of Metaphysics through Logical Analysis of Language" (Erkenntnis, 1932), the Vienna Circle manifesto, and A.J. Ayer's Language, Truth and Logic (1936), which introduced logical positivism to the English-speaking world. Popper's alternative criterion of falsifiability was developed in explicit opposition to verificationism.