La lógica inductiva debe proporcionar una generalización cuantitativa de la lógica deductiva (clásica).