反証可能性
普通、検証されようとしている仮説は、いくつかの原始命題の論理的な結合を通じて成り立っている。そして、専らそれを検証することが目的であるところの仮説を主要仮説と呼び、その前提や条件となる諸命題を補助仮説と呼ぶ(注*何を主要仮説とし、何を補助仮説とするかはおよそ検証者の任意である)。
例えば、「明日、太陽が東から昇るのを私は見るであろう」という仮説を主要仮説として設定しよう。このとき、検証者は、通常、様々な前提や条件を付加する。具体的に言うと、「明日、雨でないならば」「私が観測を妨害されないならば」などである。さらに、曖昧さを避けるために、「地平線のどの範囲から昇れば東から昇ったと言えるのか」も定義する必要がある。これらが「明日、太陽が東から昇る」という仮説の補助仮説になる。補助仮説の中には、当たり前すぎて検証者が普段意識しないものも含まれる。そして、主要仮説と補助仮説のそれぞれについて、反証可能であるかどうかが判定される。それゆえに、「明日、雨が降らず、かつ、私が観測を妨害されないならば、明日、東から太陽が昇るのを私は見るであろう」という仮説は、「明日、東から太陽が昇るのを私は見る」を主要仮説とし、また、「明日、雨が降らない」および「私が観測を妨害されない」を補助仮説とし、そして、その全ての原始命題について反証可能な一個の仮説であると定められる。
この仮説は論理的な推論であるから、「明日、雨が降らない」および「私が観測を妨害されない」が反証されなかったにもかかわらず「明日、東から太陽が昇るのを私は見るであろう」が反証されたとき、この仮説は正しくないとみなされる。