Today's philosophers sometimes use the term 'Hume's fork' to refer to Hume calling everything we can think about either a relation of ideas (things like mathematics, that must be true) or a matter of fact (like science, where we have to look at things to tell whether or not they are true).