Karl Popper's Falsifiability: A Conjecture That Cannot Be Wrong Says Nothing

What is falsifiability?

Falsifiability is a criterion for evaluating scientific statements, including theories and hypotheses. A statement is falsifiable if it belongs to a language or logical structure capable of describing an empirical observation that contradicts it. For a theory, falsifiability requires that given an initial condition, the theory must theoretically rule out certain observations, meaning it must make formal predictions.

The concept was introduced by philosopher of science Karl Popper in The Logic of Scientific Discovery (1934). Popper stressed that the contradiction lies within the logical structure itself, without appeal to methodological considerations external to that structure. He proposed falsifiability as a pillar solution to both the problem of induction and the demarcation problem, the boundary between science and non-science.

Why did Popper use astrology as an example?

Popper recounted his encounters with psychoanalysis in the 1910s, especially with Alfred Adler. No matter what observation was offered, psychoanalysis could explain it. The reason it could explain everything was that it excluded nothing. Popper held this to be a failure, because it meant the standard could not lead to any prediction.

Astrology belongs to the same group: it can be adjusted to fit any outcome. A failed prediction can be rescued by appealing to an unexamined planet, an inaccurate birth time, or a different interpretation. Precisely because no observation is ruled out in advance, the system takes no risk, and therefore carries no information.

From a logical standpoint, observations that do not contradict a law do not mean the law is true. A confirmation has no value in itself. But if a hypothesis makes risky predictions and those predictions are corroborated, Popper said, that is a reason to prefer this hypothesis over ones that make less risky predictions or none at all.

The logical mechanism: modus tollens and asymmetry

The problem of induction is often called Hume's problem. David Hume studied how humans acquire new knowledge beyond known laws and observations. He understood that deductive logic cannot explain this learning process and argued for a psychological learning process that does not need deductive logic. Popper accepted Hume's argument and therefore viewed progress in science as the result of something close to induction, that is, induction without a rule of inference, which he also called "the path of science."

Popper's idea for solving this problem was: while it cannot be verified that all swans are white, finding one black swan shows that not all swans are white. Such falsification uses the valid inference modus tollens: if Q can be deduced from law L, but ¬Q is observed, then L is false.

More concretely, a statement that deductively yields Q can be split into an initial condition and a prediction, in the form C ⇒ P, where C is "the object here is a swan" and P is "the object here is a white swan." If C is observed to be true while P is false, that is C ∧ ¬P, then the law is false by modus tollens.

The asymmetry here is clear: verifying a universal statement such as "all swans are white" requires observing every swan, which is practically impossible, while a single black swan suffices to refute it. Popper contrasted falsifiability with the notion of verifiability then prevalent in logical positivism.

Demarcation and meaning: where do science and non-science differ?

Popper said some philosophers of the Vienna Circle conflated two problems: the problem of meaning and the problem of demarcation. They proposed in verificationism a single solution to both: a statement that cannot be verified is treated as meaningless. Popper held instead that there exist meaningful but non-scientific theories, and therefore the criterion of meaning does not coincide with the criterion of demarcation.

Methodologically, Popper proposed choosing the hypothesis that has been most severely tested: "the hypothesis which, in the light of our critical discussion, appears to be the best so far." In his words, since only the negative approach is supported by logic, Popper applied a negative methodology to prevent "the policy of immunizing our theories against refutation."

Table comparing key concept pairs

How does the Duhem–Quine thesis object?

The Duhem–Quine thesis states that decisive empirical falsifications are impossible, and that no scientific hypothesis on its own is capable of making predictions, because an empirical test of a hypothesis requires background assumptions. Accepting those background assumptions is a matter of methodological decisions within Lakatos's falsificationism.

Popper's response was that falsifiability is a logical criterion. Empirical research has the Duhem problem and other problems, such as the problem of induction, but for Popper, logical induction is a fallacy, and statistical tests, which are only feasible when a theory is falsifiable, are useful in a critical discussion.

Popper's distinction between logic and methodology does not save falsifiability from some criticisms aimed at methodology. For instance, Popper's rejection of Marxism as non-scientific because it resists negative evidence is a methodological stance, but the problems of that stance are still presented as a limitation of falsifiability.

Induction, probability, and another conception of induction

In practice, some observation-based steps can be justified under assumptions. For example, Bayesian inductive logic is justified by theorems that state the assumptions. These theorems are obtained by deductive logic. They are sometimes presented as supporting inductive steps, because they appeal to probability laws, though they do not go beyond deductive logic. This is another conception of induction, overlapping with deductive logic in the sense of being supported by it. Hume's argument does not refute the possibility of a general procedure based on hypotheses to explain the progress of science, but it says that the problem of choosing initial hypotheses and proving their correctness generates an infinite regress.

Philip N. Johnson-Laird agrees with Hume that there can be no general method of justification for induction, but induction needs no justification. Instead, these steps use inductive patterns, which are not expected to have general justification: they may apply or not depending on context. Johnson-Laird held that "induction is just what animals, including humans, do to make life feasible."

Popper accepted the possibility of a psychological explanation of the learning process, especially when psychology is viewed as an extension of biology, but held that biological explanations fall outside epistemology. He proposed an evolutionary mechanism to explain the success of science, but did not treat it as part of his epistemology, and called the opposite view psychologism.

Practical applications and multi-criteria standards

Falsifiability, as a key concept in separating science from non-science and pseudoscience, has featured prominently in many debates and applications, and has been used as legal precedent. In the Stanford Encyclopedia of Philosophy entry on science and pseudoscience, the problem of distinguishing science from pseudoscience is placed within the larger task of determining which beliefs are epistemologically legitimate.

Practical fields that need this criterion include: climate policy, where scientific consensus on human-caused climate change leaves no room for reasonable doubt; healthcare, where pseudoscience leads to ineffective and sometimes dangerous interventions; environmental policy; expert testimony in court; science education, especially against efforts to introduce creationism into curricula; and journalism, where legitimate scientific debate must be distinguished from efforts to promote pseudoscientific views as if they were science.

Because many criteria have been proposed, some authors take a multi-criteria approach, using a list of criteria rather than a single one. A notable point is that there is more agreement on specific cases than on the general criteria on which that judgment should rest.

Where does Popper place falsifiability in the broader picture?

A clear distinction is needed: falsifiability differs from falsificationism, the methodological approach in which scientists actively seek evidence to refute theories. It also differs from Lakatos's falsificationism. The purpose of falsifiability is to make a theory predictive, testable, and practically useful.

In other words, Popper did not demand that every scientist constantly try to refute their own theory. He demanded that a theory be stated so that, in principle, some observation could contradict it. A conjecture that cannot be wrong excludes nothing, and therefore says nothing testable.