Un programa puede ser progresivo teóricamente cuando realiza predicciones nuevas aunque no sean corroboradas o empíricamente cuando corrobora a alguna de las predicciones.