A partir de lo anterior, y nivel lógico propiamente tal, se destaca el trabajo de Rudolf Carnap, quien establece una distinción dura entre la inducción y el método inductivo.