Kripke also raised the prospect of a posteriori necessities — facts that are necessarily true, though they can be known only through empirical investigation.
Kripke myös teki tunnetuksi käsitteen a posterioriset välttämättömyydet, asiantilat, jotka ovat välttämättä tosia, mutta ne voidaan tietää ainoastaan empiirisen tutkimuksen perusteella.