Lakatos har kommet med to viktige bidrag til vitenskapsfilosofien. Det ene er en fallibilistisk tolkning av matematikkens filosofi; det andre omhandler metoden til forskningsprogrammer.