A epistemologia de Imre Lakatos - metodologia dos programas de pesquisa - é apresentada. Um programa de pesquisa constitui-se de um núcleo firme (conjunto de hipóteses ou teoria irrefutável por decisão dos cientistas), de uma heurística que instrui os cientistas a modificar o cinturão protetor (conjunto de hipóteses auxiliares e métodos observacionais) de modo a adequar o programa aos fatos. Um programa é progressivo quando prevê fatos novos e alguma destas previsões é corroborada; ele é regressivo quando não prevê fatos novos, ou, os prevendo, não são corroborados. A história da ciência é a história dos programas em concorrência; as chamadas revoluções científicas constituem-se em um processo racional de superação de um programa por outro. Implicações da epistemologia de Lakatos e Popper - ambos racionalistas críticos - para o ensino de ciências são discutidas.