Verification principle

Verificationism, also known as the verification principle or the verifiability criterion of meaning, is the philosophical doctrine which maintains that only statements that are empirically verifiable (i.e. verifiable through the senses) are cognitively meaningful, or else they are truths of logic ( tautologies).

Verificationism thus rejects statements related to metaphysics, as well as fields such as theology, ethics and aesthetics, as "cognitively meaningless". Such statements may be meaningful in influencing emotions or behaviour, but not in terms of conveying truth value, information or factual content. Verificationism was a central thesis of logical positivism, a movement in analytic philosophy that emerged in the 1920s by philosophers who sought to unify philosophy and science under a common naturalistic theory of knowledge.

Origins

Although verificationist principles of a general sort—grounding scientific theory in some verifiable experience—are found retrospectively even with the American pragmatist C.S. Peirce and with the French conventionalist Pierre Duhem, who fostered instrumentalism,Miran Epstein, ch 2 "Introduction to philosophy of science", in Clive Seale, ed, ''Researching Society and Culture'', 3rd edn (London: Sage Publications, 2012)
pp. 18–19
the vigorous program of ''verificationism'' was launched by the logical positivists who, emerging from the Berlin Circle and the Vienna Circle in the 1920s, sought an epistemology whereby philosophical discourse would be, in their perception, as authoritative and meaningful as an empirical science.

Logical positivists garnered the verifiability criterion of cognitive meaningfulness from Ludwig Wittgenstein's philosophy of language posed in his 1921 book '' Tractatus'', and, led by Bertrand Russell, sought to reformulate the analytic–synthetic distinction in a way that would reduce mathematics and logic to semantical conventions. This would be pivotal to verificationism, in that logic and mathematics would otherwise be classified as synthetic a priori knowledge and defined as "meaningless" under verificationism.

Seeking grounding in such empiricism as of David Hume, Auguste Comte, and Ernst Mach—along with the positivism of the latter two—they borrowed some perspectives from Immanuel Kant, and found the exemplar of science to be Albert Einstein's general theory of relativity.

Revisions

Logical positivists within the Vienna Circle recognized quickly that the verifiability criterion was too stringent. Notably, all universal generalizations are empirically unverifiable, such that, under verificationism, vast domains of science and reason, such as scientific hypothesis, would be rendered meaningless.Sahotra Sarkar and Jessica Pfeifer, eds, ''The Philosophy of Science: An Encyclopedia'', Volume 1: A–M (New York: Routledge, 2006), "Rudolf Carnap"
p. 83

Rudolf Carnap, Otto Neurath, Hans Hahn and Philipp Frank led a faction seeking to make the verifiability criterion more inclusive, beginning a movement they referred to as the "liberalization of empiricism". Moritz Schlick and Friedrich Waismann led a "conservative wing" that maintained a strict verificationism. Whereas Schlick sought to reduce universal generalizations to frameworks of 'rules' from which verifiable statements can be derived,Moritz Schlick, 1931, "Die Kausalität in der gegenwärtigen Physik", ''Die Naturwissen-schaften'', 19: 145–162; transl. "Causality in Contemporary Physics" in Schlick 1979b, pp. 176–209 Hahn argued that the verifiability criterion should accede to less-than-conclusive verifiability.Hahn, Hans, 1933, Logik, Mathematik und Naturerkennen, Wien: Gerold, transl. "Logic, Mathematics, and Knowledge of Nature", in B. McGuiness 1987, pp. 24–45. Among other ideas espoused by the liberalization movement were physicalism, over Mach's phenomenalism, coherentism over foundationalism, as well as pragmatism and fallibilism.Antony G Flew, ''A Dictionary of Philosophy'', rev 2nd edn (New York: St Martin's Press, 1984)
"Neurath"
p. 245.

In 1936, Carnap sought a switch from verification to ''confirmation''. Carnap's confirmability criterion (confirmationism) would not require conclusive verification (thus accommodating for universal generalizations) but allow for partial testability to establish "degrees of confirmation" on a probabilistic basis. Carnap never succeeded in formalizing his thesis despite employing abundant logical and mathematical tools for this purpose. In all of Carnap's formulations, a universal law's degree of confirmation is zero.Mauro Murz
"Rudolf Carnap (1891–1970)"
''Internet Encyclopedia of Philosophy'', 12 Apr 2001.

That same year saw the publication of A. J. Ayer's work, '' Language, Truth and Logic'', in which he proposed two types of verification: ''strong'' and ''weak''. This system espoused conclusive verification, yet accommodated for probabilistic inclusion where verifiability is inconclusive. Ayer also distinguished between practical and theoretical verifiability. Under the latter, propositions that cannot be verified in practice would still be meaningful if they can be verified in principle.

Karl Popper's '' The Logic of Scientific Discovery'' proposed falsifiability as a criterion by which a hypothesis would be scientific. Falsifiability would allow hypotheses expressed as universal generalizations, such as "all swans are white", to be scientific even though they are unverifiable, in contrast to verificationism under which they would be disqualified immediately as meaningless.

Though generally considered a revision of verificationism, Popper intended falsifiability as a standard specific to the sciences rather than as a theory of meaning.Karl Popper, ch 4, subch "Science: Conjectures and refutations", in Andrew Bailey, ed, ''First Philosophy: Fundamental Problems and Readings in Philosophy'', 2nd edn (Peterborough Ontario: Broadview Press, 2011)
pp. 338–42
Popper regarded scientific hypotheses to be unverifiable, as well as not "confirmable" under Rudolf Carnap's thesis.Peter Godfrey-Smith, ''Theory and Reality: An Introduction to the Philosophy of Science'' (Chicago: University of Chicago Press, 2005)
pp. 57–59
He also found non-scientific, metaphysical, ethical and aesthetic statements often rich in meaning and important in the origination of scientific theories.

