🎱 Module 4 — Hume's Fork | Hume Course
- Jul 30
- 6 min read
Free Course by Everything IFS Academy | Philosophers Series
Module 4 — Hume's Fork
Two questions. Whether the angles inside a triangle add up to a straight line, a hundred and eighty degrees, and whether the sun will come up tomorrow morning. On the surface they look like the same sort of question. Both have obvious answers. Both feel about as certain as anything could be. Most people would stake a great deal on either one without a flicker of doubt.
And yet, David Hume argues, these two questions are not the same sort of question at all. They belong to two entirely different kinds of knowledge, separated by a gap so deep that no amount of thinking can bridge it. One of them can be known with perfect certainty and tells nothing whatever about the world. The other tells about the world and can never be known with that same certainty, however sure it feels. Seeing why is the whole of this lesson, and once the division is clear it becomes impossible to unsee. It is called Hume's fork, and it cuts human knowledge cleanly in two.
The Two Prongs
Hume's claim is that everything the human mind can inquire into falls into one of two baskets, with nothing left over. He calls them relations of ideas and matters of fact, and the difference between them is not a matter of subject but of how each is known and what each can deliver.
Relations of Ideas. These are truths a person can establish by thought alone, simply by examining how the ideas involved relate to one another. All of mathematics lives here, along with plain logic. That seven and five make twelve, that the angles of a triangle sum to a hundred and eighty degrees, that every bachelor is unmarried: none of these requires going out and checking the world. They are knowable a priori, a term meaning knowable in advance of experience, by reasoning rather than by observation. Their special mark is that denying them produces a contradiction. A four-sided triangle is not merely unusual; it is impossible, a phrase that cancels itself. Relations of ideas are certain, necessary, and beyond the reach of doubt.
Matters of Fact. These are truths about what actually exists and happens out in the world. That the sun will rise tomorrow, that Paris sits in France, that water turns to steam as it boils: none of these can be settled by reasoning alone. They are knowable only a posteriori, a term meaning knowable after and through experience, by looking and finding out. And their defining mark is the mirror image of the other prong's. Denying a matter of fact never produces a contradiction. That the sun will fail to rise tomorrow is a strange thought, but a perfectly coherent one; the mind can picture it without anything breaking. Matters of fact are not necessary but contingent. They happen to be true, and could have been otherwise.
What Each Prong Can and Cannot Do
Each prong buys its strength with a matching weakness, and seeing the bargain is the key to the whole idea.
Relations of ideas give certainty, but they give no information about the world. A proof in geometry is airtight, yet it would hold even if not a single triangle existed anywhere in the universe, because it is only ever a statement about how certain ideas hang together. Hume's point is bracing: mathematics is perfectly certain precisely because it is not about reality. It purchases its certainty by saying nothing about what exists. Call it certainty without information.
Matters of fact run the opposite way. They are crammed with information about the world, every one of them reporting how things actually stand, yet not one of them can be known with the iron certainty of a proof. However many sunrises a person has witnessed, the claim that tomorrow's will arrive remains a claim about the world, and claims about the world can always, without contradiction, turn out false. Call it information without certainty.
This is the trade Hume says no one escapes. Real knowledge of the world is always knowledge of matters of fact, and matters of fact never come with a guarantee. The certainty people crave belongs only to the empty prong, the one that describes nothing outside itself. It is a quietly devastating observation, and Hume is only getting started with it.
Commit It to the Flames
Hume saw that his fork was not only a map of knowledge but a tool for clearing away nonsense, and he ended his Enquiry concerning Human Understanding by swinging it. If every genuine piece of knowledge is either a relation of ideas or a matter of fact, then any book or doctrine that is neither holds nothing worth keeping. To test a volume, Hume says, two questions are enough.
Does it contain any abstract reasoning about quantity or number, the way mathematics does? That would make it a relation of ideas.
Does it contain any reasoning from experience about matters of fact and existence, the way science does? That would make it a matter of fact.
If the answer to both is no, the verdict is swift. In one of the most famous closing lines in philosophy, Hume writes that such a book should be committed to the flames, for it can contain nothing but sophistry and illusion. The image is deliberately violent. A work that is neither mathematics nor empirical inquiry, however learned and elaborate it looks, is in Hume's eyes an ornate way of saying nothing.
His chosen targets were what he called divinity and school metaphysics, meaning the abstract theology and the grand system-building inherited from the medieval Scholastics, those centuries of intricate argument about substance, essence, and being carried on without either calculation or observation to anchor it. Hume's charge is that such work only appears to make claims. Run through the fork, it dissolves, because it answers to nothing on either prong.
This single test would echo for two hundred years. A version of it became the rallying cry of a whole twentieth-century movement that tried to discard any statement that could be neither proved by logic nor checked against experience. Whatever one makes of that ambition, its blade was forged here, at the end of Hume's fork.
The Fork's Edge
The fork is easy to carry once its edge is felt on real examples, as it is for Devon, running a handful of everyday statements across it and asking of each only two things: does denying it contradict itself, and must the world be consulted to know it?
Eight times seven is fifty-six. Denying it contradicts itself, and no survey of the world is needed to confirm it. A relation of ideas, certain and empty of news about reality.
It snowed in Denver on his birthday. Denying it contradicts nothing; the only way to know is to check a record or a memory. A matter of fact, informative and uncertain.
A widow was once married. Denying it cancels itself, since the word already carries the fact. A relation of ideas, true by definition alone.
The brakes will work when he presses them. Denying it contradicts nothing, and no proof can make it certain in advance. A matter of fact, and a revealing one.
That last example is where the fork turns dangerous. The first three are settled the moment they are examined. But the belief that the brakes will work reaches past anything Devon has actually observed. He has felt the brakes work before; he has not felt them work this next time. To get from the one to the other, he leans, without noticing, on cause and effect, the assumption that what has happened will keep happening. Nearly every belief that lets a person act in the world, every expectation about what comes next, has this same shape. It is a matter of fact, but an inferred one, carried entirely by causation.
And that is exactly the joint Hume chose to strike. When he turns the pressure of the fork onto the idea of cause and effect itself, asking what entitles anyone to that quiet assumption, he uncovers the most disquieting argument in his philosophy. That argument is the subject of its own lesson ahead. The fork has done its work here: it has shown that all knowledge of the world rests on the uncertain prong, and it has marked the precise place where the ground turns soft.
Disclaimer:
Everything IFS Academy is an independent educational platform and is not affiliated with, endorsed by, or connected to the IFS Institute. While we strive for accuracy, errors can occur, and users are encouraged to cross-reference critical information. These courses present the ideas of historical philosophers for educational and self-reflection purposes only. They describe what these thinkers taught and argued and do not constitute an endorsement of any philosophical position, nor do they constitute religious instruction or professional advice of any kind. They do not constitute therapy, mental health treatment, clinical training, or crisis support, and they should not be used as a substitute for professional mental health care.
Crisis Support: 🚨
If you are experiencing a mental health crisis, feel unsafe, feel at risk of harming yourself or someone else, or feel too overwhelmed to safely use self-directed practices, please pause this material and reach out for immediate support. Contact a licensed mental health professional, call or text 988 in the U.S. or Canada, or use your local emergency or crisis resources.
Comments