David Hume verdeelde kennis in twee categorieën "ideeënrelaties" en "feitelijke zaken". Ideeënrelaties zijn waarheidsgetrouwe en correcte uitspraken (bijvoorbeeld "alle ongetrouwde mannen zijn vrijgezellen". Feiten zijn uitspraken waarvan we bijna zeker weten dat ze waar zijn, maar er is nog steeds een kans dat ze onwaar zijn: "de zon zal in de ochtend opkomen": er is een kans dat hij niet opkomt.