Abstract
Proofs and Refutations is Lakatos's masterpiece. This article investigates some of its central themes, in particular: the nature of proofs ('Proofs do not prove, they improve'); the nature of definitions (real, not nominal); and the consequences of all this for ontology (platonism vs Popper's World Three).