Verificationism, also known as the verification principle or the verifiability criterion of meaning, is a doctrine in philosophy which asserts that a statement is meaningful only if it is either empiricism verifiable (can be confirmed through the ) or a tautology (true by virtue of its own semantics or its own logical form). Verificationism rejects statements of metaphysics, theology, ethics and aesthetics as meaningless in conveying truth value or fact content, though they may be meaningful in influencing emotions or behavior.
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. The verifiability criterion underwent various revisions throughout the 1920s to 1950s. However, by the 1960s, it was deemed to be irreparably untenable. Its abandonment would eventually precipitate the collapse of the broader logical positivist movement.
Ludwig Wittgenstein's Tractatus, published in 1921, established the theoretical foundations for the verifiability criterion of meaning. Building upon Gottlob Frege's work, the analytic–synthetic distinction was also reformulated, reducing logic and mathematics to semantics conventions. This would render logical truths (being unverifiable by the senses) tenable under verificationism, as tautologies.
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 redefine universal generalizations as tautological rules, thereby to reconcile them with the existing criterion, Hahn argued that the criterion itself should be weakened to accommodate non-conclusive verification. Section 3.1 Neurath, within the liberal wing, proposed the adoption of coherentism, though challenged by Schlick's foundationalism. However, his physicalism would eventually be adopted over Ernst Mach's phenomenalism by most members of the Vienna Circle. p.245
With the publication of the Logical Syntax of Language in 1934, Carnap defined ‘analytic’ in a new way to account for Gödel's incompleteness theorem, who ultimately "thought that Carnap’s approach to mathematics could be refuted." This method allowed Carnap to distinguish between a derivative relation between premises that can be obtained in a finite number of steps and a semantic consequence relation that has on all valuations the same truth value for the premise as the consequent. It follows that all sentences of pure mathematics individually, or their negation, are "a consequence of the null set of premises. This leaves Gödel’s results completely intact as they concerned what is provable, that is, derivable from the null set of premises or from any one consistent axiomatization of mathematical truths."
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 finalising 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 was zero.
In Language, Truth and Logic, published that year, A. J. Ayer distinguished between strong and weak verification. This system espoused conclusive verification, yet allowed for probabilistic inclusion where verifiability is inconclusive. He also distinguished theoretical from practical verifiability, proposing that statements that are verifiable in principle should be meaningful, even if unverifiable in practice.
Popper regarded scientific hypotheses to never be completely verifiable, as well as not confirmable under Rudolf Carnap's thesis. He also considered metaphysics, ethics and aesthetics statements often rich in meaning and important in the origination of scientific theories.
Other philosophers also voiced their own criticisms of verificationism:
Notably, the falsifiability criterion would allow for scientific hypotheses (expressed as universal generalizations) to be held as provisionally true until proven false by observation, whereas under verificationism, they would be disqualified immediately as meaningless.
In formulating his criterion, Popper was informed by the contrasting methodologies of Albert Einstein and Sigmund Freud. Appealing to the general theory of relativity and its predicted effects on gravitational lensing, it was evident to Popper that Einstein's theories carried significantly greater predictive risk than Freud's of being falsified by observation. Though Freud found ample confirmation of his theories in observations, Popper would note that this method of justification was vulnerable to confirmation bias, leading in some cases to contradictory outcomes. He would therefore conclude that predictive risk, or falsifiability, should serve as the criterion to demarcate the boundaries of science.
Though falsificationism has been criticized extensively by philosophers for methodological shortcomings in its intended demarcation of science, it would receive acclamatory adoption among scientists. Logical positivists too adopted the criterion, even as their movement ran its course, catapulting Popper, initially a contentious misfit, to carry the richest philosophy out of interwar Vienna.
In a 1976 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", referring to empiricism and reductionism, whereby physicalism and philosophical questions largely resolve to ones of language and meaning. In 1977, Ayer had noted:
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.
Criticisms
Falsifiability
Legacy
See also
|
|