Bajo esta visión, Lakatos afirma que una modificación en un programa de investigación es "progresiva teóricamente" si predice hechos nuevos o inesperados, mientras que es "progresiva empíricamente" si, además, algunos de estos hechos nuevos han sido corroborados experimentalmente (asumiendo el convencionalismo revolucionario de Popper).