David Hume's brutal test that consigned entire libraries to the flames
Scottish philosopher David Hume argued that all human knowledge splits into two mutually exclusive prongs. The first prong is 'Relations of Ideas'—logical and mathematical truths that are intuitively certain, like geometry, but tell us nothing about reality. The second prong is 'Matters of Fact'—empirical observations derived from the senses, which describe reality but can never be proven with absolute certainty. Hume declared that any book addressing neither abstract math nor empirical facts is pure illusion and should be burned.
An Epistemological Ultimatum
In the concluding pages of An Enquiry Concerning Human Understanding, published in 1748, David Hume offered one of the most provocative directives in Western philosophy. He proposed a sorting mechanism for the contents of human thought, demanding that readers inspect any book on divinity or traditional metaphysics and ask two decisive questions. Does it contain abstract reasoning concerning quantity or number? If not, does it contain experimental reasoning concerning matter of fact and existence? If the answer to both is negative, Hume declared that the volume should be committed to the flames, as it could contain nothing but sophistry and illusion.
Hume was not inciting literal public book burnings so much as launching an aggressive assault on the dominant philosophical traditions of his era. For centuries, scholastic thinkers and rationalist metaphysicians had claimed to deduce the ultimate nature of the soul, the universe, and God purely through speculative reason. Hume argued that these grand metaphysical systems were fundamentally ungrounded. By reducing legitimate human inquiry to two distinct domains, he sought to demolish philosophical pretensions that exceeded the natural limits of the human mind.
The First Prong: Relations of Ideas
The first division of Hume's bifurcation encompasses what he termed 'relations of ideas.' This category includes the formal sciences of geometry, algebra, and arithmetic, as well as any statement that is either intuitively or demonstratively certain. For instance, the proposition that three times five equals half of thirty, or that the square of the hypotenuse is equal to the sum of the squares of the other two sides in a right triangle, expresses a relation between concepts. These truths can be discovered by the mere operation of thought, independent of whether any physical triangle or corresponding objects exist anywhere in the universe.
The defining mark of a relation of ideas is that its negation entails a direct contradiction. To claim that a triangle has four interior angles is logically impossible; the statement refutes itself by violating the definitions of the terms involved. Because of this logical necessity, relations of ideas yield absolute certainty. However, this certainty comes with a crucial limitation: these propositions describe only conceptual relationships and formal definitions. They do not, on their own, prove that any concrete physical entity exists outside our thoughts.
The Second Prong: Matters of Fact
The second division consists of 'matters of fact,' which make up the vast majority of ordinary human knowledge and empirical science. Statements such as 'the sun will rise tomorrow,' 'fire produces heat,' or 'ice feels cold' belong to this category. Unlike relations of ideas, matters of fact describe the actual state of the world and depend entirely upon sensory observation and memory. Their defining characteristic is that the contrary of any matter of fact remains entirely conceivable and never implies a contradiction.
When someone states that the sun will not rise tomorrow, the proposition may be false based on all prior experience, but it is not logically impossible in the way a four-sided triangle is. The mind can clearly conceive of the earth halting its rotation or the sun failing to appear without producing a logical absurdity. Because contradictory outcomes remain intelligible, matters of fact can never be established through pure deductive logic or a priori reasoning. They must instead be investigated through experience and observation, which means their certainty is never absolute in a strictly mathematical sense.
The Skeptical Problem of Causation
Hume observed that all reasoning concerning matters of fact beyond the direct testimony of immediate senses and memory relies upon the relation of cause and effect. Humans assume that seeing smoke implies a fire, or that dropping a stone will cause it to fall. However, Hume pressed further by asking how we actually come to know causal connections. He argued that reason alone, operating prior to experience, cannot deduce an effect from a cause. An observer examining an entirely new object could never infer its causal powers simply by inspecting its sensible qualities.
We believe that a particular cause will produce a specific effect solely because we have observed a constant conjunction between them in the past. Yet this reliance on past experience introduces Hume's famous problem of induction. Justifying the assumption that the future will resemble the past cannot be done through relations of ideas, because nature changing its course remains logically conceivable. Nor can it be justified by appealing to matters of fact, because using past experience to prove that past experience is reliable constitutes circular reasoning. Hume concluded that our belief in causal necessity is not rooted in rational demonstration, but in custom or habit—a psychological mechanism that compels us to expect familiar outcomes.
The Casualties of the Division
The strict separation between relations of ideas and matters of fact created what later philosophers christened 'Hume's fork.' By forcing every meaningful claim to pass through one of these two gates, Hume rendered vast swathes of traditional philosophy intellectually suspect. If an author made a claim about reality, that claim had to be grounded in empirical observation. If the claim instead relied on pure intellectual reasoning without sensory evidence, it could only be an analysis of concepts, entirely incapable of establishing real existence.
Under this razor-sharp framework, voluminous treatises on scholastic ontology, speculative theology, and rationalist proofs of the soul collapsed. Claims regarding metaphysical substances, occult qualities, and divine attributes typically claimed to describe reality while simultaneously rejecting empirical verification. Because these assertions were neither mathematical deductions nor verifiable observations, Hume regarded them as empty verbiage. By exposing their lack of foundation, he aimed to redirect human intellectual energy toward practical arts, natural sciences, and modest historical investigations.
Echoes in Modern Epistemology
Hume's fork dramatically reshaped the subsequent trajectory of philosophy. Immanuel Kant famously credited Hume with interrupting his 'dogmatic slumber,' prompting Kant to investigate whether a third category of knowledge was possible: the synthetic a priori, which would describe necessary truths that also reveal substantive features of experience. Kant's monumental work sought to salvage metaphysics and the necessity of scientific laws from Hume's skeptical conclusions, attempting to construct an alternative framework for human reason.
In the twentieth century, Hume's distinction re-emerged as the cornerstone of logical positivism. Thinkers such as A.J. Ayer and the members of the Vienna Circle formulated the verification principle of meaning, arguing that a statement is cognitively meaningful only if it is either analytic (true by virtue of its meaning, like relations of ideas) or empirically verifiable (like matters of fact). While twentieth-century figures like W.V.O. Quine later challenged the rigid divide between analytic and synthetic truths, Hume's fork remains a foundational benchmark in epistemology, forcing philosophers to clarify whether their claims rest on formal logic or empirical observation.
Key takeaways
•Hume divided all legitimate objects of human inquiry into two mutually exclusive domains: 'relations of ideas' (abstract logic and math) and 'matters of fact' (empirical observations).
•Relations of ideas provide certainty through formal definitions and non-contradiction, but they reveal nothing about whether anything actually exists in the external world.
•Matters of fact describe physical reality, but their contraries are always logically conceivable, meaning empirical claims can never be proven with deductive mathematical certainty.
•Hume concluded that all causal reasoning relies on psychological habit rather than pure logical justification, rendering speculative metaphysics and ungrounded theological systems empty illusions.