仮説演繹モデルまたは方法は、科学的方法の提案された説明である。それによると、科学的探究は、結果がまだ不明な観察可能なデータに対するテストを使用して、反証可能な形式で仮説を定式化することによって進められる。仮説の予測に反する可能性があり、実際に反するテスト結果は、仮説の反証とみなされる。仮説に反する可能性があったが反しなかったテスト結果は、理論を裏付ける。次に、競合する仮説の説明価値を、予測によってどの程度厳密に裏付けられているかをテストすることによって比較することが提案されている。[ 1 ]
仮説演繹法のアルゴリズム的記述の一例は次のとおりです。[ 2 ]
このモデルにおける考えられる手順の1つは、1、2、3、4です。4の結果が正しければ、3がまだ反証されていない場合は、 3、4、1 、といったように続けることができます。しかし、 4の結果が3が偽であることを示している場合は、 2に戻って新しい2を考案し、新しい3を推論し、 4を探す、といった手順を踏まなければなりません。
Note that this method can never absolutely verify (prove the truth of) 2. It can only falsify2.[4] (This is what Einstein meant when he said, "No amount of experimentation can ever prove me right; a single experiment can prove me wrong."[5])
Additionally, as pointed out by Carl Hempel (1905–1997), this simple view of the scientific method is incomplete; a conjecture can also incorporate probabilities, e.g., the drug is effective about 70% of the time.[6] Tests, in this case, must be repeated to substantiate the conjecture (in particular, the probabilities). In this and other cases, we can quantify a probability for our confidence in the conjecture itself and then apply a Bayesian analysis, with each experimental result shifting the probability either up or down. Bayes' theorem shows that the probability will never reach exactly 0 or 100% (no absolute certainty in either direction), but it can still get very close to either extreme. See also confirmation holism.
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 the contrapositive form of the original implication). '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'.[7]
Attempted resolutions may distinguish:
仮説に反する証拠は、それ自体が哲学的に問題となる。そのような証拠は仮説の反証と呼ばれる。しかし、確証全体論の理論の下では、与えられた仮説を反証から救うことは常に可能である。これは、反証となる観察は理論的背景に組み込まれており、仮説を救うためにその理論的背景を修正できるからである。カール・ポパーはこのことを認めたが、そのような免疫戦略を避ける方法論的規則を尊重する批判的アプローチが科学の進歩に資すると主張した。[ 9 ]
物理学者のショーン・キャロルは、このモデルは決定不足を無視していると主張している。[ 10 ]
仮説演繹的アプローチは、帰納的アプローチやグラウンデッド・セオリーなどの他の研究モデルとは対照的です。データ浸透法では、仮説演繹的アプローチは、変数間の関係が記述的、影響的、縦断的、または因果的である4つのタイプが存在する可能性がある実用主義のパラダイムに含まれています。変数は構造的および機能的の2つのグループに分類され、この分類は仮説の定式化とデータに対して実行される統計的検定を推進し、研究の効率を高めます。[ 11 ]