Skip to content

Hume's Fork

Hume's division between necessary relations of ideas known through thought and contingent matters of fact warranted through experience.

Version
v1 · 2026-09-28 · History
Domain-specific #
9927
Domain group
Humanities
Origin domain
Philosophy
Subdomains
Early Modern Epistemology, Empiricism → Philosophy
Aliases
Humean fork, Relations-of-ideas and matters-of-fact distinction

Core Idea

Hume's fork classifies objects of reason by the source and modal character of their warrant. Relations of ideas are discoverable through their conceptual relations, whereas matters of fact concern a world that could have been otherwise.

The distinction drives Hume's critique of causal and metaphysical inference: contingent conclusions beyond immediate experience require habits or principles of inference that cannot be demonstrated like mathematics. Later philosophical vocabularies should be presented as comparisons, not verbatim Hume.

Structural Signature

Sig role-phrases:

  • Proposition or inquiry — Provides the claim whose warrant is being classified. It is input. Counterfactual: A command or expression without truth conditions is not directly sorted by the fork.
  • Conceptual relation — Tests whether truth follows from relations among ideas. It is relations branch. Counterfactual: Empirical dependence moves the claim away from this branch.
  • Contradiction test — Asks whether denying the proposition is incoherent or contradictory. It is modal diagnostic. Counterfactual: Mere confidence does not establish necessity.
  • Experiential warrant — Grounds contingent claims in observation and causal learning. It is fact branch. Counterfactual: Pure conceptual analysis cannot establish a contingent occurrence.
  • Conceivable opposite — Marks that a matter of fact could have been otherwise. It is contingency test. Counterfactual: A contradiction in the opposite indicates a relation of ideas.
  • Historical vocabulary — Keeps Hume's distinction separate from later taxonomies. It is interpretive frame. Counterfactual: Collapsing later terms into Hume obscures philosophical differences.

What It Is Not

  • It is not merely fact versus opinion.
  • It is not Hume's is–ought distinction.
  • It does not make matters of fact unknowable.
  • Later analytic and a priori labels are not exact substitutes for Hume's own terms.
  • Closest near-miss. Kant's analytic/synthetic distinction and later logical-empiricist formulations overlap with Hume's fork but introduce different terminology and theoretical commitments.

Scope of Application

  • Epistemology. Classifies sources and limits of justification.
  • Philosophy of science. Frames the status of empirical inference.
  • History of philosophy. Interprets Hume and later responses.
  • Critical reasoning. Tests whether a claim is demonstrative or experiential.

Clarity

Quote or identify the proposition, state the contradiction and conceivability tests, specify its warrant, distinguish Hume's terminology from later reconstructions, and do not classify an entire field from one mixed example.

Manages Complexity

The fork reduces diverse claims to a modal and evidential contrast while revealing where causal inference carries assumptions not supplied by demonstration.

Abstract Reasoning

  1. Identify a truth-apt proposition.
  2. Attempt to conceive its negation without contradiction.
  3. Determine whether conceptual relations settle it.
  4. If not, identify experiential evidence and causal inference.
  5. State historical limits of the classification.

Knowledge Transfer

The fork transfers to modern analysis as a diagnostic only if later notions of analyticity, necessity, and a priori warrant are not treated as uncontroversial equivalents.

Examples

Canonical

That three times five equals half of thirty is classified as a relation of ideas because its denial conflicts with the relevant mathematical relations, whereas that it rained yesterday requires evidence and its opposite is conceivable.

Mapped back: claim1 → conceptual relation; test1 → denial contradictory; claim2 → observed event; test2 → opposite conceivable.

Applied / In Practice

Calling a policy statement an opinion rather than a fact does not apply Hume's fork unless its truth conditions and kind of warrant are actually analyzed.

Mapped back: classification → fact/opinion; necessity test → absent; warrant test → absent.

Structural Tensions

T1 — Exhaustive Division versus Mixed Knowledge Practices. The fork offers a sharp test while scientific and mathematical discourse can combine definitions, models, and observation.

Diagnostic: Which proposition, rather than whole discipline, is being classified?

T2 — Conceivability versus Necessity. Imagining words together may not show that a coherent opposite is metaphysically possible.

Diagnostic: What conception and contradiction standard is in use?

Structural–Framed Character

Hume's Fork is structural as a two-branch warrant test and historically framed by Humean epistemology.

Structural Core vs. Domain Accent

The skeleton is proposition, denial test, modal status, and warrant. Hume supplies relations of ideas, matters of fact, causation, and experience.

This entry is a kind of Classification.

  • Approved root. No reviewed parent entails this Humean division.

  • Related — analytic–synthetic distinction, a priori–a posteriori knowledge, problem of induction, and Hume's law. They are successors, consequences, or homonymous neighbors.

Relationships to Other Abstractions

Local relationship map for Hume's ForkParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Hume's ForkDOMAINPrime abstraction: Classification — is a kind ofClassificationPRIME

Current abstraction Hume's Fork Domain-specific

Parents (1) — more general patterns this builds on

  • Hume's Fork is a kind of Classification Prime

    Hume's Fork is Classification of propositions into relations of ideas and matters of fact.

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Hume's Fork sits in a crowded region of the domain-specific corpus (23rd percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Epistemic Norms & Informal Fallacies (16 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With

  • Hume's law. Tell: Concerns deriving ought from is.
  • Fact–opinion distinction. Tell: Sorts assertive status without the modal-warrant test.
  • Analytic–synthetic distinction. Tell: Is a later and contested taxonomy.
  • Rationalism–empiricism. Tell: Classifies broader positions rather than individual propositions.

References

  • Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Hume%27s_fork (revision 1368372958).
  • Preserved source candidate: https://books.google.com/books?id=MmJHVU9Rv3YC&pg=PA156&dq=Hume's+fork
  • Preserved source candidate: https://books.google.com/books?id=lnGGAgAAQBAJ&pg=PA435&dq=%22Hume's+fork%22
  • Preserved source candidate: https://books.google.com/books?id=lnGGAgAAQBAJ&q=%22Hume's+fork%22
  • Preserved source candidate: https://books.google.com/books?id=lnGGAgAAQBAJ&pg=PA41&dq=%22Hume's+fork%22+Kant
  • Preserved source candidate: https://books.google.com/books?id=LdbxabeToQYC&q=%22Hume's+fork%22
  • Preserved source candidate: https://www.jstor.org/stable/27743990
  • Preserved source candidate: https://plato.stanford.edu/archives/fall2018/entries/analytic-synthetic
  • Preserved source candidate: https://plato.stanford.edu/entries/metaphysics/#ProMetNewMet

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.