Abstract

In the first part of this article I investigated the Popperian roots of Lakatos's Proofs and Refutations, which was an attempt to apply, and thereby to test, Popper's theory of knowledge in a field—mathematics—to which it had not primarily been intended to apply. While Popper's theory of knowledge stood up gloriously to this test, the new application gave rise to new insights into the heuristic of mathematical development, which necessitated further clarification and improvement of some Popperian methodological maxims. In the present part I analyze this second phase in the development of Lakatos's Popperian programme in mathematics, and its connection to the methodology of scientific research programmes.