Solution (source code)

= Solution

<Karl Popper>'s <falsificationism> treats theories as conjectures to be exposed to serious attempted refutation. A universal claim entails observable restrictions and can conflict with a counterexample, whereas a finite collection of favourable cases does not deductively establish the universal. This emphasizes risky tests and distinguishes surviving criticism from proof. It also avoids pretending that the <problem of induction> is solved merely by collecting more confirming observations.<Science: Conjectures and Refutations by Karl Popper>[chapter 1 excerpt, numbered conclusions on confirmation and testability]{ref}

The main difficulty is moving from this logical asymmetry to a complete account of practice. A prediction usually has the form $(T\land A)\Rightarrow E$, where $A$ includes <auxiliary hypotheses> about apparatus, initial conditions and background physics. Observing $\neg E$ implies $\neg T\lor\neg A$, not specifically $\neg T$. This <Duhem problem> makes independent <measurement calibration> and discriminating follow-up <experiments> essential. An anomalous detector count can reveal a detector fault rather than a new fundamental interaction.

There are also statistical complications. Under a <probability model>, an unusual observation need not have zero <probability>; rejection at a chosen <significance level> is fallible. Repeated severe tests can rationally alter comparative confidence even though they do not prove a theory. A methodology that merely labels all surviving theories unrefuted misses this evidential differentiation.

<Falsificationism> is therefore valuable as a critical discipline, especially its opposition to adjustments that insulate a theory from every conceivable result. It is incomplete as a rule requiring immediate abandonment after any anomaly, or as a whole theory of warranted acceptance. The better reconstruction combines explicit possible failures, justified <auxiliary hypotheses> and comparison of competing explanations, while retaining <fallibilism> about the outcome.