Para el la lógica inductiva es una lógica de descubrimiento: "Hay entonces un esquema por el cual uno avanza del ingenuo "lanzar una idea" de Popper al método de las pruebas y refutaciones (no conjeturas y refutaciones) para después, dando otro paso, a los programas de investigación matemáticos.