Kripke gives two types of examples of contingent truths knowable a priori. So he disagrees with the first leg of the thesis. As we will see later, his examples depend on the direct designation theory of names. While there have been attempts to provide examples of the contingent a priori ...
Latent in the distinction between the a priori and the a posteriori for Kant is the antithesis between necessary truth and contingent truth (a truth is necessary if it cannot be denied without contradiction). The former applies to a priori judgments, which are arrived at independently of experien...