Лакатос предложил оригинальный вариант логики догадок и опровержений, применив ее в качестве рациональной реконструкции роста научного знания в содержательной «квазиэмпирической» математике XVII-XIX вв.
⠀
С его точки зрения, «математика не развивается как монотонное возрастание количества несомненно доказанных теорем, но только через непрерывное улучшение догадок при помощи размышления и критики, при помощи логики доказательств и опровержений».
⠀
Позднее он пришел к выводу, что эта его рациональная реконструкция может быть переработана с учетом ее возможного применения к др. областям научного знания, в частности к анализу развития теоретической физики.
⠀
В итоге ему удалось создать более универсальную концепцию роста «зрелой» науки — методологию научно-исследовательских программ, где результатом многократных попыток исследователей верифицировать и фальсифицировать испытываемую научную теорию оказывается процесс непрерывного улучшения ее исходного содержания с помощью дополнительных гипотез.
⠀
Особое значение для создания моделей развития научно-теоретического знания Лакатос придавал исследованию истории науки. Методологический анализ, проводимый в целях выявления научности той или иной исследовательской программы, распадается, по его мнению, на следующие этапы: выдвижение рациональной реконструкции; сравнение ее с действительной историей соответствующей науки, а также критика рациональной реконструкции за отсутствие историчности и действительной истории — за отсутствие рациональности.
⠀
В своих последних работах Лакатос предложил «нормативно-историографический вариант» методологии научных исследовательских программ в качестве общей теории сравнения конкурирующих логик научного исследования, где «реальная» история науки может рассматриваться как «пробный камень» ее рациональных реконструкций.
