反証主義
ポパーによる反証主義は初期に提出されたものであり、その重要性が評価されるとともに、様々な批判に晒されもした。ラカトシュは、理論の前提となる重要な仮説(hard core)の周りに補助仮説群(protective belt、初期値を始め前提となる条件・重要なものと無視できるものの区別・その他)があり、反証例が現れたとき、補助仮説を追加変更(修正)することで、重要な仮説が守られうるという「research program」の概念を提唱した。これは、反証主義をポパーのように原子論的な枠組(仮説とそれに対応する観察の一対一の関係、観察が仮説をすぐに肯定ないし否定する)によって規定せず、全体論的な構造を科学に当てはめるものである。
(A)反証が挙がっているにもかかわらず、その反証を組み込まない説(主張)
(B)反証データに対して言い逃れが付け足されつづける説(アドホックな仮説)