Induksjonsproblemet, først påpekt av David Hume oppstår når en bruker formell logikk for å vise at generalisering basert på observasjoner ikke trenger å gi sanne konklusjoner. Mange nyere filosofer, bl.a. Wienerkretsen og Karl Popper studerte forholdet mellom formell deduksjon og empirisk induksjon.