David Hume delade in kunskapen i två kategorier: "idéförhållanden" och "fakta". Idéförhållanden är sanningsenliga och korrekta påståenden (t.ex. "alla ogifta män är ungkarlar"). Fakta är påståenden som vi är nästan säkra på är sanningsenliga, men det finns fortfarande en chans att de är felaktiga: "Solen kommer att gå upp i morgon bitti": det finns en chans att den inte går upp.