Decline

The 1951 article "Two Dogmas of Empiricism", by Willard Van Orman Quine, attacked the analytic/synthetic division and apparently rendered the verificationist program untenable. Carl Hempel, one of verificationism's greatest internal critics, had recently concluded the same as to the verifiability criterion.James Fetzer
"Carl Hempel"
in Edward N Zalta, ed, '' The Stanford Encyclopedia of Philosophy'' (Spring 2013): "However surprising it may initially seem, contemporary developments in the philosophy of science can only be properly appreciated in relation to the historical background of logical positivism. Hempel himself attained a certain degree of prominence as a critic of this movement. '' Language, Truth and Logic'' (1936; 2nd edition, 1946), authored by A. J. Ayer, offers a lucid exposition of the movement, which was—with certain variations—based upon the analytic/synthetic distinction, the observational/theoretical distinction, and the verifiability criterion of meaningfulness.

Hempel (1950, 1951), meanwhile, demonstrated that the verifiability criterion could not be sustained. Since it restricts empirical knowledge to observation sentences and their deductive consequences, scientific theories are reduced to logical constructions from observables. In a series of studies about cognitive significance and empirical testability, he demonstrated that the verifiability criterion implies that existential generalizations are meaningful, but that universal generalizations are not, even though they include general laws, the principal objects of scientific discovery. Hypotheses about relative frequencies in finite sequences are meaningful, but hypotheses concerning limits in infinite sequences are not. The verifiability criterion thus imposed a standard that was too strong to accommodate the characteristic claims of science and was not justifiable". In 1958, Norwood Hanson explained that even direct observations must be collected, sorted, and reported with guidance and constraint by theory, which sets a horizon of expectation and interpretation, how observational reports, never neutral, are laden with theory.

Thomas Kuhn's landmark book of 1962, '' The Structure of Scientific Revolutions''—which identified '' paradigms of science'' overturned by revolutionary science within fundamental physics—critically destabilized confidence in scientific foundationalism, a theory commonly, if erroneously, attributed to verificationism. Popper had long claimed to have killed verificationism but recognized that some would confuse his falsificationism for more of it.Malachi Haim Hacohen, ''Karl Popper: The Formative Years, 1902–1945: Politics and Philosophy in Interwar Vienna'' (Cambridge: Cambridge University Press, 2000)
pp. 212–13
In 1967, John Passmore, a leading historian of 20th-century philosophy, wrote, "Logical positivism is dead, or as dead as a philosophical movement ever becomes".Oswald Hanfling, ch 5 "Logical positivism", in Stuart G Shanker, ''Philosophy of Science, Logic and Mathematics in the Twentieth Century'' (London: Routledge, 1996)
pp. 193–94
Logical positivism's fall heralded postpositivism, where Popper's view of human knowledge as hypothetical, continually growing, and open to change ascended, and verificationism became mostly maligned.

Legacy

Although Karl Popper's critical rationalism has been widely criticized by philosophers, Popper is often praised by many scientists. Logical positivists, in contrast, have been likened to economists of the 19th century who took circuitous, protracted measures to refuse refutation of their preconceived principles.Mark Blaug ''The Methodology of Economics: Or, How Economists Explain'', 2nd edn (Cambridge UK: Cambridge University Press, 1992), ch 3 "The verificationists, a largely nineteenth-century story"
p. 51
Malachi Haim Hacohen, in his biography of Popper, said that logical positivists practiced Popper's principles—conjecturing and refuting—until they ran their course, catapulting Popper, initially a contentious misfit, to carry the richest philosophy out of interwar Vienna. And Popper's critical rationalism posed its own criterion, '' falsifiability'', to ensure that empiricism anchors scientific theory.

In a 1979 TV interview, A. J. Ayer, who had introduced logical positivism to the English-speaking world in the 1930s, was asked what he saw as its main defects, and answered that "nearly all of it was false". However, he soon said that he still held "the same general approach". The "general approach" of empiricism and reductionism—whereby mental phenomena resolve to the material or physical, and philosophical questions largely resolve to ones of language and meaning—has run through Western philosophy since the 17th century and lived beyond logical positivism's fall.

In 1977, Ayer had noted, "The verification principle is seldom mentioned and when it is mentioned it is usually scorned; it continues, however, to be put to work. The attitude of many philosophers reminds me of the relationship between Pip and Magwitch in Dickens's ''Great Expectations''. They have lived on the money, but are ashamed to acknowledge its source". In the late 20th and early 21st centuries, the general concept of verification criteria—in forms that differed from those of the logical positivists—was defended by Bas van Fraassen, Michael Dummett, Crispin Wright, Christopher Peacocke, David Wiggins, Richard Rorty, and others.C. J. Misak, ''Verificationism: Its History and Prospects'' (New York: Routledge, 1995)
p. viii

See also

* Epistemic theories of truth
* Newton's flaming laser sword
* Semantic anti-realism (epistemology)

Notes

{{Positivism

Analytic philosophy
Empiricism
Logical positivism
Metatheory of science
Epistemological theories
Meaning (philosophy of language)
Meaning in religious language