Na contramão de posições defendidas ao menos desde a Crítica da Razão Pura (primeira edição de 1781, segunda edição de 1787) de Immanuel Kant, Kripke mostra que nem toda proposição necessária é a priori, pois há proposições necessárias a posteriori.