Hypothetico-deductive model

The hypothetico-deductive model, or  method is a proposed description of scientific method. It was popularized by Karl Popper. According to it, scientific inquiry proceeds by formulating a hypothesis in a form that could conceivably be falsified by a test on observable data. A test that could and does run contrary to predictions of the hypothesis is taken as a falsification of the hypothesis. A test that could but does not run contrary to the hypothesis corroborates the theory. It is then proposed to compare the explanatory value of competing hypotheses by testing how stringently they are corroborated by their predictions.

Qualification of corroborating evidence is sometimes raised as philosophically problematic. The raven paradox is a famous example. The hypothesis that 'all ravens are black' would appear to be corroborated by observations of only black ravens. However, 'all ravens are black' is logically equivalent to 'all non-black things are non-ravens'. 'This is a green tree' is an observation of a non-black thing that is a non-raven and therefore corroborates 'all non-black things are non-ravens'. It appears to follow that the observation 'this is a green tree' is corroborating evidence for the hypothesis 'all ravens are black'. Attempted resolutions may distinguish: Corroboration is related to the problem of induction, which arises because a general case (a hypothesis) cannot be logically deduced from any series of specific observations. That is, any observation can be seen as corroboration of any hypothesis if the hypothesis is sufficiently restricted. The argument has also been taken as showing that both observations are theory-laden, and thus it is not possible to make truly independent observations. One response is that a problem may be sufficiently narrowed (or axiomatized) as to take everything except the problem (or axiom) of interest as unproblematic for the purpose at hand.
 * non-falsifying observations as to strong, moderate, or weak corroborations
 * investigations that do or do not provide a potentially falsifying test of the hypothesis.

Evidence contrary to a hypothesis is itself philosophically problematic. Such evidence is called a falsification of the hypothesis. However, under the theory of confirmation holism it is always possible to save a given hypothesis from falsification. This is so because any falsifying observation is embedded in a theoretical background, which can be modified in order to save the hypothesis. Popper acknowledged this but maintained that a critical approach respecting methodological rules that avoided such immunizing stratagems is conducive to the progress of science. Despite the philosophical questions raised, the hypothetico-deductive model remains perhaps the best understood theory of scientific method.

An algorithmic statement of the hypothetico-deductive method could be stated as
 * 1) Gather data ( observations about something that is unknown, unexplained, or new )
 * 2) Hypothesize an explanation for those observations.
 * 3) Deduce a consequence of that explanation (a prediction). Formulate an experiment to see if the predicted consequence is observed.
 * 4) Wait for corroboration. If there is corroboration, go to step 3. If not, the hypothesis is falsified. Go to step 2.

Related subjects
Types of inference
 * Deductive-nomological
 * Explanandum and explanans
 * Inquiry
 * Models of scientific inquiry
 * Philosophy of science
 * Scientific method
 * Verifiability theory of meaning
 * Pragmatism
 * Will to Believe Doctrine
 * Strong inference
 * Abductive reasoning
 * Deductive reasoning
 * Inductive reasoning
 * Analogy

Método hipotético deductivo Hypotetisk-deduktiv metod Hypotetisk-deduktiv metode