Verificationism, also known as the verification principle or the verifiability criterion of meaning, is a doctrine in philosophy which asserts that a statement is cognitively meaningful only if it is empirically verifiable (can be confirmed through experience) or an analytic truth (true by virtue of its definition or logical form). Typically expressed as a criterion of meaning, it rejects traditional statements of metaphysics, theology, ethics and aesthetics as meaningless in terms of conveying truth value or factual content, reducing them to emotive expressions or "pseudostatements" that are neither true nor false. Verificationism was the central-most thesis of logical positivism (or logical empiricism), a philosophical movement, in the empiricist tradition, originating in the Vienna Circle and Berlin Circle of the 1920s and 1930s. The logical positivists sought to formulate a scientifically-oriented theory of knowledge in which ambiguities associated with traditional metaphysical language would be negated or minimised, and empirical testability would be enforced as the paradigm of serious inquiry. Attempts to define a precise criterion of meaning faced intractable problems from the movement's inception. The earliest versions were found to be too restrictive in that they excluded universal generalizations, such as scientific laws. Various alternative proposals were devised, which distinguished between strong and weak verifiability or between practical and in-principle verifiability, and probabilistic variations. In the 1950s, the § theoretical foundations of verificationism encountered escalating scrutiny through the work of philosophers such as Willard Van Orman Quine and Karl Popper. Widespread sentiment deemed it impossible to formulate a universal criterion that could preserve scientific inquiry while rejecting the metaphysical ambiguities the positivists sought to exclude. By the 1960s, verificationism had become widely regarded as untenable and its abandonment is cited as a decisive factor in the subsequent decline of logical positivism. Nonetheless, it would continue to influence later post-positivist philosophy and empiricist theories of truth and meaning, including the work of philosophers such as Bas van Fraassen, Michael Dummett and Crispin Wright.
Historical background This section gives the broad historical context in which verificationism was developed and motivated, whereas details on the development of specific aspects of the theory are given in the sections on those aspects.
Conceptual origins
Nineteenth- and early twentieth-century empiricism already contained many of the ingredients of verificationism. Pragmatists such as C. S. Peirce and William James linked the meaning of a concept to its practical and experiential consequences, while the conventionalist Pierre Duhem treated physical theories as instruments for organizing observations rather than as literal descriptions of unobservable reality. Later historians have therefore tended to treat verificationism as a sophisticated heir to this broader tradition of empiricist and pragmatist thought. According to Gilbert Ryle, James's pragmatism was "one minor source of the Principle of Verifiability". At the same time, classical empiricism, especially the work of David Hume, provided exemplars for the idea that meaningful discourse must be tied to possible experience, even if Hume himself did not draw the later positivists' radical conclusions about metaphysics. The positivism of Auguste Comte and Ernst Mach reinforced this orientation by insisting that science should confine itself to describing regularities among observable phenomena, a stance that influenced the early logical empiricists' suspicion of unobservable entities and their admiration for the empirical success of theories such as Einstein's general theory of relativity. The more explicitly semantic side of verificationism drew on developments in analytic philosophy. Ludwig Wittgenstein's Tractatus (1921) was read in the 1920s as offering a picture theory of meaning: a proposition is meaningful only insofar as it can represent a possible state of affairs in the world. Members of what would become the Vienna Circle took over this idea in an explicitly empiricist form, treating the "state of affairs" relevant to meaning as something that must in principle be checked in experience.
Logical positivism By the mid-1920s these strands converged in the programme of logical positivism. Around Moritz Schlick in Vienna, philosophers and scientists such as Rudolf Carnap, Hans Hahn, Philipp Frank and Otto Neurath sought to develop a "scientific philosophy" in which philosophical statements would be as clear, testable and intersubjective as those of the empirical sciences. The "verifiability principle" emerged in this context as a proposed criterion of cognitive meaning, intended to underwrite the movement's anti-metaphysical stance and its aspiration to unify the special sciences within a single, naturalistic framework of knowledge. In Logical Syntax of Language (1934) Rudolf Carnap built on earlier work by Gottlob Frege to develop a formal notion of analyticity that defined mathematics and logic as analytic truths, rendering them compatible with verificationism despite their status as non-empirical truths. Outside the German-speaking world, verificationism reached a wider audience above all through A. J. Ayer's Language, Truth and Logic (1936). Drawing on a period of study in Vienna, Ayer presented the verification principle as the central thesis of logical positivism, and his book effectively became a manifesto for the movement in the English-speaking world, even though its specific formulation of the criterion soon came under pressure from critics and from later work by Carnap and others.
… excerpt ends here. Continue reading the full article.






