La participación de la lógica en el progreso científico