A Priori and A Posteriori¶

Classify a proposition's justification by whether its warrant depends indispensably on experience.

Version: v1 · 2026-10-31 · History
Domain-specific #: 14457
Domain group: Humanities
Origin domain: Philosophy
Subdomains: Epistemology, Modal Epistemology → Philosophy
Aliases: A priori–a posteriori distinction, Experience-independent versus empirical justification

Core Idea¶

The a priori/a posteriori distinction asks what kind of justification a proposition can have. A priori warrant is, in a qualified sense, independent of experience; a posteriori warrant requires empirical input. The question is not what topic the proposition addresses or when a person first learned its words. It is whether the offered route to accepting it relies indispensably on observation or another experience that supplies evidence for the claim. The boundary of “experience” and the account of nonempirical warrant remain live philosophical disputes.^[1]^[2]

Kant framed the contrast between cognition independent of experience and empirical cognition sourced in experience. Modern discussion commonly formulates it in terms of justification: understanding, logical reasoning or proof may warrant a claim without an empirical test of its subject, whereas learning the actual composition of a material requires investigation. The distinction is a reusable epistemic diagnostic, not an assertion that every mathematical claim is uncontroversially a priori or every scientific statement is contingent.^[1]^[2]

How would you explain it like I'm…

Think It or Check It

Some things you can know just by thinking, like that if you have three apples and get one more, you have four. Other things you can only know by looking or checking, like whether there's milk in the fridge. Philosophers sort what we know by asking: do you need to look and check, or is thinking enough?

Knowing by Reason or by Checking

A Priori and A Posteriori are two ways of being justified in believing something. A priori means you can be justified without needing to check the world, just by understanding and reasoning, like working out a math proof. A posteriori means you need experience or observation as evidence, like finding out what a rock is made of by testing it. It's not about what the statement is about, or when you first learned the words. It's about whether checking the world is a necessary part of your reason for believing it. Philosophers still argue about the exact edges of this idea.

Experience-Independent vs. Empirical Justification

The A Priori and A Posteriori distinction concerns what kind of justification a proposition can have. A priori justification is, in a qualified sense, independent of experience; a posteriori justification requires empirical input. The question isn't the topic of the proposition or when someone learned its words, but whether the route to accepting it depends essentially on observation or other experience as evidence. Kant framed it as a contrast between knowledge independent of experience and empirical knowledge sourced in experience. Modern philosophers usually put it in terms of justification: understanding, logic, or proof can support a claim without testing its subject, while learning what a material is made of requires investigation. Exactly what counts as 'experience', and how non-empirical justification works, are still debated, and the distinction doesn't claim all math is clearly a priori or all science is contingent.

The a priori/a posteriori distinction classifies the justification available for a proposition. A priori warrant is independent of experience in a qualified sense, while a posteriori warrant requires empirical input. The criterion is neither the subject matter of the proposition nor when a person first learned its words, but whether the offered route to accepting it relies indispensably on observation or other experience supplying evidence for the claim. Kant framed the contrast as cognition independent of experience versus empirical cognition originating in experience. Contemporary discussion typically formulates it epistemically: understanding, logical reasoning or proof may warrant a claim without an empirical test of its subject, whereas learning the actual composition of a material requires investigation. The distinction functions as a reusable epistemic diagnostic, not a blanket thesis that every mathematical claim is uncontroversially a priori or that every scientific statement is contingent. Both the boundary of experience and the account of nonempirical warrant remain live philosophical disputes.

Structural Signature¶

Sig role-phrases:

Specified proposition — Fix the truth-apt claim whose warrant is being evaluated. “Mathematics” and “science” are fields, not individual propositions.
Offered justification — Identify the reasons that allegedly support the claim: a proof, conceptual reasoning, observation, testimony or experimental inquiry. Different routes to one content may need separate analysis.^[2]
Experience-dependence test — Ask whether empirical evidence is indispensable to that route, rather than merely enabling a person to possess concepts or intellectual skills.^[2]
Epistemic verdict — Classify the warrant as a priori or a posteriori under a stated interpretation of experience. The output concerns how the proposition can be justified, not simply whether it is true.
Separate modal and semantic axes — Necessity/contingency and analytic/synthetic status answer different questions; their correlations with the epistemic verdict cannot be stipulated as identities.^[2]

