Hume's Fork: Relations of Ideas vs. Matters of Fact

Introduction

In our previous lessons on rationalism, we explored how thinkers like Leibniz sought to understand the world through reason. You'll recall Leibniz's fundamental division of all truths into two kinds: Truths of Reason, which are necessary and knowable a priori, and Truths of Fact, which are contingent and explained by the Principle of Sufficient Reason.

We now turn from the rationalists to their great intellectual rivals, the empiricists. Our focus is on the Scottish philosopher David Hume, one of the most influential figures in the history of philosophy. Hume also proposed a fundamental division of all human knowledge, but he did so from a staunchly empiricist standpoint, arguing that all knowledge must ultimately be grounded in experience.

This lesson addresses the learning outcome: Describe Hume's distinction between relations of ideas and matters of fact. This distinction, often called "Hume's Fork," is the essential starting point for understanding his entire philosophical project. It provides the framework he uses to launch a powerful skeptical attack on concepts we often take for granted, such as causality and scientific induction—a topic we will tackle in our next lesson.

Hume's Project: The Science of Human Nature

Before diving into the distinction itself, it's helpful to understand Hume's overall goal. Inspired by Isaac Newton's success in the physical sciences, Hume aimed to develop a "science of human nature" by applying the experimental method to the mind. As he states in his Enquiry Concerning Human Understanding, this project requires us to reject any system "not founded on fact and observation."

For Hume, the basic building blocks of all our thoughts are perceptions, which he divides into two types:

• Impressions: Direct, vivid sensory experiences, emotions, and other mental phenomena (e.g., the feeling of warmth from the sun).
• Ideas: Fainter copies of impressions, such as memories and thoughts (e.g., the memory of the sun's warmth).

This empiricist foundation—that all our ideas are ultimately derived from experience—is crucial for the distinction he is about to draw.

Hume's Fork: Relations of Ideas vs. Matters of Fact

Hume argues that "All the objects of human reason or enquiry may naturally be divided into two kinds." These two kinds form the prongs of his famous fork.

To get a clear and concise overview of these two categories, let's start with a short video.

As the video explained, the two categories are:

1. Relations of Ideas:
   These are propositions whose truth can be discovered purely by thought, without needing to observe the world. They are known a priori. Your background in mathematics provides you with the perfect examples: geometry, algebra, and arithmetic.

   • Key Test: The denial of a relation of ideas results in a contradiction. It is inconceivable. You cannot coherently imagine a four-sided triangle or that $3\times 5$ does not equal 15.
   • Nature: They are necessary truths.

2. Matters of Fact:
   These are propositions about the world, and their truth or falsity depends on how the world actually is. They are known a posteriori—that is, through experience and observation.

   • Key Test: The contrary of any matter of fact is always possible. Its denial does not result in a contradiction. The statement "The sun will not rise tomorrow" is perfectly intelligible and conceivable, even if we believe it to be false. To determine its truth, we must rely on observation, not abstract reasoning.
   • Nature: They are contingent truths.

To explore this distinction with the rigor it deserves, let's turn to a passage that quotes Hume's own words from the Enquiry and systematically analyzes the criteria he provides.

This reading crystallizes the formal criteria Hume uses:

• Relations of Ideas are: discoverable a priori, intuitively or demonstratively certain, and their falsehood implies a contradiction.
• Matters of Fact are: not discoverable a priori, their falsehood is possible and conceivable, and they cannot be demonstrated.

This image provides a helpful visual summary of the fork, connecting it to other important philosophical distinctions that will become central to our study of analytic philosophy.

Connecting Hume's Fork to Modern Philosophy

Hume's distinction has had a profound influence, prefiguring several key concepts in analytic philosophy. Your goal to specialize in this area makes it worthwhile to see these connections early on.

The paper we just looked at draws these parallels explicitly.

As the reading shows, Hume essentially aligns:

• Relations of Ideas with analytic, a priori, and necessary truths.
• Matters of Fact with synthetic, a posteriori, and contingent truths.

Later philosophers, most notably Immanuel Kant (whom we will study soon), will challenge this neat alignment. The question of whether there can be "synthetic a priori" truths—substantive facts about the world that can be known through reason alone—becomes one of the most important questions in modern philosophy.

Conclusion

In this lesson, we have examined the fundamental tool in David Hume's empiricist toolkit: the distinction between relations of ideas and matters of fact. This "fork" allows him to sort all propositions into two exhaustive and exclusive categories based on a clear test: whether the proposition can be denied without contradiction.

Key Takeaways:

• Relations of Ideas are truths of logic and mathematics. They are necessary, known a priori, and their denial is a contradiction.
• Matters of Fact are truths about the world. They are contingent, known a posteriori (through experience), and their denial is always conceivable.
• This distinction, "Hume's Fork," is foundational to his empiricism and prefigures the crucial distinctions between analytic/synthetic, a priori/a posteriori, and necessary/contingent that are central to analytic philosophy.

Preview of the next lesson:

Now that Hume has established his fork, he can begin to apply it to traditional philosophical beliefs. His first and most famous target is our belief in cause and effect. We all believe that striking a match causes it to light, and that the future will resemble the past. But is this belief a relation of ideas or a matter of fact? In our next lesson, we will analyze Hume's famous problem of induction, a skeptical argument that challenges the rational foundation of all scientific reasoning and everyday inference about the world.