Teadusfilosoofia – ja metodoloogia
uuteks testideks ja avastusteks. 128
Lakatosi metodoloogia välistab kaht laadi samme. Mingit kohta pole ad hoc
hüpoteeside jaoks – st nende jaoks, mida ei saa iseseisvalt testida. Välistatud on
ka tegevused, mis lõhuvad programmi kõva tuuma. Kord püsib tänu kõva tuuma
puutumatusele ja kaasnevale positiivsele heuristikale. Otsuse, kas hüpotees
vastu võtta või kõrvale jätta, määrab üsna selgepiiriliselt eksperimentaaltesti
tulemus. Mis testi edukalt läbivad, jäetakse esialgu teooriasse, mis aga mitte,
heidetakse kõrvale, kuigi mõndagi otsust võiks kunagi edaspidi uute leidlike
iseseisvalt testitavate hüpoteeside najal redigeerida. Vaatluse kaal
uurimisprogrammis suurt midagi ei tee, sest vaatluste keelt hoitakse stabiilsetes
piirides.
4.Uurimisprogrammide võrdlemine (130-132). Üldiselt peaks programmide
erinevaid väärtusi hindama selle järgi, mil määral nad progresseeruvad või
degenereeruvad
annaabi.ee 
