 Kripke's definitions of these terms, however, diverge in subtle ways from those of Kant.Taking these differences into account, Kripke's controversial analysis of naming as contingent and "a priori" would, according to Stephen Palmquist, best fit into Kant's epistemological framework by calling it "analytic a posteriori.