What It Is Not¶

Not a discovery chronology. Someone may learn a mathematical proposition by counting objects, then possess a proof whose warrant does not require those observations. Conversely, hearing a true report first does not make it a priori.
Not a subject-matter partition. A claim about a physical thing can include conceptually warranted components, while an allegedly mathematical result may depend on empirical premises in a specific applied argument. Inspect the actual proposition and its support.
Not necessary versus contingent. A defended necessary a posteriori identity shows why the route to knowledge and the claim's modal status must be assessed separately.^[2]
Not analytic versus synthetic. Whether a truth follows from meanings alone is a semantic question. Debates about synthetic a priori knowledge presuppose that this is not simply the same axis.^[1]^[2]

Scope of Application¶

The distinction belongs to epistemology and the philosophy of mathematics and science. It helps evaluate a formal proof, a claim about the actual world, or an argument that mathematical or metaphysical principles require no particular observation. In Kant's project, the possibility of synthetic a priori cognition is a central issue.^[1] In contemporary philosophy, debates about conceptual understanding, rational intuition and defeasibility show that agreement on the two labels does not settle what can occupy either class.^[2]

The diagnostic can be applied to propositions arising in many subjects, while retaining the epistemological concepts of justification and experience. It sorts routes of warrant by a particular criterion, not by subject matter.

Clarity¶

Ask two questions in order: Which proposition? and Which route of warrant? A statement can be presented with a proof in one context and with testimonial support in another; the second route does not turn the proof into empirical evidence. The critical distinction is between experience that justifies the proposition and experience that merely enables understanding or performance of the reasoning. This distinction is not always clean: sophisticated proof skills may be acquired through experience, and philosophers disagree about how far enabling experience may go before independence loses force.^[2]

Manages Complexity¶

Without the epistemic axis, several unlike questions collapse into “is this knowable without looking?” Separating a proposition, its warrant, its modal status and its semantic character gives a small analytic grid. Disagreement can be localized: one critic may contest the proof, another whether observation is actually indispensable, another the modal bridge. The grid therefore reduces a broad dispute over “pure reason versus experience” to explicit dependencies in a particular justificatory path.

Abstract Reasoning¶

Take a proved arithmetic statement. The reasoner may have learned numerals through ordinary experience, but a proof of the statement need not cite a count of physical objects as evidence for its truth. On a common account, its justificatory route is a priori. Now consider an actual material's chemical composition. Conceptual analysis alone does not identify that material's actual constituents; an empirical investigation contributes indispensable information, making that route a posteriori. Whether a philosopher subsequently regards the true material identity as necessary is a further modal argument, not a retroactive erasure of empirical warrant.^[2]

This reasoning is conditional on the proposed paths. It does not prove that all arithmetic knowledge is nonempirical or that every chemical identity is metaphysically necessary. The method is to expose the dependency, remove the claimed empirical input counterfactually, and ask whether the justification still stands.

Knowledge Transfer¶

The same audit can be repeated for a theorem, a natural-kind identification or an epistemological thought experiment: hold the proposition fixed, trace the offered reasons, and ask what experience contributes to the warrant. The topic changes but the source-of-warrant question remains. The broader sorting procedure belongs to Classification; this entry's distinctive criterion is philosophical rather than a general-purpose synonym for “before versus after.”

Examples¶

A formal proof after learning arithmetic¶

A student first learns counting with objects, then later derives a theorem from specified mathematical assumptions and valid steps. The physical objects may have enabled conceptual learning, yet they are not cited as observations proving the theorem. Under a common interpretation of apriority, the proof route can be a priori even though the student's biography includes empirical learning. This is a constructed explanatory case, not an empirical study of learners.^[2]

Mapped back: Proposition → the theorem; justification → accepted assumptions and proof steps; experience test → remove the earlier counted objects as evidence; verdict → the formal warrant need not rest on them; boundary → enabling concept learning is not automatically justificatory experience.

Investigating an actual material¶

To warrant a claim about a material's actual chemical constitution, a researcher cannot normally rely only on understanding the words for that material. Investigation supplies an empirical fact about what the stuff is. Some philosophers use natural-kind identities to argue that such a claim may nevertheless express a necessary truth; others dispute the semantic or modal account. The experience-based route to identifying the actual composition remains the epistemic part of the analysis.^[2]

