Hume's Fork¶
Hume's division between necessary relations of ideas known through thought and contingent matters of fact warranted through experience.
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.
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. Inclusion test: Apply the fork to a truth-apt claim by asking whether its denial is contradictory or instead conceivable, and whether its warrant is conceptual demonstration or experience-based inference. Exclusion test: Exclude a generic fact/opinion distinction, the is–ought distinction sometimes also called Hume's law, and a claim that Hume used the full later analytic/synthetic and a priori/a posteriori grid. Nearest boundary: Kant's analytic/synthetic distinction and later logical-empiricist formulations overlap with Hume's fork but introduce different terminology and theoretical commitments. Exit condition: The analysis leaves Hume's fork when it sorts claims by preference, morality, certainty, or grammar rather than Hume's relation-of-ideas versus matter-of-fact warrant. Common misclassifications: 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. Nearest named distinctions: Hume's law: Concerns deriving ought from is. Fact–opinion distinction: Sorts assertive status without the modal-warrant test. Analytic–synthetic distinction: Is a later and contested taxonomy. Rationalism–empiricism: Classifies broader positions rather than individual propositions.
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¶
- Identify a truth-apt proposition.
- Attempt to conceive its negation without contradiction.
- Determine whether conceptual relations settle it.
- If not, identify experiential evidence and causal inference.
- 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.
Relationships to Other Abstractions¶
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
- Hume's Fork → Classification
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
- Epistemic commitment — 0.92
- Constructive Logic — 0.90
- Non-Consequential Reasoning — 0.89
- Hitchens's Razor — 0.89
- Principle of sufficient reason — 0.89
Computed from structural-signature embeddings · 2026-10-08