Kripke also raised the prospect of a posteriori necessities — facts that are necessarily true, though they can be known only through empirical investigation.
Также Крипке обратил внимание на апостериорные необходимости — факты, являющиеся необходимо истинными, но такие, что они могут быть известны только при помощи эмпирических исследований.