The Logic of Scientific Discovery

In The You On AI Encyclopedia

The book's immediate target was the logical positivism of the Vienna Circle, which held that meaningful propositions were those verifiable by observation. Popper's response was that no general scientific theory can be verified, because any finite set of confirmations is compatible with infinitely many alternative theories. The asymmetry is with falsification: no amount of confirmation establishes a theory, but a single definitive refutation disproves it. This inverted the positivist program and established falsifiability as the criterion of scientific meaning.

The book's deeper target was the pseudoscientific frameworks Popper had encountered in Vienna — Marxism, Freudianism, Adlerian psychology — whose structure made refutation impossible. These theories could absorb any evidence as confirmation and were therefore, by Popper's criterion, not scientific. The point was not that they were necessarily wrong but that no mechanism existed for discovering whether they were wrong.

The AI application is clear and was not anticipated by Popper. Every output of a large language model is, in Popper's framework, an untested conjecture. The model generates. The system does not refute. The output arrives formatted as knowledge because its syntax and tone are indistinguishable from the syntax and tone of genuine knowledge — but the specific operation that would earn it the status of knowledge (severe testing and survival) has not occurred. The criterion Popper developed for theories extends naturally to AI output: a claim that cannot specify its own refutation conditions is, whatever its source, unfalsified. This book's argument begins from this extension.

The continued relevance of Logik der Forschung nine decades after its publication is evidence of how durable Popper's central insight has proven. The framework has been modified, extended, and critiqued, but the asymmetry between verification and falsification has become part of the default vocabulary of scientific methodology — which makes the AI moment, which produces confident claims at industrial scale without subjecting them to refutation, a uniquely Popperian problem.

Origin

Published in German as Logik der Forschung: Zur Erkenntnistheorie der modernen Naturwissenschaft by Springer Verlag in Vienna, 1934. English translation by Popper and collaborators published by Hutchinson in 1959 under the title The Logic of Scientific Discovery. The English edition includes substantial new material, including fifteen appendices that are often read as works in their own right.

Key Ideas

Asymmetry of evidence. Confirmation is cumulative and never decisive; refutation is definitive.

Falsifiability as demarcation. The line between science and pseudoscience runs through a theory's relationship to its potential refutations.

Bold conjectures. The more a theory forbids, the more scientific it is — because the more vulnerable to refutation.

Corroboration, not proof. Theories that survive tests earn provisional standing; they are never proven.

Extension to AI. A machine-generated claim that cannot specify its refutation conditions is, by Popper's criterion, unfalsified regardless of its plausibility.