A Posteriori Necessity¶

A proposition has a posteriori necessity when its truth requires empirical warrant while its modal status is necessary: once the actual referents, identities, or essences are fixed, the proposition could not have been false.

Version: v2 · 2026-09-19 · History
Domain-specific #: 1216
Domain group: Natural Sciences
Origin domain: Physics
Subdomains: Metaphysics, Modality and Reference → Physics
Aliases: Necessary a posteriori, Necessary aposteriori, A posteriori necessary truth

Core Idea¶

A posteriori necessity is the modal–epistemic status of a proposition that is metaphysically necessary yet knowable, justified, or established only with an indispensable empirical contribution. The term joins two independent questions. Necessity asks how the proposition behaves across metaphysically possible circumstances: could it have been false? A posteriori asks how a subject can know or justifiably believe it: is experience or empirical investigation required? Saul Kripke's central intervention was that these axes do not coincide. A proposition can have a fixed necessary truth across counterfactual circumstances while our route to learning that proposition depends on astronomy, chemistry, or another investigation of the actual world.

How would you explain it like I'm…

Always True, Found by Looking

People used to see a bright light in the evening sky and another in the morning, and gave them two names. By looking carefully at the sky, they found out it was the same planet both times. They had to look to learn it, but since it is one planet, it could never have been two different things. Not every fact is like that: whether you can see it tonight could easily have been different.

Must-Be Facts We Discover

Some facts could have been different: it might not have rained today. Other facts could never have been different, no matter what. A posteriori necessity is the idea that some facts of the second kind can only be learned by investigating the world. For example, 'the evening star' and 'the morning star' are two names for the planet Venus. People needed astronomy to discover that. But since both names pick out the very same thing, and a thing can't fail to be itself, the fact couldn't have been false. It's necessary, yet learned by looking, not just by thinking.

Necessary Truths Learned Empirically

A proposition is necessary if it could not have been false in any possible circumstance, and a posteriori if knowing it requires experience or empirical investigation. Saul Kripke argued these two properties can come apart, so some truths are necessary yet knowable only a posteriori. The classic case is an identity between 'rigid designators', names that pick out the same object in every possible situation. 'Hesperus is Phosphorus' (the evening star is the morning star) needed astronomy to discover, but since both names rigidly pick out Venus, the identity couldn't have failed. This does not mean every empirically discovered truth is necessary: 'Venus is visible tonight' is true but could have been false. The necessity comes from a special bridge, like rigid naming plus the necessity of identity.

A posteriori necessity is the status of a proposition that is metaphysically necessary, true in all metaphysically possible circumstances, yet knowable or justifiable only with an indispensable empirical contribution. It joins two independent axes: the modal question of whether the proposition could have been false, and the epistemic question of whether experience is needed to know it; Kripke's key claim was that these axes do not coincide. The paradigm is an identity between rigid designators: if 'a' and 'b' each designate the same object in every world where it exists and inquiry shows a = b, the identity is necessary if true, though not discoverable by reflecting on the words. Hesperus = Phosphorus fits this pattern: astronomy supplies the actual identity with Venus, while rigidity and the necessity of identity supply the modal conclusion. The general structure is empirical identification in the actual world plus a modal bridge, which may be rigid designation and identity or a defended thesis about essence, constitution or origin. The bridge p → □p is not valid in general, so ordinary empirical truths like 'Venus is visible tonight' do not become necessary merely by being true.

Scope of Application¶

The home domains are metaphysics, philosophy of language, modal epistemology, and parts of the philosophy of science and mind. In metaphysics, the category reorganizes the relation among identity, essence, origin, constitution, and possible worlds. In philosophy of language, it tests whether names and kind terms designate rigidly, whether their reference is determined descriptively, and how a sentence can express a necessary proposition while remaining empirically informative. In epistemology, it separates knowledge of a proposition from knowledge of its modal status and raises the question of whether the necessity-bearing conditional is itself known a priori.

Clarity¶

The most important clarification is the difference between discovering that p and establishing why p is necessary. In the Hesperus case, astronomy establishes the nonmodal premise that the two apparent celestial objects are Venus. Philosophical analysis of rigid designation and identity supplies a conditional: if the two rigid designators co-refer, then they necessarily co-refer. The conclusion inherits an empirical dependence from the first task even if the modal conditional is defended a priori.

Manages Complexity¶

A posteriori necessity manages a three-way classification problem that otherwise collapses into slogans. It places modal status, epistemic status, and semantic status on separate axes. Instead of assuming that necessary means a priori and analytic, an analyst records: (1) what proposition is expressed and how reference is fixed; (2) what evidence establishes its truth; and (3) what modal principle governs counterfactual variation. This decomposition makes disagreements locatable.

Abstract Reasoning¶

Recognizing the pattern licenses several disciplined inferences. First, from a = b and rigid designation of both terms, one may infer that the identity is necessary if true, while leaving open how the actual co-reference is learned. Second, apparent conceivability of not-p before empirical discovery need not establish metaphysical possibility; it may reflect uncertainty about the actual referent. Third, a modal conclusion can depend on mixed warrants: an empirical premise and an a priori or otherwise defended modal conditional.

Knowledge Transfer¶

Within philosophy, the structure transfers from proper-name semantics to natural-kind terms, scientific identity claims, origin essentialism, and debates about mind–body identities. The transferable lesson is that empirical informativeness does not entail modal contingency. Once analysts stop inferring modal status directly from the route of discovery, they can ask separately how reference, essence, and identity constrain counterfactual evaluation.

Relationships to Other Abstractions¶

Current abstraction A Posteriori Necessity Domain-specific

Parents (1) — outgoing typed relations

A Posteriori Necessity is a kind of Modal Reasoning Prime

The node most directly instantiates Modal Reasoning.

Hierarchy path (1) — routes to 1 parentless root

A Posteriori Necessity → is a kind of Modal Reasoning

Neighborhood in Abstraction Space¶

A Posteriori Necessity sits in a sparse region of the domain-specific corpus (85^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

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