Hume split everything you could ever know into two boxes

In 1748, David Hume argued every object of human reasoning falls into just two categories: 'relations of ideas' — like mathematics, true by logic alone — and 'matters of fact,' known only through experience and never logically guaranteed. Denying a mathematical truth is a contradiction; denying that the sun will rise tomorrow isn't, it's just possibly wrong. The split underpins Hume's empiricism and later inspired the logical positivists' analytic-synthetic distinction.

— David Hume, An Enquiry Concerning Human Understanding — 1748