Широкую известность получила докторская диссертация И. Лакатоса "Очерки по логике математического открытия", ставшая затем основой книги "Доказательства и опровержения" (русский перевод - в 1967 г.). Старшее поколение наших философов помнит впечатление от этой книги, ворвавшейся, подобно свежему сквозняку, в двусмысленную атмосферу отечественной философии того времени, пересыщенную невнятным занудствованием по поводу реальных или мнимых методологических достоинств "диалектического материализма" и "диалектической логики". Она давала образец увлекательного исследования, не засоренной идеологической псевдоаргументацией полемики, в которой решающую роль играли интеллектуальные, а не идеологические аргументы. Написанная живо, в форме, заставляющей вспомнить литературную традицию Платона (в нашей тогдашней философской литературе немыслимой; да и сегодня, несмотря на блестящие образцы, заданные И. Лакатосом и двумя другими замечательными венграми - А. Реньи и Д. Пойя, почти никем не воспринятой), эта книга быстро нашла своих читателей и почитателей, многократно цитировалась и вошла в списки использованной литературы не одной сотни докторских диссертаций. Не обошлось и без курьезов: очутившись в специфическом контексте, идеи этой книги претерпевали его искажающее воздействие. Забавно теперь перечитывать некоторые философские опусы тех лет, в которых одни борцы с формальной логикой выдавали Лакатоса за своего соратника, другие же, напротив, попрекали за недостаточное знание основ диалектического метода. Впрочем, справедливости ради надо сказать, что подверстыванием Лакатоса под собственные замыслы и идеи занимались не только у нас; например, П. Фейерабенд посвятил (может быть, иронично) свою наделавшую много шума книгу "Против методологического принуждения" Имре Лакатосу, "другу-анархисту", хотя трудно представить более далекую от какого бы то ни было анархизма философию, чем та, которую развивал И. Лакатос.
В "Доказательствах и опровержениях" И. Лакатос обосновывает исключительно важный для философии науки тезис о том, что развитие математического знания, вопреки широко распространенным предрассудкам, является не "кумуляцией" вечных и несомненных истин, а драматическим процессом открытий и опровержений, и в этом смысле принципиально не отличается от развития знаний в иных сферах науки. Конечно, это прежде всего было направлено против логицистской, формалистической и логико-эмпирицистской трактовок математики и ее развития. Но тезис Лакатоса выводит за рамки этого важнейшего, но все же частного момента дискуссии. Он затрагивает стержень проблем философии и методологии науки: какова природа научной рациональности? возможна ли рациональная реконструкция исторического движения научной мысли? в каком отношении находится "теория рациональности" (или методологическая доктрина), которой руководствуется исследователь научных процессов, к рациональности, присущей науке как таковой?
Ответы на эти вопросы составили содержание не только новой философии математики (новой по сравнению с философией математики, вдохновлявшейся идеями Фреге-Рассела), но и новой версии философии науки "критического рационализма". Вслед за К. Поппером И. Лакатос полагает, что основой теории научной рациональности (или методологической концепции) должен стать принцип критицизма. Этот принцип является универсальным принципом всякой научной деятельности, и математика не является исключением. В соответствии с "евклидовским идеалом", математическое знание должно строиться как система, в которой ясность и очевидная истинность основоположений (аксиом, постулатов) в сочетании с универсальной и строгой логикой позволяет развернуть удивительный мир неопровержимых доказательств; оно становится неосуществимой утопией, когда его используют как шаблон математической рациональности. Но это означает только то, что рациональные характеристики этого идеала не исчерпывают и не подменяют собой научной рациональности. Критика (вернее, самокритика), а не шаблон - вот что составляет душу научной рациональности. Еще Ч. Пирс называл это удивительное свойство науки "самокорректируемостью", а философско-методологическую установку на признание принципиальной погрешимости любых положений науки "фоллибилизмом". К. Поппер придал этой установке специфический смысл: рациональность научной деятельности удостоверяется готовностью ученого признать опровергнутой любую научную гипотезу, когда она сталкивается с противоречащим ей опытом, и не только признавать, но и самому искать возможные опровержения. Таким образом, принцип критицизма в философии Поппера соединяет в себе постулаты эмпиризма и рациональности: рациональность опирается на универсализацию эмпиризма, а эмпиризм находит свое адекватное воплощение в критерии рациональности.