Mapped back: Proposition → the material-constitution claim; justification → investigation; experience test → the identity cannot be established from meanings alone; verdict → a posteriori route; boundary → possible necessity is a separate modal verdict.

Structural Tensions¶

Independence versus learned concepts. A person must acquire language and inferential skills through some history, but apriority aims to mark warrants that do not rely on particular empirical findings. Requiring a person with literally no experience would empty the class; ignoring the difference between skill acquisition and evidential support would make it indiscriminate. Diagnostic: Did the experience supply evidence for this proposition, or only enable the reasoner to understand and reason about it?^[2]
Epistemic route versus modal result. Paradigm logical examples tempt one to equate a priori with necessary, and ordinary observations tempt one to equate a posteriori with contingent. Defended cross-combinations show that this alignment is not definitional. Diagnostic: What establishes the claim in the actual world, and separately what would make it true or false in alternative circumstances?^[2]

Structural–Framed Character¶

This is strongly framed by epistemology but structurally precise within it. The structural relation is a dependency test on justificatory routes: does empirical experience supply indispensable warrant? Its evaluative weight lies in what counts as legitimate justification, not in a preference for one class of propositions. Its human-practice dependence is real because justification is a norm of reason-giving. Its institutional origin in philosophical debate provides the vocabulary but not a decree that decides every hard case. Its vocabulary travels into mathematics and science when a claim's warrant is literally being audited. Import versus recognition matters: labeling a procedure “a priori” in casual planning may be metaphorical unless the independence of evidential warrant is at issue.

The portable skeleton is classification by a stated rule, already captured by Classification. The particular experience-dependence rule and disputed boundary of warrant are domain accents. Its character: a reusable epistemic distinction that sharpens reasoning about evidence and proof without becoming all classifications of information.

Structural Core vs. Domain Accent¶

Skeletal relation. A target is evaluated against a criterion and assigned to a category. This general sorting operation is a form of Classification. Here the target is not an arbitrary object but a proposition under a route of justification.

Domain-bound condition. The criterion is whether empirical experience is indispensable to the warrant, not whether the claim is true, necessary, analytic, early, or late. Removing this epistemic condition leaves a generic classification but not the a priori/a posteriori distinction. Whether experience that enables concept possession also partly justifies a claim is a substantive philosophical question.

Prime bar. The method is useful across subjects, but it remains a specific distinction about epistemic justification. The more universal operation of sorting by criteria already has a prime. The contested philosophical notion of experience does not literally describe every before/after or model/data distinction without importing an epistemic frame.

Classification gives an entity–criterion–assignment structure. Evidence is related because an empirical warrant may use evidential traces, but evidence as a trace-to-hypothesis relation is not the whole source-of-warrant classification. Epistemic Mode of a Proposition is also a neighbor: it distinguishes whether a claim is held as assumption, axiom or hypothesis and what operations that mode permits; this entry asks whether the claim's justification depends on experience. No edge should be inferred merely from both using the word epistemic.

Neighborhood in Abstraction Space¶

A Priori and A Posteriori sits in a moderately populated region (45^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Argumentation Fallacies & Inference (16 abstractions)

Nearest neighbors

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

Not to Be Confused With¶

A Posteriori Necessity is an existing narrower combination: empirical warrant plus defended modal necessity. The present node names the epistemic contrast itself, including a priori cases and ordinary empirical claims. Analytic/synthetic concerns the relation of truth to meaning, not directly the source of warrant. Necessary/contingent concerns how truth behaves across possible circumstances. Before/after in chronology is a common literal mistranslation of the Latin labels when applied to knowledge; neither side means simply “earlier” or “later” in someone's learning history.

References¶

[1] Kant, Immanuel (1787). Critique of Pure Reason, Prefaces and Introduction, second edition (B; first edition 1781), modernized English rendering by Jonathan Bennett, 2017; B Introduction §§I–II directly inspected. This is an adaptation, not a facsimile or a complete source for contemporary positions. registry ↩a ↩b ↩c ↩d

[2] Russell, Bruce (2020), “A Priori Justification and Knowledge”, Stanford Encyclopedia of Philosophy, substantive revision 2020, summer 2024 archive, §§1–4.1; specialist secondary exposition directly inspected. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n